咨询与建议

限定检索结果

文献类型

  • 983 篇 会议
  • 37 篇 期刊文献
  • 25 册 图书

馆藏范围

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

日期分布

学科分类号

  • 704 篇 工学
    • 585 篇 计算机科学与技术...
    • 368 篇 软件工程
    • 146 篇 电气工程
    • 56 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 188 篇 理学
    • 155 篇 数学
    • 18 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 63 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 probabilistic lo...
  • 29 篇 linear programmi...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 18 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,013 篇 英文
  • 25 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1045 条 记 录,以下是741-750 订阅
排序:
Intelligible machine learning with malibu
Intelligible machine learning with <i>malibu</i>
收藏 引用
30th Annual international conference of the IEEE-Engineering-in-Medicine-and-Biology-Society
作者: Langlois, Robert E. Lu, Hui Univ Illinois Dept Bioengn Chicago IL 60607 USA
malibu is an open-source machine learning workbench developed in C/C++ for high-performance real-world applications, namely bioinformatics and medical informatics. It. leverages third-party machine learning implementa... 详细信息
来源: 评论
Design and On-line Evaluation of Type-2 Fuzzy logic System-based Framework for Handling Uncertainties in BCI Classification
Design and On-line Evaluation of Type-2 Fuzzy Logic System-b...
收藏 引用
30th Annual international conference of the IEEE-Engineering-in-Medicine-and-Biology-Society
作者: Herman, Pawel Prasad, Girijesh McGinnity, thomas M. Univ Ulster Intelligent Syst Res Ctr Derry BT48 7JL North Ireland
the practical applicability of brain-computer interface (BCI) technology is limited due to its insufficient reliability and robustness. One of the major problems in this regard is the extensive variability and inconsi... 详细信息
来源: 评论
Putting intel® threading building blocks to work
Putting intel® threading building blocks to work
收藏 引用
30th international conference on Software Engineering, ICSE 2008 Co-located Workshops - 1st international Workshop on Multicore Software Engineering, IWMSE 2008
作者: Popovici, Nicolae Willhalm, thomas Intel GmbH Dornacherstr 1 85622 Feldkirchen Germany
Intel® threading Building Blocks (TBB) was designed to simplify programming for multi-core platforms. By introducing a new way of expressing parallelism, developers can focus on efficient scalable parallel progra... 详细信息
来源: 评论
End-user programming and the intrinsic complexity of networked artefacts
End-user programming and the intrinsic complexity of network...
收藏 引用
30th international conference on Software Engineering, ICSE 2008 - 4th international Workshop on End-user Software Engineering, WEUSE IV
作者: Coutaz, Joëlle Grenoble Informatics Laboratory University Joseph Fourier 385 rue de la Bibliotheque 38041 Grenoble Cedex 9 France
In this article, we propose a model for networked artifacts inspired from molecular chemistry. It demonstrates the intrinsic complexity of the domain illustrated with unsolved problems such as mastering the semantics ... 详细信息
来源: 评论
the life of a logic programming system
The life of a logic programming system
收藏 引用
24th international conference on logic programming, ICLP 2008
作者: Santos Costa, Vítor DCC-FCUP CRACS University of Porto Portugal
logic programming and the Prolog language have a major role in Computing. Prolog, and its derived languages, have been widely used in a impressive variety of application domains. thus, a bit of the history of logic Pr... 详细信息
来源: 评论
A Teamwork-based Approach to programming Fundamentals with Scheme, Smalltalk & Java  08
A Teamwork-based Approach to Programming Fundamentals with S...
收藏 引用
30th international conference on Software Engineering
作者: Lanza, Michele Murphy, Amy L. Robbes, Romain Lungu, Mircea Bonzini, Paolo D'Ambros, Marco Wettel, Richard Univ Lugano Fac Informat Lugano Switzerland
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding, principles are innovation in teaching and faculty participation in the research community. With ... 详细信息
来源: 评论
Networking and Plug-and-Play of Bedside Medical Instruments
Networking and Plug-and-Play of Bedside Medical Instruments
收藏 引用
30th Annual international conference of the IEEE-Engineering-in-Medicine-and-Biology-Society
作者: thongpithoonrat, Porignarin McKneely, Paul K. Gumudavelli, Suman Gurkan, D. Chapman, Frank M. Univ Houston Engn Technol Dept Houston TX 77204 USA MediCAN Syst Inc Houston TX 77079 USA
Medical device manufacturers continuously improve instruments with more capabilities at the point of care such as the bedside, operating room, intensive care unit, or emergency room. the instruments are in turn becomi... 详细信息
来源: 评论
Towards end-user programming with wikis
Towards end-user programming with wikis
收藏 引用
30th international conference on Software Engineering, ICSE 2008 - 4th international Workshop on End-user Software Engineering, WEUSE IV
作者: Anslow, Craig Riehle, Dirk SAP Research SAP Labs LLC 3475 Deer Creek Road Palo Alto CA 94304 United States
When business software fails to provide the desired functionality, users typically turn to spreadsheets to perform simple but general computational tasks. However, spreadsheets enforce a view of the world that consist... 详细信息
来源: 评论
ICSE'08: Proceedings of the 30th international conference on Software Engineering 2008
ICSE'08: Proceedings of the 30th International Conference on...
收藏 引用
30th international conference on Software Engineering 2008, ICSE'08
the proceedings contain 170 papers. the topics discussed include: the future of end user programming?;challenges in automotive software engineering;using software engineering technology to improve the quality of medic...
来源: 评论
On Computing Constraint Abduction Answers
收藏 引用
15th international conference on logic for programming Artificial Intelligence and Reasoning
作者: Maher, Michael Huang, Ge NICTA Sydney NSW Australia
We address the problem of computing and representing answers of constraint abduction problems over the Herbrand domain. this problem is of interest when performing type inference involving generalized algebraic data t... 详细信息
来源: 评论