咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是201-210 订阅
排序:
Hardware join Java: A unified Hardware/Software language for dynamic partial runtime reconfigurable computing applications
Hardware join Java: A unified Hardware/Software language for...
收藏 引用
5th IEEE International conference on Field Programmable Technology
作者: Kearney, David Hopf, John Univ South Australia Adv Comp Res Ctr Mawson Lakes SA Australia
Reconfigurable computing is maturing rapidly as FPGAs combining hard core processors and high density logic block arrays become widely available at low cost Application developers have been developing algorithms that ... 详细信息
来源: 评论
A spreadsheet approach to programming and managing sensor networks
A spreadsheet approach to programming and managing sensor ne...
收藏 引用
International Symposium on Information Processing in Sensor Networks (IPSN)
作者: A. Woo Siddharth Seth T. Olson J. Liu F. Zhao Arched Rock Corporation San Francisco CA USA Indian Institute of Technology Kharagpur India Microsoft Research Limited Redmond WA USA
We present a spreadsheet approach to simplifying the process of managing, programming, and interacting with sensor networks and visualizing, archiving and retrieving sensor data. An excel spreadsheet prototype has bee... 详细信息
来源: 评论
Software Source Code Correlation
Software Source Code Correlation
收藏 引用
International conference on Computer and Information Science (ACIS)
作者: R. Zeidman Zeidman Consulting Cupertino CA USA
the degree of correlation between the source codes of different software programs is important for uncovering plagiarism, trade secret theft, copyright infringement, and patent infringement. Other uses include locatin... 详细信息
来源: 评论
the influence of indirect association rules on recommendation ranking lists
The influence of indirect association rules on recommendatio...
收藏 引用
5th International conference on Intelligent Systems Design and Applications (ISDA 2005)
作者: Kazienko, P Kuzminska, K Wroclaw Univ Technol Inst Appl Informat PL-50370 Wroclaw Poland
Association rules are often utilized in web recommendation systems for creation of suggested items lists. However, lists obtained in this way may be too short. Indirect association rules are introduced to extend class... 详细信息
来源: 评论
Agents that learn to behave in multi-agent simulations
Agents that learn to behave in multi-agent simulations
收藏 引用
5th IASTED International conference on Modelling, Simulation and Optimization
作者: Dávila, J Uzcátegui, M CeSiMo Fac Ingn Merida 5101 Venezuela
this paper illustrates the use of Inductive logic programming to program agents that learn rules of behaviour from simulated histories of their embedding systems. We have shown how a ILP system can be used to learn ru... 详细信息
来源: 评论
Flocking of subpopulations in distributed genetic programming
Flocking of subpopulations in distributed genetic programmin...
收藏 引用
5th International conference on Intelligent Systems Design and Applications, ISDA '05
作者: Paulikas, Giedrius Rubliauskas, Dalius Department of Practical Informatics Kaunas University of Technology Studentu St. 50 LT-3031 Kaunas Lithuania
the distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. this paper presents the analysis of early e... 详细信息
来源: 评论
the influence of parameters in evolutionary based rule extraction method from neural network
The influence of parameters in evolutionary based rule extra...
收藏 引用
5th International conference on Intelligent Systems Design and Applications (ISDA 2005)
作者: Markowska-Kaczmar, U Wroclaw Univ Technol Inst Appl Informat PL-50370 Wroclaw Poland
In the paper the experimental study of the influence of parameters on the final results of the rule extraction method from neural network for classification problem is described. the method is based on evolutionary ap... 详细信息
来源: 评论
Implementation of a data gathering system with scalable intelligent control architecture
收藏 引用
5th International Working conference on the Design of Information Infrastructure Systems for Manufacturing
作者: Takata, M Arai, E Univ Electrocommun Informat Proc Ctr Chofu Tokyo 182 Japan
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu... 详细信息
来源: 评论
Making contextual intensional logic nonmonotonic
Making contextual intensional logic nonmonotonic
收藏 引用
5th International and Interdisciplinary conference CONTEXT 2005 - Modeling and Using Context
作者: thomason, Richmond H. Philosophy Department University of Michigan Ann Arbor MI 48109-2110 United States
this paper motivates and presents a nonmonotonic version of Contextual Intensional logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary t... 详细信息
来源: 评论
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Advanced Lectures
Formal Methods for Mobile Computing: 5th International Schoo...
收藏 引用
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005
the proceedings contain 7 papers from the conference on Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, A... 详细信息
来源: 评论