咨询与建议

限定检索结果

文献类型

  • 979 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 700 篇 工学
    • 581 篇 计算机科学与技术...
    • 364 篇 软件工程
    • 146 篇 电气工程
    • 56 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 189 篇 理学
    • 156 篇 数学
    • 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
  • 62 篇 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
  • 19 篇 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,017 篇 英文
  • 16 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1040 条 记 录,以下是891-900 订阅
排序:
CPWCT: making P2P home network secure virtual multimedia device
CPWCT: making P2P home network secure virtual multimedia dev...
收藏 引用
conference on Local Computer Networks (LCN)
作者: Yu Chen Zhou J.A. Cerruti Lin Ma Lei Ma G. Myles IBM China Software Development Laboratory China IBM Almaden Research Center USA
Content management and protection are important features of emerging home network technologies. In this paper, we present the design of content protection for workplace client technology (CPWCT), a novel secure conten... 详细信息
来源: 评论
the Field Marshal electromagnetic simulation environment
The Field Marshal electromagnetic simulation environment
收藏 引用
international conference on Infrared and Millimeter Waves
作者: R.H. Jackson M. McLay R.P. Joshi Old Dominion University Norfolk VA USA Calabazas Creek Research Inc. Saratoga CA USA
Summary form only given. High power microwave research requires multiple simulation codes to address physics at different space and time scales. Costs associated with purchase, maintenance and training become importan... 详细信息
来源: 评论
Structure Analysis of logic Control Programs
Structure Analysis of Logic Control Programs
收藏 引用
30th Annual conference of the IEEE-Industrial-Electronics-Society (IECON)
作者: Nakamura, Satoshi Fujimoto, Yasutaka Yokohama Natl Univ Dept Elect & Comp Engn Yokohama Kanagawa 240 Japan
In this paper, a method to divide a large-scale logic program is proposed. the hierarchical structure of the given logic program can be found by using graph theory. An Illustrative example of elevator control program ... 详细信息
来源: 评论
Detection of heap management flaws in component-based software
Detection of heap management flaws in component-based softwa...
收藏 引用
30th EUROMICRO conference
作者: Verta, H Saridakis, T NOKIA Research Center FIN-00045 PO Box 407 Finland
Heap management is responsible for the allocation of heap segments to a running application. When the logic of the heap management is left to the application programmer, as it is the case with programming languages li... 详细信息
来源: 评论
Monitoring and Diagnosing Applications with ARM 4.0  30
Monitoring and Diagnosing Applications with ARM 4.0
收藏 引用
30th international Computer Measurement Group conference, CMG 2004
作者: Johnson, Mark W. IBM Corporation United States
the ARM (Application Response Measurement) standard provides a way to manage business transactions. By embedding simple calls to an agent supporting ARM an application can be managed for availability, service level ag... 详细信息
来源: 评论
Collecting Java Performance Measurements using Byte Code Engineering  30
Collecting Java Performance Measurements using Byte Code Eng...
收藏 引用
30th international Computer Measurement Group conference, CMG 2004
作者: De Pasquale, Carl J.
the objective of this paper is to introduce a method of gathering Java performance and modeling measurements using the Byte Code Engineering Library (BCEL). the paper presents an overview of the Java class file and pr... 详细信息
来源: 评论
Inductive logic programming and Music  30
Inductive Logic Programming and Music
收藏 引用
30th international Computer Music conference, ICMC 2004
作者: Ramirez, Rafael Music Technology Group - IUA Pompeu Fabra University Ocata 1 Barcelona08003 Spain
First-order logic is one of the most expressive and widely used knowledge representations, and its application to the formalization of musical knowledge raises particularly interesting questions. this paper explores s... 详细信息
来源: 评论
logic programs with annotated Disjunctions
收藏 引用
20th international conference on logic programming
作者: Vennekens, J Verbaeten, S Bruynooghe, M Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium
Current literature offers a number of different approaches to what could generally be called "probabilistic logic programming". these are usually based on Horn clauses. Here, we introduce a new formalism, Lo... 详细信息
来源: 评论
A fuzzy logic model for compositional approaches to audio-visual media  30
A fuzzy logic model for compositional approaches to audio-vi...
收藏 引用
30th international Computer Music conference, ICMC 2004
作者: Cádiz, Rodrigo F. Music Technology Program School of Music Northwestern University United States
A fuzzy logic approach to the challenge of composing both sound and moving image within a coherent framework is proposed. this approach is based on a fuzzy logic model that enables a flexible mapping of either aural o... 详细信息
来源: 评论
the Audicle: A Context-Sensitive, On-the-fly Audio programming Environ/mentality  30
The Audicle: A Context-Sensitive, On-the-fly Audio Programmi...
收藏 引用
30th international Computer Music conference, ICMC 2004
作者: Wang, Ge Cook, Perry R. Computer Science Department Princeton University United States
Many software environments have been developed for computer music. programming environments typically provide constructs to implement synthesis or musical algorithms, whereas runtime environments allow performers to e... 详细信息
来源: 评论