咨询与建议

限定检索结果

文献类型

  • 614 篇 期刊文献
  • 600 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 855 篇 工学
    • 682 篇 计算机科学与技术...
    • 598 篇 软件工程
    • 180 篇 信息与通信工程
    • 99 篇 控制科学与工程
    • 88 篇 生物工程
    • 73 篇 生物医学工程(可授...
    • 60 篇 机械工程
    • 54 篇 电子科学与技术(可...
    • 54 篇 化学工程与技术
    • 45 篇 光学工程
    • 44 篇 电气工程
    • 27 篇 仪器科学与技术
    • 23 篇 交通运输工程
    • 22 篇 航空宇航科学与技...
    • 21 篇 土木工程
    • 16 篇 建筑学
    • 14 篇 网络空间安全
  • 475 篇 理学
    • 338 篇 数学
    • 105 篇 生物学
    • 81 篇 统计学(可授理学、...
    • 59 篇 物理学
    • 55 篇 化学
    • 35 篇 系统科学
  • 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

机构

  • 514 篇 college of compu...
  • 273 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 46 篇 college of softw...
  • 42 篇 key laboratory o...
  • 40 篇 school of artifi...
  • 36 篇 key laboratory o...
  • 31 篇 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
  • 25 篇 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,117 篇 英文
  • 50 篇 中文
  • 47 篇 其他
检索条件"机构=Key laboratory of Symbolic Computation and Knowledge Engineering"
1214 条 记 录,以下是841-850 订阅
排序:
A globally optimal approach for surveillance video cropping
A globally optimal approach for surveillance video cropping
收藏 引用
作者: Liu, Jin Shi, Xiaohu Zhang, Yu College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education 130012 Changchun China
In this paper, a novel approach for surveillance video cropping is presented. The basic idea is to obtain a trajectory that a small sub-window can take through the video, selecting the most important regions of the vi... 详细信息
来源: 评论
Interval-valued fuzzy description logic IFALCN - Preliminary results
Interval-valued fuzzy description logic IFALCN - Preliminary...
收藏 引用
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010
作者: Huo, Linlin Ouyang, Jihong Liu, Dayou Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun China
To represent and reason with interval-value information of applications in description logic, based on interval-fuzzy set the classical des cription logic ALCN is extended to the fuzzy description logic IFALCN. Its... 详细信息
来源: 评论
Solving SAT problem with Boolean algebra
Solving SAT problem with Boolean algebra
收藏 引用
International Conference on Frontier of Computer Science and Technology
作者: Xu, Youjun Ouyang, Dantong Ye, Yuxin He, Jialiang College of Computer Science and Technology China Key Laboratory of Symbolic Computation Knowledge Engineering of Ministry of Education Jilin University Changchun China
The satisfiability(SAT) problem is an important problem of automated reasoning. In the past decades, many methods of SAT are proposed, such as method based on resolution, method based on tableau and method based on ex... 详细信息
来源: 评论
RMADV-Hop: An improved DV-Hop localization algorithm
RMADV-Hop: An improved DV-Hop localization algorithm
收藏 引用
7th International Conference on Information Technology - New Generations, ITNG 2010
作者: Yi, Tingting Fang, Zhiyi Li, Ruixue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun 130012 China
In recent years, with the development of the wireless sensor networks, the localization method receives the attention of many researchers. However, due to the network cost and characteristics of sensor nodes, most of ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Model for human dynamics based on habit
收藏 引用
Chinese Science Bulletin 2010年 第24期55卷 2744-2749页
作者: JIAO Yu LIU YanHeng WANG Jian WANG Jing 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 Changchun 130012 China Archives of Jilin University Changchun 130012 China
The quantitative understanding of human behavior is a central question of modern science. Because of the complexity of human behavior, it is almost impossible to seek regularities in human dynamics. It is assumed that... 详细信息
来源: 评论
A novel approach for modeling Direction Relations between Uncertain Regions
A novel approach for modeling Direction Relations between Un...
收藏 引用
2010 International Conference on Machine Vision and Human-Machine Interface, MVHI 2010
作者: Dong, Yiqun Liu, Dayou Wang, Fang Tian, Ye College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
Conventional models based on crisp regions can not deal with the Direction Relations between Uncertain Regions (DRUR). Using broad boundary to represent the uncertain boundary, a novel approach is proposed based on mo... 详细信息
来源: 评论
Solving SAT problem with a revised hitting set algorithm
Solving SAT problem with a revised hitting set algorithm
收藏 引用
2010 2nd International Conference on Future Computer and Communication, ICFCC 2010
作者: Xu, Youjun Ouyang, Dantong Ye, Yuxin He, Jialiang College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China
The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and... 详细信息
来源: 评论
Singleton arc consistency based on failure-first principle
Singleton arc consistency based on failure-first principle
收藏 引用
International Conference on Machine Learning and Cybernetics
作者: Li, Zhan-Shan Xing, Shi-Mei Yang, Feng-Jie Du, Hui-Ying Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China College of Computer Science and Technology Changchun 130012 China
Constraint satisfaction problems play a significant role in the field of Artificial Intelligence. Reducing the search space can improve the efficiency of solving the problems before the search of solutions. Applying i... 详细信息
来源: 评论
Improving incremental diagnosis with choosing measurement order
Improving incremental diagnosis with choosing measurement or...
收藏 引用
2010 International Conference of Information Science and Management engineering, ISME 2010
作者: Zhao, Xiangfu Ouyang, Dantong College of Mathematics Physical and Information Engineering Zhejiang Normal University Jinhua China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
There may be many groups of candidate results after the step of candidate generation in model-based diagnosis. Hwee Tou Ng proposed the Inc-Diagnose approach to further reduce the candidate results. However, the effic... 详细信息
来源: 评论