咨询与建议

限定检索结果

文献类型

  • 278 篇 会议
  • 201 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 480 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 332 篇 工学
    • 253 篇 计算机科学与技术...
    • 206 篇 软件工程
    • 69 篇 信息与通信工程
    • 37 篇 控制科学与工程
    • 27 篇 生物工程
    • 24 篇 机械工程
    • 22 篇 光学工程
    • 18 篇 电子科学与技术(可...
    • 17 篇 仪器科学与技术
    • 16 篇 交通运输工程
    • 13 篇 电气工程
    • 12 篇 动力工程及工程热...
    • 12 篇 建筑学
    • 12 篇 生物医学工程(可授...
    • 11 篇 材料科学与工程(可...
    • 10 篇 安全科学与工程
    • 9 篇 土木工程
    • 8 篇 化学工程与技术
    • 6 篇 网络空间安全
  • 122 篇 理学
    • 71 篇 数学
    • 27 篇 生物学
    • 21 篇 统计学(可授理学、...
    • 19 篇 物理学
    • 15 篇 系统科学
    • 14 篇 化学
  • 81 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 39 篇 图书情报与档案管...
    • 17 篇 工商管理
  • 8 篇 法学
    • 5 篇 社会学
  • 8 篇 医学
    • 7 篇 临床医学
  • 4 篇 哲学
  • 4 篇 经济学
  • 3 篇 农学
  • 2 篇 教育学
  • 2 篇 文学
  • 1 篇 艺术学

主题

  • 14 篇 semantics
  • 10 篇 object detection
  • 10 篇 servers
  • 9 篇 feature extracti...
  • 9 篇 software
  • 9 篇 heuristic algori...
  • 7 篇 computational mo...
  • 7 篇 machine learning
  • 7 篇 computer vision
  • 7 篇 training
  • 6 篇 semantic segment...
  • 6 篇 deep learning
  • 6 篇 programming
  • 6 篇 safety
  • 6 篇 educational inst...
  • 6 篇 optimization
  • 6 篇 graph neural net...
  • 6 篇 resource allocat...
  • 6 篇 blockchain
  • 6 篇 satellites

机构

  • 180 篇 school of comput...
  • 158 篇 state key labora...
  • 112 篇 state key labora...
  • 47 篇 state key labora...
  • 23 篇 state key lab of...
  • 20 篇 institute of art...
  • 13 篇 zhongguancun lab...
  • 12 篇 beijing advanced...
  • 12 篇 hangzhou innovat...
  • 11 篇 school of comput...
  • 7 篇 state key labora...
  • 7 篇 sino-french engi...
  • 6 篇 school of mechan...
  • 5 篇 shen yuan honors...
  • 5 篇 school of artifi...
  • 5 篇 beihang universi...
  • 5 篇 beihang universi...
  • 5 篇 school of comput...
  • 5 篇 ping an technolo...
  • 5 篇 state key labora...

作者

  • 41 篇 xiao limin
  • 31 篇 huang di
  • 30 篇 ruan li
  • 29 篇 limin xiao
  • 20 篇 li ruan
  • 18 篇 zhang xiong
  • 17 篇 hao sheng
  • 14 篇 bai xiao
  • 14 篇 di huang
  • 11 篇 wang yunhong
  • 10 篇 li zhoujun
  • 10 篇 chen jiaxin
  • 10 篇 zhu mingfa
  • 9 篇 liu xianglong
  • 8 篇 wenge rong
  • 8 篇 yang hongyu
  • 8 篇 li yongnan
  • 8 篇 xu ke
  • 8 篇 luo jie
  • 7 篇 peng hao

语言

  • 416 篇 英文
  • 57 篇 其他
  • 9 篇 中文
检索条件"机构=State Key Lab.Of Software Development Environment School of Computer Science & Engineering"
480 条 记 录,以下是411-420 订阅
排序:
Lazy symbolic execution for test data generation
Lazy symbolic execution for test data generation
收藏 引用
作者: Lin, M.X. Chen, Y.L. Yu, K. Wu, G.S. State Key Laboratory of Software Development Environment Beihang University China School of Mechanical Engineering and Automation Beihang University China School of Computer Science and Engineering Beihang University China School of Software Engineering Beijing University of Posts and Telecommunications China
In the context of test data generation, symbolic execution gets more attention as computing power increases continuously. Experiments show that test generation tools based on symbolic execution can get high coverage a... 详细信息
来源: 评论
Design and implementation of BIOS for godson-3A interconnections
Design and implementation of BIOS for godson-3A interconnect...
收藏 引用
International Conference on computer and Management
作者: Gao, Yuhui Zhu, Mingfa Huo, Jiantong Xiao, Limin Xiao, Yuqian State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Beijing Aerospace Control Center Beijing 100094 China
The hardware design of Godson-3A processor adopts the scalable distributed multi-core structure which is based on a 2D mesh. It can make use of multi-chip interconnection to construct a unified topology structure for ... 详细信息
来源: 评论
A binary-centric wrapping approach for software migration based on behavior analysis and resource mapping
收藏 引用
Journal of Computational Information Systems 2011年 第12期7卷 4541-4551页
作者: Zhu, Kenan Yin, Baolin State Key Laboratory of Software Development Environment School of Computer Science and Engineering BeiHang University Beijing 100191 China
software migration is an effective way to achieve software reuse and reduce the costs of software maintenance. Wrapping approach is a valuable option for software migration. After analyzing the framework of software i... 详细信息
来源: 评论
Multi-label classification with Bayes' theorem
Multi-label classification with Bayes' theorem
收藏 引用
2011 4th International Conference on Biomedical engineering and Informatics, BMEI 2011
作者: Qu, Guangzhi Zhang, Hui Hartrick, Craig T. Computer Science and Engineering Department Oakland University Rochester MI 48309 United States State Key Laboratory of Software Development Environment School of Computer Science Beihang University Beijing 100191 China Anesthesiology Research School of Medicine Oakland University Rochester MI 48309 United States
Compared with single-label classification, multi-label classification is more general in practice, since it allows one instance to have more than one label simultaneously. Bayes' Theorem has been successfully appl... 详细信息
来源: 评论
Online MOACO biclustering of microarray data
Online MOACO biclustering of microarray data
收藏 引用
2011 IEEE International Conference on Granular Computing, GrC 2011
作者: Liu, Junwan Li, Zhoujun Hu, Xiaohua Chen, Yiming School of Computer Information Engineering Central South University of Forestry and Technology China State Key Laboratory of Software Development Environment Beijing China College of Information Science and Technology Drexel University United States School of Information Science and Technology Hunan Agricultural University China
Multi-objective optimization (MOP) a fast growing area of research. Bioinformatics data sets come mostly from DNA microarray experiments. The analysis of microarray data sets can provide valuable information on the bi... 详细信息
来源: 评论
The construction of fuzzy concept lattices based on (θ, σ)-fuzzy rough approximation operators
The construction of fuzzy concept lattices based on (θ, σ)...
收藏 引用
作者: Yao, Yanqing Mi, Jusheng Li, Zhoujun Xie, Bin State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 China College of Mathematics and Information Science Hebei Normal University Shijiazhuang Hebei 050016 China Beijing Key Laboratory of Network Technology Beihang University Beijing China
Formal concept analysis and rough set analysis are two complementary approaches for analyzing data. This paper studies approaches to constructing fuzzy concept lattices based on generalized fuzzy rough approximation o... 详细信息
来源: 评论
Research on Intelligent Fault Location for Multistage in Large-scale Distributed Measurement environment
收藏 引用
Procedia engineering 2011年 15卷 2403-2407页
作者: Rong Ding Xiaoguang Li Tongyu Zhu Zhenhan Zhong Jufu Zhang State Key Laboratory of Software Development Environment Beihang University School of Computer Science and Engineering Beihang University Beijing 100191 China
Based on the analysis of fault location methods, this paper presents an intelligent method on the basis of classification in large-scale measurement system. Three independent functional units, which are data acquisiti... 详细信息
来源: 评论
A re-evaluation of neighborhood-based collaborative filtering based on latent preference
International Journal of Digital Content Technology and its ...
收藏 引用
International Journal of Digital Content Technology and its Applications 2011年 第8期5卷 16-23页
作者: Hu, Biyun Chao, Wenhan Wang, Jun Li, Zhoujun State Key Laboratory of Software Development Environment Beihang University China School of Computer Science and Engineering Beihang University Beijing China
Neighborhood-based Collaborative Filtering (CF) is one of the most popular techniques applied in recommendation systems. It can be further divided into user-based and item-based CF algorithms. Traditionally, when the ... 详细信息
来源: 评论
Framework to Analyze the Impact of Maps on VANET Simulation
收藏 引用
电子学报(英文版) 2011年 第3期 401-406页
作者: LI Xiaoming WANG Jingxuan JIN Xin ZHAO Tong YAN Wei State Key Laboratory of Software Development Environment Beihang University Beijing China School of Electronic Engineering and Computer Science Peking University Beijing China
来源: 评论
Small Files Problem in Parallel File System
Small Files Problem in Parallel File System
收藏 引用
International Conference on Network Computing and Information Security (NCIS)
作者: Xiuqiao Li Bin Dong Limin Xiao Li Ruan Yi Ding State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China
Parallel file systems suffer performance degradation of small files generated by many workloads. We provide the systematic analysis of the small files problem from aspects of both parallel file system architecture and... 详细信息
来源: 评论