咨询与建议

限定检索结果

文献类型

  • 611 篇 期刊文献
  • 597 篇 会议

馆藏范围

  • 1,208 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 856 篇 工学
    • 683 篇 计算机科学与技术...
    • 599 篇 软件工程
    • 180 篇 信息与通信工程
    • 99 篇 控制科学与工程
    • 88 篇 生物工程
    • 72 篇 生物医学工程(可授...
    • 60 篇 机械工程
    • 55 篇 化学工程与技术
    • 54 篇 电子科学与技术(可...
    • 45 篇 光学工程
    • 45 篇 电气工程
    • 27 篇 仪器科学与技术
    • 23 篇 交通运输工程
    • 22 篇 航空宇航科学与技...
    • 21 篇 土木工程
    • 16 篇 建筑学
    • 14 篇 网络空间安全
  • 476 篇 理学
    • 339 篇 数学
    • 106 篇 生物学
    • 81 篇 统计学(可授理学、...
    • 59 篇 物理学
    • 56 篇 化学
    • 34 篇 系统科学
  • 289 篇 管理学
    • 151 篇 管理科学与工程(可...
    • 144 篇 图书情报与档案管...
    • 44 篇 工商管理
  • 47 篇 医学
    • 39 篇 临床医学
    • 31 篇 基础医学(可授医学...
    • 26 篇 药学(可授医学、理...
  • 20 篇 农学
  • 17 篇 法学
    • 15 篇 社会学
  • 7 篇 经济学
  • 6 篇 教育学
  • 4 篇 艺术学
  • 3 篇 文学
  • 2 篇 军事学
  • 1 篇 哲学

主题

  • 66 篇 computer science
  • 57 篇 educational inst...
  • 53 篇 knowledge engine...
  • 53 篇 laboratories
  • 50 篇 educational tech...
  • 41 篇 data mining
  • 27 篇 semantics
  • 27 篇 computer science...
  • 27 篇 ontology
  • 21 篇 image segmentati...
  • 20 篇 feature extracti...
  • 16 篇 deep learning
  • 16 篇 genetic algorith...
  • 15 篇 reinforcement le...
  • 15 篇 artificial intel...
  • 14 篇 ontologies
  • 14 篇 topology
  • 14 篇 clustering algor...
  • 13 篇 support vector m...
  • 12 篇 neural networks

机构

  • 512 篇 college of compu...
  • 272 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 45 篇 college of softw...
  • 41 篇 key laboratory o...
  • 39 篇 school of artifi...
  • 35 篇 key laboratory o...
  • 32 篇 college of compu...
  • 29 篇 key laboratory o...
  • 24 篇 jilin university...
  • 21 篇 school of comput...
  • 20 篇 jilin university...
  • 19 篇 key laboratory o...
  • 19 篇 key laboratory o...
  • 17 篇 department of co...
  • 17 篇 key laboratory o...
  • 16 篇 jilin university...
  • 15 篇 key laboratory o...
  • 15 篇 the college of c...
  • 15 篇 key laboratory o...

作者

  • 46 篇 yang bo
  • 36 篇 liang yanchun
  • 35 篇 sun geng
  • 33 篇 ouyang dantong
  • 31 篇 dantong ouyang
  • 30 篇 li xiongfei
  • 28 篇 li ximing
  • 27 篇 liu dayou
  • 27 篇 ouyang jihong
  • 27 篇 zuo wanli
  • 26 篇 yanchun liang
  • 24 篇 bo yang
  • 24 篇 liu yanheng
  • 23 篇 niyato dusit
  • 23 篇 yanheng liu
  • 21 篇 li jiahui
  • 20 篇 guan renchu
  • 20 篇 huang lan
  • 20 篇 da-you liu
  • 19 篇 dayou liu

语言

  • 1,111 篇 英文
  • 50 篇 中文
  • 47 篇 其他
检索条件"机构=A Key Laboratory of Symbolic Computation and Knowledge Engineering"
1208 条 记 录,以下是181-190 订阅
排序:
Operational semantics of ambient calculus
Operational semantics of ambient calculus
收藏 引用
SOSE 2005: IEEE International Workshop on Service-Oriented System engineering
作者: Zhang, Jing Jin, Ying Guo, De-Gui Liu, Lei Jin, Cheng-Zhi Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education of P.R.China Juin University Changchun 130012 China
Mobile ambients is a process calculus for modeling mobile agents in wide-area networks. It has important theoretical and practical values in studying concurrent and mobile computation as well as the security of intera... 详细信息
来源: 评论
Learning essential graph with immune co-evolutionary algorithm
Learning essential graph with immune co-evolutionary algorit...
收藏 引用
International Conference on Information Science, Signal Processing and Their Applications
作者: Jia, Haiyang Chen, Juan Liu, Dayou College of Computer Science and Technology Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China
Essential graph is a graphical representation for Markov equivalence classes of Bayesian networks. Learning essential graph can avoid some problems in traditional Bayesian networks learning algorithms: (1) the number ... 详细信息
来源: 评论
Grid Partition and Agglomeration for Bidirectional Hierarchical Clustering  2nd
Grid Partition and Agglomeration for Bidirectional Hierarchi...
收藏 引用
2nd EAI International Conference on Security and Privacy in New Computing Environments, SPNCE 2019
作者: Wu, Lei Chen, Hechang Yu, Xiangchun Chao, Sun Yu, Zhezhou Dou, RuiTing College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun China
Clustering is an important data processing tool, which can be used to reveal the distribution structure of unfamiliar domain data, or as preprocess methods to magnify data object to accelerate subsequent processing or... 详细信息
来源: 评论
A Survey on Performance Optimization of High-Level Synthesis Tools
收藏 引用
Journal of Computer Science & Technology 2020年 第3期35卷 697-720页
作者: Lan Huang Da-Lin Li Kang-Ping Wang Teng Gao Adriano Tavares College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012China Zhuhai Laboratory of Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Zhuhai College of Jilin University Zhuhai 519041China Algorithm Center University of MinhoGuimaraes 4800058Portugal
Field-programmable gate arrays(FPGAs)have recently evolved as a valuable component of the heterogeneous *** register transfer level(RTL)design flows demand the designers to be experienced in hardware,resulting in a po... 详细信息
来源: 评论
Building a Private Cloud Based on Microservices for Computer Science laboratory in Universities  7
Building a Private Cloud Based on Microservices for Computer...
收藏 引用
7th International Conference on Information Science and Control engineering, ICISCE 2020
作者: Liu, Hao Wang, Zhe Huang, Lan Wang, Kangping Jilin University School of Computer Science and Technology Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun China
Computer science labs in universities have different demands in cloud computing compared with typical IT companies. They differ greatly in software requirements and resource utilization. As an instance, we propose bui... 详细信息
来源: 评论
CBR and micro-architecture antipatterns based software design improvement
收藏 引用
IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004
作者: Feng, Tie Zhang, Jiachen Wang, Hongyuan Wang, Xian Institute of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education China
This paper presents a Case Based Reasoning (CBR) approach to identifying micro-architecture anti-patterns and replacing them with "good" patterns in order to improve the design of software system. The result... 详细信息
来源: 评论
Extracting a justification for OWL ontologies by critical axioms
收藏 引用
Frontiers of Computer Science 2020年 第4期14卷 55-64页
作者: Yuxin YE Xianji CUI Dantong OUYANG College of Computer Science and Technology Jilin UniversityChangchun130012China Key Lab of Symbolic Computation and Knowledge Engineering(Jilin University) Ministry of EducationChangchun130012China College of Information and Communication Engineering Dalian Minzu UniversityDalian116600China
Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology *** this paper,we focus on black-box techniques which are based on ontology *** creating a recursive expansion pro... 详细信息
来源: 评论
Applying Kumaraswamy distribution on stick-breaking process: a Dirichlet neural topic model approach
收藏 引用
Neural Computing and Applications 2024年 第22期36卷 13731-13744页
作者: Ouyang, Jihong Wang, Teng Cao, Jingyue Wang, Yiming College of Computer Science and Technology Jilin University Qianjin Street Jilin Changchun130015 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Qianjin Street Jilin Changchun130015 China
In recent years, neural topic modeling has increasingly raised extensive attention due to its capacity on generating coherent topics and flexible deep neural structures. However, the widely used Dirichlet distribution... 详细信息
来源: 评论
The Improved Characteristics of Bionic Gabor Representations by Combining with SIFT key-points for Iris Recognition
收藏 引用
Journal of Bionic engineering 2015年 第3期12卷 504-517页
作者: Yuanning Liu Fei He Xiaodong Zhu Zhen Liu Ying Chen Ye Han Lijiao Yu College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Chanschun 130012 China Graduate School of Engineering Nagasaki Institute of Applied Science Japan College of Software Nanchang Hangkong University Nanchang 330063 China
Gabor filters are generally regarded as the most bionic filters corresponding to the visual perception of human. Their filtered coefficients thus are widely utilized to represent the texture information of irises. How... 详细信息
来源: 评论
A new SAT Encoding Scheme for Exactly-one Constraints  5
A new SAT Encoding Scheme for Exactly-one Constraints
收藏 引用
5th Annual International Conference on Network and Information Systems for Computers, ICNISC 2019
作者: Cai, Jiatong Su, Yating Yang, Xixi Min, Jionghao Lai, Yong College of Software Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
Exactly-one constraints have comprehensive applications for the fields of artificial intelligence and operations research. For many encoded SAT problems generated by the existing encoding schemes of exactly-one constr... 详细信息
来源: 评论