咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1641-1650 订阅
排序:
On measuring Java software  08
On measuring Java software
收藏 引用
Australasian Computer Science conference
作者: Ewan Tempero University of Auckland Auckland New Zealand
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 of the state formation and transition limitations for prediction problems in recurrent neural networks  08
An investigation of the state formation and transition limit...
收藏 引用
Australasian Computer Science conference
作者: Angel Kennedy Cara MacNish The University of Western 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... 详细信息
来源: 评论
An efficient hash-based algorithm for minimal k-anonymity  08
An efficient hash-based algorithm for minimal k-anonymity
收藏 引用
Australasian Computer Science conference
作者: Xiaoxun Sun Min Li Hua Wang Ashley Plank University of Southern Queensland Toowoomba 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... 详细信息
来源: 评论
Biasing approximate dynamic programming with a lower discount factor  08
Biasing approximate dynamic programming with a lower discoun...
收藏 引用
Proceedings of the 22nd international conference on Neural Information Processing Systems
作者: Marek Petrik Bruno Scherrer Department of Computer Science University of Massachusetts Amherst Amherst MA LORIA Campus Scientifique B.P. 239 Vandoeuvre-les-Nancy France
Most algorithms for solving Markov decision processes rely on a discount factor, which ensures their convergence. It is generally assumed that using an artificially low discount factor will improve the convergence rat...
来源: 评论
OOPSLA: 22nd international conference on Object-Oriented programming, Systems, Languages, and Applications - Proceedings
OOPSLA: 22nd International Conference on Object-Oriented Pro...
收藏 引用
OOPSLA 2007: 22nd international conference on Object-Oriented programming, Systems, Languages, and Applications
The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable v... 详细信息
来源: 评论
Integrating recommendation models for improved web page prediction accuracy  08
Integrating recommendation models for improved web page pred...
收藏 引用
Australasian Computer Science conference
作者: Faten Khalil Jiuyong Li Hua Wang University of Southern Queensland Toowoomba Australia University of South Australia Mason Lakes 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... 详细信息
来源: 评论
Product flow analysis in distribution networks with a fixed time horizon  08
Product flow analysis in distribution networks with a fixed ...
收藏 引用
Australasian Computer Science conference
作者: M. T. Wynn C. J. Fidge A. H. M. ter Hofstede M. Dumas Queensland University of Technology 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... 详细信息
来源: 评论
On illegal composition of first-class agent interaction protocols  08
On illegal composition of first-class agent interaction prot...
收藏 引用
Australasian Computer Science conference
作者: Tim Miller Peter McBurney The University of Melbourne Victoria Australia University of Liverpool Liverpool UK
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... 详细信息
来源: 评论
Proceedings of the 22nd Annual ACM SIGPLAN international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA'07
Proceedings of the 22nd Annual ACM SIGPLAN International Con...
收藏 引用
22nd Annual ACM SIGPLAN international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA'07
The proceedings contain 39 papers. The topics discussed include: the JastAdd extensible Java compiler;jeannie: granting Java native interface developers their wishes;ILEA: inter-language analysis across Java and C;sta...
来源: 评论
PSDBoost: matrix-generation linear programming for positive semidefinite matrices learning  08
PSDBoost: matrix-generation linear programming for positive ...
收藏 引用
Proceedings of the 22nd international conference on Neural Information Processing Systems
作者: Chunhua Shen Alan Welsh Lei Wang NICTA Canberra Research Lab Canberra ACT Australia and Australian National University Canberra ACT Australia Australian National University Canberra ACT Australia
In this work, we consider the problem of learning a positive semidefinite matrix. The critical issue is how to preserve positive semidefiniteness during the course of learning. Our algorithm is mainly inspired by LPBo...
来源: 评论