咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 724 篇 工学
    • 576 篇 计算机科学与技术...
    • 490 篇 软件工程
    • 158 篇 信息与通信工程
    • 92 篇 控制科学与工程
    • 78 篇 生物工程
    • 55 篇 生物医学工程(可授...
    • 51 篇 机械工程
    • 45 篇 电子科学与技术(可...
    • 44 篇 电气工程
    • 40 篇 化学工程与技术
    • 34 篇 光学工程
    • 23 篇 仪器科学与技术
    • 21 篇 航空宇航科学与技...
    • 17 篇 交通运输工程
    • 16 篇 土木工程
    • 14 篇 动力工程及工程热...
    • 13 篇 网络空间安全
  • 375 篇 理学
    • 257 篇 数学
    • 89 篇 生物学
    • 60 篇 统计学(可授理学、...
    • 46 篇 物理学
    • 40 篇 化学
    • 28 篇 系统科学
  • 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

机构

  • 434 篇 college of compu...
  • 288 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 44 篇 key laboratory o...
  • 36 篇 college of softw...
  • 35 篇 key laboratory o...
  • 34 篇 school of artifi...
  • 31 篇 college of compu...
  • 23 篇 key laboratory o...
  • 20 篇 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...

作者

  • 40 篇 yang bo
  • 35 篇 sun geng
  • 32 篇 li ximing
  • 27 篇 ouyang jihong
  • 25 篇 dantong ouyang
  • 24 篇 niyato dusit
  • 23 篇 liu dayou
  • 22 篇 ouyang dantong
  • 22 篇 yanheng liu
  • 22 篇 bo yang
  • 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 条 记 录,以下是841-850 订阅
Securing internet of vehicles using TCM
International Journal of Digital Content Technology and its ...
收藏 引用
International Journal of Digital Content Technology and its Applications 2010年 第7期4卷 226-233页
作者: Wang, Jian Liu, Yanheng Gao, Wenbin College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China
In order to solve the security issues of mobile vehicles in the Internet of vehicles, such as identity authentication and integrality verification, we apply the trusted cryptography module (TCM) into the on-vehicle el... 详细信息
来源: 评论
Design and implementation of a trusted remote remediation framework for vehicle software
Design and implementation of a trusted remote remediation fr...
收藏 引用
作者: Wang, Jian Li, Bin Liu, Yanheng College of Computer Science and Technology Jilin University Changchun 130012 China Mathemetics School Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun 130012 China
With the rapid development of vehicle electronic systems, the vehicle software failure rate has also been rising over time. Providing the convenient and effective maintenance on the vehicle software has become a funda... 详细信息
来源: 评论
New worst-case upper bound for #2-SAT and #3-SAT with the number of clauses as the parameter
New worst-case upper bound for #2-SAT and #3-SAT with the nu...
收藏 引用
作者: Zhou, Junping Yin, Minghao Zhou, Chunguang College of Computer Science and Technology Jilin University Changchun 130012 China College of Computer Northeast Normal University Changchun 130117 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China
The rigorous theoretical analyses of algorithms for #SAT have been proposed in the literature. As we know, previous algorithms for solving #SAT have been analyzed only regarding the number of variables as the paramete... 详细信息
来源: 评论
An Algorithm Based on Resolution for the Satisfiability Problem
An Algorithm Based on Resolution for the Satisfiability Prob...
收藏 引用
The 2nd IEEE International Conference on Advanced Computer Control(第二届先进计算机控制国际会议 ICACC 2010)
作者: Youjun Xu Dantong Ouyang Yuxin Ye College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China
The satisfiability problem is the core problem in artificial intellgence. The algorithm directional resolution(DR) is a well known method based on resolution for satisfiability problem. But the number of clauses has g... 详细信息
来源: 评论
RMADV-Hop: An Improved DV-Hop Localization Algorithm
RMADV-Hop: An Improved DV-Hop Localization Algorithm
收藏 引用
International Conference on Information Technology: New Generations (ITNG)
作者: Tingting Yi Zhiyi Fang Ruixue Li Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun 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 ... 详细信息
来源: 评论
A self-adaptive differential evolution algorithm for binary CSPs
A self-adaptive differential evolution algorithm for binary ...
收藏 引用
International Conference on Natural Computation
作者: Fu, Hongjie Ouyang, Dantong Xu, Jiaming Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China College of Computer Science and Technology Jilin University Changchun China College of Computer Science and Technology Jilin Teachers Institute of Engineering and Technology Changchun China College of Software Northeast Normal University Changchun China
A novel self-adaptive differential evolution (SADE) algorithm is proposed in this paper. SADE adjusts the mutation rate F and the crossover rate CR adaptively, taking account of the different distribution of populatio... 详细信息
来源: 评论
Solving SAT Problem with Boolean Algebra
Solving SAT Problem with Boolean Algebra
收藏 引用
Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)
作者: Youjun Xu Dantong Ouyang Yuxin Ye Jialiang He Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN
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 e... 详细信息
来源: 评论
A modal representation of RCC62
A modal representation of RCC62
收藏 引用
International Conference on Computer Sciences and Convergence Information Technology (ICCIT)
作者: Qian Fu Ji-hong Ouyang Da-you Liu Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN
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... 详细信息
来源: 评论
An Improved Particle Swarm Algorithms for Global Optimization
An Improved Particle Swarm Algorithms for Global Optimizatio...
收藏 引用
International Conference on Machine Vision and Human-Machine Interface (MVHI)
作者: Ye Tian Dayou Liu Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN
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... 详细信息
来源: 评论
A Novel Approach for Modeling Direction Relations Between Uncertain Regions
A Novel Approach for Modeling Direction Relations Between Un...
收藏 引用
International Conference on Machine Vision and Human-Machine Interface (MVHI)
作者: Yiqun Dong Dayou Liu Fang Wang Ye Tian Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN
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... 详细信息
来源: 评论