咨询与建议

限定检索结果

文献类型

  • 2,053 篇 会议
  • 51 册 图书
  • 46 篇 期刊文献

馆藏范围

  • 2,150 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,274 篇 工学
    • 1,024 篇 计算机科学与技术...
    • 583 篇 软件工程
    • 254 篇 电气工程
    • 157 篇 控制科学与工程
    • 69 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 18 篇 安全科学与工程
    • 15 篇 交通运输工程
    • 12 篇 仪器科学与技术
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 冶金工程
    • 11 篇 动力工程及工程热...
    • 10 篇 建筑学
  • 296 篇 理学
    • 227 篇 数学
    • 39 篇 物理学
    • 39 篇 统计学(可授理学、...
    • 34 篇 系统科学
    • 22 篇 生物学
    • 16 篇 化学
  • 119 篇 管理学
    • 84 篇 管理科学与工程(可...
    • 37 篇 工商管理
    • 32 篇 图书情报与档案管...
  • 47 篇 教育学
    • 46 篇 教育学
  • 25 篇 医学
    • 24 篇 临床医学
  • 10 篇 法学
    • 10 篇 社会学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 172 篇 logic gates
  • 137 篇 fuzzy logic
  • 129 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 65 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 52 篇 semantics
  • 50 篇 training
  • 49 篇 computer science
  • 48 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 41 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 36 篇 computer program...
  • 35 篇 software

机构

  • 6 篇 laboratory of co...
  • 5 篇 stevens inst tec...
  • 5 篇 institute of log...
  • 5 篇 university of to...
  • 5 篇 institute for lo...
  • 5 篇 chinese univ hon...
  • 4 篇 univ oxford oxfo...
  • 4 篇 school of electr...
  • 4 篇 ibm corp thomas ...
  • 3 篇 north carolina s...
  • 3 篇 creighton univ o...
  • 3 篇 univ politecn ca...
  • 3 篇 ecole polytech f...
  • 3 篇 tu wien austria
  • 3 篇 department of co...
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...

作者

  • 7 篇 inoue katsumi
  • 5 篇 sakama chiaki
  • 5 篇 gupta gopal
  • 4 篇 wang liang
  • 4 篇 iosif radu
  • 4 篇 pontelli enrico
  • 4 篇 liang wang
  • 4 篇 tompits hans
  • 4 篇 beck j. christop...
  • 3 篇 kumar amruth n.
  • 3 篇 chopra amit k.
  • 3 篇 proietti maurizi...
  • 3 篇 il han park
  • 3 篇 m.-r. akbarzadeh...
  • 3 篇 wei li
  • 3 篇 riguzzi fabrizio
  • 3 篇 schaub torsten
  • 3 篇 melin p
  • 3 篇 leonidas deligia...
  • 3 篇 mcdirmid sean

语言

  • 2,101 篇 英文
  • 35 篇 其他
  • 15 篇 中文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2150 条 记 录,以下是1631-1640 订阅
排序:
Constraint logic programming for program analysis  08
Constraint Logic Programming for program analysis
收藏 引用
Australasian Computer Science conference
作者: Joxan Jaffar National University of Singapore
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
An integrated probabilistic and logic approach to encyclopedia relation extraction with multiple features  08
An integrated probabilistic and logic approach to encycloped...
收藏 引用
Proceedings of the 22nd international conference on Computational Linguistics - Volume 1
作者: Xiaofeng Yu Wai Lam The Chinese University of Hong Kong Shatin N. T. Hong Kong The Chinese University of Hong Kong Shatin N.T. Hong Kong
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and first-order logic for statistical relational learning, to extracting relations...
来源: 评论
Experiments in the dynamics of phase coupled oscillators when applied to graph colouring  08
Experiments in the dynamics of phase coupled oscillators whe...
收藏 引用
Australasian Computer Science conference
作者: Sofianto Lee Raymond Lister University of Technology Sydney
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
Automatic thesaurus construction  08
Automatic thesaurus construction
收藏 引用
Australasian Computer Science conference
作者: Dongqiang Yang David M. Powers Flinders University of South Australia South Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
Relative simulation and model checking of real-time processes  08
Relative simulation and model checking of real-time processe...
收藏 引用
Australasian Computer Science conference
作者: Colin Fidge Queensland University of Technology Brisbane Queensland Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
Privacy preserving set intersection based on bilinear groups  08
Privacy preserving set intersection based on bilinear groups
收藏 引用
Australasian Computer Science conference
作者: Yingpeng Sang Hong Shen The University of Adelaide Adelaide South Australia Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency  08
A Local Broker enabled MobiPass architecture for enhancing t...
收藏 引用
Australasian Computer Science conference
作者: Will Tao Robert Steele University of Technology Sydney Broadway New South Wales
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
An investigation on a community's web search variability  08
An investigation on a community's web search variability
收藏 引用
Australasian Computer Science conference
作者: Mingfang Wu Andrew Turpin Justin Zobel RMIT University Melbourne Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
A model, schema, and interface for metadata file systems  08
A model, schema, and interface for metadata file systems
收藏 引用
Australasian Computer Science conference
作者: Stijn Dekeyser Richard Watson Lasse Motroen University of Southern Queensland Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论
Reasoning about inherent parallelism in modern object-oriented languages  08
Reasoning about inherent parallelism in modern object-orient...
收藏 引用
Australasian Computer Science conference
作者: Wayne Reid Wayne Kelly Andrew Craik Queensland University of Technology Brisbane QLD Australia
The Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss research topics as... 详细信息
来源: 评论