咨询与建议

限定检索结果

文献类型

  • 548 篇 期刊文献
  • 494 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 721 篇 工学
    • 573 篇 计算机科学与技术...
    • 488 篇 软件工程
    • 157 篇 信息与通信工程
    • 90 篇 控制科学与工程
    • 78 篇 生物工程
    • 55 篇 生物医学工程(可授...
    • 52 篇 机械工程
    • 48 篇 电子科学与技术(可...
    • 46 篇 电气工程
    • 40 篇 化学工程与技术
    • 34 篇 光学工程
    • 23 篇 仪器科学与技术
    • 21 篇 航空宇航科学与技...
    • 17 篇 交通运输工程
    • 15 篇 土木工程
    • 14 篇 动力工程及工程热...
    • 13 篇 网络空间安全
  • 378 篇 理学
    • 260 篇 数学
    • 89 篇 生物学
    • 61 篇 统计学(可授理学、...
    • 46 篇 物理学
    • 40 篇 化学
    • 29 篇 系统科学
  • 248 篇 管理学
    • 132 篇 管理科学与工程(可...
    • 118 篇 图书情报与档案管...
    • 36 篇 工商管理
  • 41 篇 医学
    • 33 篇 临床医学
    • 24 篇 基础医学(可授医学...
    • 19 篇 药学(可授医学、理...
  • 15 篇 法学
    • 13 篇 社会学
  • 12 篇 农学
  • 5 篇 经济学
  • 5 篇 教育学
  • 3 篇 文学
  • 3 篇 艺术学
  • 2 篇 军事学
  • 1 篇 哲学

主题

  • 52 篇 computer science
  • 44 篇 educational inst...
  • 44 篇 laboratories
  • 43 篇 knowledge engine...
  • 41 篇 educational tech...
  • 25 篇 data mining
  • 24 篇 computer science...
  • 21 篇 semantics
  • 16 篇 reinforcement le...
  • 15 篇 contrastive lear...
  • 15 篇 feature extracti...
  • 14 篇 deep learning
  • 14 篇 image segmentati...
  • 12 篇 ontologies
  • 12 篇 artificial intel...
  • 11 篇 topology
  • 10 篇 recommender syst...
  • 10 篇 authentication
  • 9 篇 genetic algorith...
  • 9 篇 data models

机构

  • 432 篇 college of compu...
  • 285 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 44 篇 key laboratory o...
  • 36 篇 college of softw...
  • 36 篇 key laboratory o...
  • 33 篇 school of artifi...
  • 31 篇 college of compu...
  • 23 篇 key laboratory o...
  • 21 篇 jilin university...
  • 20 篇 jilin university...
  • 19 篇 key laboratory o...
  • 19 篇 key laboratory o...
  • 18 篇 school of comput...
  • 16 篇 jilin university...
  • 16 篇 college of compu...
  • 15 篇 key laboratory o...
  • 15 篇 school of cyber ...
  • 14 篇 key laboratory o...
  • 14 篇 school of comput...

作者

  • 39 篇 yang bo
  • 35 篇 sun geng
  • 32 篇 li ximing
  • 27 篇 ouyang jihong
  • 25 篇 dantong ouyang
  • 24 篇 niyato dusit
  • 23 篇 liu dayou
  • 23 篇 bo yang
  • 22 篇 ouyang dantong
  • 22 篇 yanheng liu
  • 21 篇 chen haipeng
  • 21 篇 huang lan
  • 21 篇 li jiahui
  • 20 篇 liu yanheng
  • 20 篇 li xiongfei
  • 19 篇 guan renchu
  • 19 篇 da-you liu
  • 18 篇 dayou liu
  • 17 篇 chang yi
  • 17 篇 huang qingming

语言

  • 844 篇 英文
  • 170 篇 其他
  • 30 篇 中文
检索条件"机构=Key Laboratory of Symbolic Computing and Knowledge Engineering of"
1043 条 记 录,以下是821-830 订阅
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... 详细信息
来源: 评论
An improved particle swarm algorithms for global optimization
An improved particle swarm algorithms for global optimizatio...
收藏 引用
2010 International Conference on Machine Vision and Human-Machine Interface, MVHI 2010
作者: Tian, Ye Liu, Dayou 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
Particle swarm optimization (PSO) algorithm is a robust and efficient approach for solving complex real-world problems. In this paper, a modified particle swarm algorithm (IMPSO) is introduced for unconstrained global... 详细信息
来源: 评论
Value ordering heuristic for solving algorithm based on the AC-4 algorithm
Value ordering heuristic for solving algorithm based on the ...
收藏 引用
2nd International Workshop on Intelligent Systems and Applications, ISA2010
作者: Li, Zhan-Shan Du, Hui-Ying Xing, Shi-Mei Meng, Fan-Wei School of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
We have studied the AC-4 algorithm and then present value ordering heuristic for solving algorithm BT-MSV which is based on the AC-4 algorithm. This algorithm takes full advantage of supported information which is rec... 详细信息
来源: 评论
key value ordering heuristic for solving algorithm based on the AC-4 algorithm
Key value ordering heuristic for solving algorithm based on ...
收藏 引用
2010 International Conference on Computer, Mechatronics, Control and Electronic engineering, CMCE 2010
作者: Li, Zhan-Shan Du, Hui-Ying Snen, Hai-Jiao Wang, Zi-Wen School 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
We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state informa... 详细信息
来源: 评论
Interval-valued Fuzzy Description Logic IFALCN-Preliminary Results
Interval-valued Fuzzy Description Logic IFALCN-Preliminary R...
收藏 引用
2010 IEEE International Conference on Intelligent computing and Intelligent Systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)
作者: Linlin Huo Jihong Ouyang Dayou Liu Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College o Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of
To represent and reason with interval-value information of applications in description logic, based on interval-fuzzy set the classical description logic *** is extended to the fuzzy description logic IFALCN. Its'... 详细信息
来源: 评论
Inversing cardinal direction relations
Inversing cardinal direction relations
收藏 引用
International Conference on Frontier of Computer Science and Technology
作者: Chen, Juan Jia, Haiyang Liu, Dayou Zhang, Changhai College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China
Focusing on the inversing operation of cardinal directions, the current generative method does not always work correctly. According to the given definitions of smallest rectangular direction and original directions, t... 详细信息
来源: 评论
Effcient Distributed Skyline Queries for Mobile Applications
收藏 引用
Journal of Computer Science & Technology 2010年 第3期25卷 523-536页
作者: 肖迎元 陈跃国 Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Key Laboratory of Computer Vision and System Tianjin University of Technology School of Computing National University of Singapore Key Laboratory of Data Engineering and Knowledge Engineering Renmin University of China
In this paper, we consider skyline queries in a mobile and distributed environment, where data objects are distributed in some sites (database servers) which are interconnected through a high-speed wired network, an... 详细信息
来源: 评论
A modal representation of RCC62
A modal representation of RCC62
收藏 引用
5th International Conference on Computer Sciences and Convergence Information Technology, ICCIT 2010
作者: Fu, Qian Ouyang, Ji-Hong Liu, Da-You 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
The major problem in developing a useful formalism for reasoning about spatial information is the trade off between expressive power and computational tractability. Based on Bennett's modal representation of conve... 详细信息
来源: 评论
Localization algorithm based on optimal nodes for wireless sensor networks
收藏 引用
Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (engineering and Technology Edition) 2011年 第SUPPL. 1期41卷 208-214页
作者: Shen, Xuan-Jing Li, Cheng-Yue Wang, Shuo Qian, Qing-Ji 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 Unit 89 The Chinese People's Liberation Army 95900 Troops Kaifeng 475003 China College of Physics Jilin University Changchun 130015 China
Because of restricted energy of the sensor nodes, the location error, costs of communication and computation should be considered in localization algorithms. The DV-Hop algorithm was detailedly analyzed and the main r... 详细信息
来源: 评论