咨询与建议

限定检索结果

文献类型

  • 2,465 篇 会议
  • 1,946 篇 期刊文献
  • 13 册 图书

馆藏范围

  • 4,424 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,057 篇 工学
    • 2,411 篇 计算机科学与技术...
    • 1,923 篇 软件工程
    • 468 篇 信息与通信工程
    • 318 篇 控制科学与工程
    • 212 篇 生物工程
    • 199 篇 机械工程
    • 186 篇 电子科学与技术(可...
    • 172 篇 电气工程
    • 121 篇 光学工程
    • 103 篇 仪器科学与技术
    • 94 篇 化学工程与技术
    • 89 篇 网络空间安全
    • 80 篇 生物医学工程(可授...
    • 77 篇 动力工程及工程热...
    • 71 篇 安全科学与工程
    • 67 篇 材料科学与工程(可...
    • 66 篇 土木工程
    • 65 篇 建筑学
    • 63 篇 交通运输工程
  • 1,361 篇 理学
    • 893 篇 数学
    • 242 篇 物理学
    • 237 篇 生物学
    • 218 篇 统计学(可授理学、...
    • 139 篇 系统科学
    • 103 篇 化学
  • 814 篇 管理学
    • 525 篇 管理科学与工程(可...
    • 331 篇 图书情报与档案管...
    • 167 篇 工商管理
  • 86 篇 法学
    • 63 篇 社会学
  • 58 篇 医学
  • 55 篇 经济学
    • 55 篇 应用经济学
  • 24 篇 农学
  • 19 篇 军事学
  • 13 篇 教育学
  • 13 篇 艺术学
  • 10 篇 文学
  • 5 篇 哲学

主题

  • 181 篇 computer science
  • 136 篇 semantics
  • 131 篇 laboratories
  • 98 篇 software enginee...
  • 91 篇 software
  • 75 篇 computational mo...
  • 67 篇 algorithm design...
  • 59 篇 software testing
  • 59 篇 feature extracti...
  • 58 篇 web services
  • 56 篇 machine learning
  • 54 篇 educational inst...
  • 53 篇 testing
  • 51 篇 accuracy
  • 51 篇 training
  • 50 篇 optimization
  • 49 篇 deep learning
  • 49 篇 application soft...
  • 49 篇 model checking
  • 49 篇 heuristic algori...

机构

  • 898 篇 state key labora...
  • 719 篇 state key labora...
  • 399 篇 university of ch...
  • 201 篇 state key labora...
  • 195 篇 school of comput...
  • 186 篇 state key labora...
  • 182 篇 department of co...
  • 107 篇 state key labora...
  • 107 篇 state key labora...
  • 95 篇 state key labora...
  • 76 篇 college of compu...
  • 65 篇 school of comput...
  • 64 篇 institute of sof...
  • 62 篇 state key labora...
  • 58 篇 department of co...
  • 51 篇 state key labora...
  • 48 篇 state key labora...
  • 41 篇 nanjing universi...
  • 39 篇 chinese informat...
  • 37 篇 school of comput...

作者

  • 78 篇 sun le
  • 72 篇 han xianpei
  • 54 篇 gao yang
  • 52 篇 lin hongyu
  • 44 篇 zhang lijun
  • 41 篇 huang di
  • 41 篇 shi yinghuan
  • 40 篇 xiao limin
  • 40 篇 dou wanchun
  • 39 篇 cai shaowei
  • 38 篇 zhang jian
  • 37 篇 wu enhua
  • 37 篇 xu baowen
  • 37 篇 ying mingsheng
  • 36 篇 guihai chen
  • 30 篇 baowen xu
  • 30 篇 sanglu lu
  • 30 篇 ruan li
  • 29 篇 limin xiao
  • 28 篇 jian zhang

语言

  • 4,121 篇 英文
  • 155 篇 中文
  • 151 篇 其他
  • 2 篇 德文
检索条件"机构=State Key Laboratory of Computer Science Institution of Software"
4424 条 记 录,以下是1-10 订阅
排序:
AsyCo: an asymmetric dual-task co-training model for partial-label learning
收藏 引用
science China(Information sciences) 2025年 第5期68卷 332-347页
作者: Beibei LI Yiyuan ZHENG Beihong JIN Tao XIANG Haobo WANG Lei FENG College of Computer Science Chongqing University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences School of Software Technology Zhejiang University School of Computer Science and Engineering Nanyang Technological University
Partial-label learning(PLL) is a typical problem of weakly supervised learning, where each training instance is annotated with a set of candidate labels. Self-training PLL models achieve state-of-the-art performance b... 详细信息
来源: 评论
Deep learning-based software engineering: progress,challenges, and opportunities
收藏 引用
science China(Information sciences) 2025年 第1期68卷 57-144页
作者: Xiangping CHEN Xing HU Yuan HUANG He JIANG Weixing JI Yanjie JIANG Yanyan JIANG Bo LIU Hui LIU Xiaochen LI Xiaoli LIAN Guozhu MENG Xin PENG Hailong SUN Lin SHI Bo WANG Chong WANG Jiayi WANG Tiantian WANG Jifeng XUAN Xin XIA Yibiao YANG Yixin YANG Li ZHANG Yuming ZHOU Lu ZHANG School of Journalism and Communication Sun Yat-sen University School of Software Technology Zhejiang University School of Software Engineering Sun Yat-sen University School of Software Dalian University of Technology School of Computer Science and Technology Beijing Institute of Technology Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of EducationSchool of Computer Science Peking University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Beihang University Institute of Information Engineering Chinese Academy of Sciences School of Computer Science Fudan University State Key Laboratory of Complex & Critical Software Environment (CCSE) School of Software Beihang University School of Computer and Information Technology Beijing Jiaotong University School of Computer Science and Technology Harbin Institute of Technology School of Computer Science Wuhan University Huawei Technologies
Researchers have recently achieved significant advances in deep learning techniques, which in turn has substantially advanced other research disciplines, such as natural language processing, image processing, speech r... 详细信息
来源: 评论
Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps
收藏 引用
Formal Aspects of Computing 2025年 第2期37卷 1-86页
作者: He, Jinlong Wu, Zhilin Chen, Taolue Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China School of Computing and Mathematical Sciences Birkbeck University of London Northern Ireland London United Kingdom
The multitasking mechanism between activities and fragments plays a fundamental role in the Android operating system, which involves a wide range of features, including launch modes, intent flags, task affinities, and... 详细信息
来源: 评论
Efficient and fine-grained access control with fully-hidden policies for cloud-enabled IoT
收藏 引用
Digital Communications and Networks 2025年 第2期11卷 473-481页
作者: Qi Li Gaozhan Liu Qianqian Zhang Lidong Han Wei Chen Rui Li Jinbo Xiong School of Computer Science Nanjing University of Posts and Telecommunications Key Laboratory of Cryptography of Zhejiang Province Hangzhou Normal University Tongda College of Nanjing University of Posts and Telecommunications Henan Key Laboratory of Network Cryptography Technology School of Computer Science and Technology Xidian University State Key Laboratory of Tibetan Intelligent Information Processing and Application Qinghai Normal University Faculty of Software Fujian Normal University
Ciphertext-Policy Attribute-Based Encryption(CP-ABE) enables fine-grained access control on ciphertexts, making it a promising approach for managing data stored in the cloud-enabled Internet of Things. But existing sc... 详细信息
来源: 评论
Unsigned Road Incidents Detection Using Improved RESNET From Driver-View Images
IEEE Transactions on Artificial Intelligence
收藏 引用
IEEE Transactions on Artificial Intelligence 2025年 第5期6卷 1203-1216页
作者: Li, Changping Wang, Bingshu Zheng, Jiangbin Zhang, Yongjun Chen, C.L. Philip Northwestern Polytechnical University School of Software Xi’an710129 China Shenzhen University Guangdong Provincial Key Laboratory of Intelligent Information Processing Shenzhen Key Laboratory of Media Security Shenzhen518060 China Guizhou University State Key Laboratory of Public Big Data College of Computer Science and Technology Guiyang550025 China South China University of Technology School of Computer Science and Engineering Guangzhou510641 China
Frequent road incidents cause significant physical harm and economic losses globally. The key to ensuring road safety lies in accurately perceiving surrounding road incidents. However, the highly dynamic nature o... 详细信息
来源: 评论
Layout Decomposition via Boolean Satisfiability
收藏 引用
IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2025年 第3期44卷 1112-1125页
作者: Liu, Hongduo Liao, Peiyu Zou, Mengchuan Pang, Bowen Li, Xijun Yuan, Mingxuan Ho, Tsung-Yi Yu, Bei The Chinese University of Hong Kong Department of Computer Science and Engineering Hong Kong Hong Kong Huawei Noah's Ark Lab Hong Kong Hong Kong Institute of Software Chinese Academy of Sciences State Key Laboratory of Computer Science Beijing100190 China
Multiple patterning lithography (MPL) has been introduced in the integrated circuits manufacturing industry to enhance feature density as the technology node advances. A crucial step of MPL is assigning layout feature... 详细信息
来源: 评论
A Derivative-Based Membership Algorithm for Enhanced Regular Expressions  10th
A Derivative-Based Membership Algorithm for Enhanced Regula...
收藏 引用
10th International Symposium on Dependable software Engineering: Theories, Tools and Applications, SETTA 2024
作者: Wang, Mengxi Dong, Chunmei Su, Weihao Peng, Chengyao Chen, Haiming and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China
Enhanced regular expressions (EREs), which extend standard regular expressions with shuffle and counting operators, provide exponentially more succinct descriptions of regular languages. The membership problem, determ... 详细信息
来源: 评论
Formal Verification of RISC-V Processor Chisel Designs  10th
Formal Verification of RISC-V Processor Chisel Designs
收藏 引用
10th International Symposium on Dependable software Engineering: Theories, Tools and Applications, SETTA 2024
作者: Shen, Shidong Liu, Yicheng Zhang, Lijun Song, Fu Wu, Zhilin and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China
Chisel is an open-source high-level hardware construction language embedded in Scala to facilitate parameterizable, reusable circuit design generators. It is becoming increasingly popular and has been used to design m... 详细信息
来源: 评论
Introduction to the Special Issue on Formal Methods and Models for System Design
收藏 引用
ACM Transactions on Embedded Computing Systems 2025年 第3期24卷 1-3页
作者: Brandt, Jens Saha, Indranil Zhang, Lijun Hochschule Niederrhein Krefeld Germany Department of Computer Science and Engineering Indian Institute of Technology Kanpur Kanpur India State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China
来源: 评论
Complementary Learning System Theory-based Active Learning for Audio Classification
Complementary Learning System Theory-based Active Learning f...
收藏 引用
2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025
作者: Geng, Hui Gao, Zijian Wan, Tianjiao Feng, Dawei Wang, Changjian Xu, Kele College of Computer Science and Technology National University of Defense Technology Changsha China State Key Laboratory of Complex & Critical Software Environment Changsha China
Deep learning has significantly advanced the audio classification, achieving remarkable results. However, these successes often rely on extensive manual annotation of audio, a labor-intensive and costly process. Activ... 详细信息
来源: 评论