咨询与建议

限定检索结果

文献类型

  • 466 篇 期刊文献
  • 398 篇 会议

馆藏范围

  • 864 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 608 篇 工学
    • 486 篇 计算机科学与技术...
    • 417 篇 软件工程
    • 139 篇 信息与通信工程
    • 69 篇 控制科学与工程
    • 65 篇 生物工程
    • 46 篇 生物医学工程(可授...
    • 42 篇 机械工程
    • 40 篇 电子科学与技术(可...
    • 38 篇 电气工程
    • 37 篇 化学工程与技术
    • 29 篇 光学工程
    • 21 篇 航空宇航科学与技...
    • 17 篇 交通运输工程
    • 16 篇 仪器科学与技术
    • 13 篇 动力工程及工程热...
    • 13 篇 土木工程
    • 10 篇 网络空间安全
  • 330 篇 理学
    • 233 篇 数学
    • 75 篇 生物学
    • 54 篇 统计学(可授理学、...
    • 41 篇 物理学
    • 37 篇 化学
    • 28 篇 系统科学
  • 212 篇 管理学
    • 110 篇 管理科学与工程(可...
    • 103 篇 图书情报与档案管...
    • 32 篇 工商管理
  • 32 篇 医学
    • 24 篇 临床医学
    • 18 篇 基础医学(可授医学...
    • 16 篇 药学(可授医学、理...
  • 12 篇 法学
    • 10 篇 社会学
  • 9 篇 农学
  • 5 篇 经济学
  • 3 篇 教育学
  • 3 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 49 篇 computer science
  • 41 篇 educational inst...
  • 41 篇 laboratories
  • 39 篇 educational tech...
  • 37 篇 knowledge engine...
  • 23 篇 computer science...
  • 21 篇 data mining
  • 16 篇 semantics
  • 14 篇 reinforcement le...
  • 11 篇 deep learning
  • 11 篇 image segmentati...
  • 11 篇 ontologies
  • 11 篇 artificial intel...
  • 10 篇 authentication
  • 10 篇 feature extracti...
  • 9 篇 recommender syst...
  • 9 篇 topology
  • 8 篇 contrastive lear...
  • 8 篇 computational mo...
  • 8 篇 genetic algorith...

机构

  • 416 篇 college of compu...
  • 273 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 41 篇 key laboratory o...
  • 35 篇 key laboratory o...
  • 33 篇 college of softw...
  • 32 篇 college of compu...
  • 32 篇 school of artifi...
  • 29 篇 key laboratory o...
  • 23 篇 jilin university...
  • 20 篇 jilin university...
  • 19 篇 key laboratory o...
  • 17 篇 key laboratory o...
  • 16 篇 jilin university...
  • 16 篇 school of comput...
  • 15 篇 key laboratory o...
  • 15 篇 the college of c...
  • 14 篇 key laboratory o...
  • 13 篇 college of compu...
  • 13 篇 international ce...

作者

  • 38 篇 yang bo
  • 34 篇 sun geng
  • 28 篇 li ximing
  • 27 篇 ouyang jihong
  • 25 篇 dantong ouyang
  • 25 篇 liu dayou
  • 23 篇 niyato dusit
  • 22 篇 ouyang dantong
  • 22 篇 yanheng liu
  • 21 篇 li jiahui
  • 21 篇 liu yanheng
  • 20 篇 bo yang
  • 19 篇 li xiongfei
  • 18 篇 chen haipeng
  • 18 篇 dayou liu
  • 18 篇 huang lan
  • 17 篇 chang yi
  • 17 篇 wang jian
  • 16 篇 guan renchu
  • 16 篇 wang jiacheng

语言

  • 782 篇 英文
  • 47 篇 其他
  • 35 篇 中文
检索条件"机构=MOE Key Laboratory of Symbolic Computation and Knowledge Engineering"
864 条 记 录,以下是191-200 订阅
排序:
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... 详细信息
来源: 评论
A study on parallel semantics of constraint logic rograms
A study on parallel semantics of constraint logic rograms
收藏 引用
International Conference on Machine Learning and Cybernetics, ICMLC 2005
作者: Sun, Ji.-Gui Zhang, Yong-Gang College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory for Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China
This paper presents two parallel semantics of constraint logic programs: multiset answer constraint semantics and game semantics, which differ entirely from the traditional semantics. When giving the first semantics, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A Morphology Focused Cell Detection Model for Histopathology Images
A Morphology Focused Cell Detection Model for Histopathology...
收藏 引用
2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023
作者: Wang, Zhe Wei, Fangyue Guo, Shuyu Che, Xiaoting Bai, Tian Jilin University College of Computer Science and Technology Changchun China Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China
The accurate automatic recognition of cell locations is of great significance for downstream tasks in pathology. Due to the various size and distribution of different cell types, previous cell detection methods applie... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Quasi-periodic Solutions of the General Nonlinear Beam Equations
收藏 引用
Communications in Mathematical Research 2012年 第1期28卷 51-64页
作者: GAO YI-XIAN College of Mathematics and Statistics Northeast Normal University Changchun 130024 Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012
In this paper, one-dimensional (1D) nonlinear beam equations of the form utt - uxx + uxxxx + mu = f (u) with Dirichlet boundary conditions are considered, where the nonlinearity f is an analytic, odd function an... 详细信息
来源: 评论
Blind identification of image copy-paste tampering based on logarithm polar coordinate transformation
Blind identification of image copy-paste tampering based on ...
收藏 引用
2011 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2011
作者: Lv, A. Ying-Da Shen, B. Xuan-Jing Chen, C. Hai-Peng 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
To detect image copy-paste tampering, an improved blind identification was proposed in this study. Firstly, according to gray-level and gray-structure, every couple of doubtful blocks can be located. Secondly, for eac... 详细信息
来源: 评论
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... 详细信息
来源: 评论
MAX-MIN ant system on GPU with CUDA
MAX-MIN ant system on GPU with CUDA
收藏 引用
2009 4th International Conference on Innovative Computing, Information and Control, ICICIC 2009
作者: Bai, Hongtao Ouyang, Dantong Li, Ximing He, Lili Yu, Haihong College of Computer Science and Technology Jilin University 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University 130012 China
We propose a parallel MAX-MIN Ant System (MMAS) algorithm that is suitable for an implementation on graphics processing units (GPUs). Multi ant colonies with respective parameter settings are whole offloaded to the GP... 详细信息
来源: 评论
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... 详细信息
来源: 评论