咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是3081-3090 订阅
排序:
Collinear trinocular stereo using two-level dynamic programming
Collinear trinocular stereo using two-level dynamic programm...
收藏 引用
9th international conference on Pattern Recognition
作者: Ohta, Yuichi Yamamoto, Takehiko Ikeda, Katsuo Univ of Tsukuba Inst of Inf Sci & Electron Ibaraki Jpn
An almost occlusion-free trinocular stereo algorithm is described. It can cope with the occlusion problem when trying to obtain depth data in good accuracy by using a long stereo baseline. A third camera located at th... 详细信息
来源: 评论
New dynamic programming method for stereovision ignoring epipolar geometry
New dynamic programming method for stereovision ignoring epi...
收藏 引用
9th international conference on Pattern Recognition
作者: Wu, Yifeng Maitre, Henri Ecole Natl Superieure des Telecommunications Paris Fr
A method is presented for matching a pair of stereo images. It is based on a dynamic programming approach (DP), that ensures both optimal comprehensive matching of the scene and optimal matching of each primitive pair... 详细信息
来源: 评论
9th international conference on Information Systems, ICIS 1988
9th International Conference on Information Systems, ICIS 19...
收藏 引用
9th international conference on Information Systems, ICIS 1988
the proceedings contain 42 papers. the special focus in this conference is on Information Systems. the topics include: A REVIEW OF thE INFLUENCE OF USER INVOLVEMENT ON SYSTEM SUCCESS;AN ARCHITECTURE FOR ORGANIZATION-W...
来源: 评论
Dynamic programming approach for context classification using the Markov random field
Dynamic programming approach for context classification usin...
收藏 引用
9th international conference on Pattern Recognition
作者: Haralick, Robert M. Zhang, M.C. Ehrich, Roger W. Univ of Washington Dep of Electr Eng Seattle WA USA
A set of multispectral image context classification techniques are discussed which are based on a recursive algorithm for optimal estimation of the state of a two-dimensional discrete Markov random field. the three re... 详细信息
来源: 评论
Recognition of echocardiograms by dynamic programming matching method
Recognition of echocardiograms by dynamic programming matchi...
收藏 引用
9th international conference on Pattern Recognition
作者: Yamada, Hiromitsu Yamamoto, Kazuhiko Tsukuba Electrotech Lab Inf Sci Div Jpn
A model-based Dynamic programming (DP) matching method is applied to extract the optimally fitting shape from each static frame in a sequence of echocardiograms, while allowing for a certain amount of change of length... 详细信息
来源: 评论
λProlog: An extended logic programming language  9th
λProlog: An extended logic programming language
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Felty, Amy Gunter, Elsa Hannan, John Miller, Dale Nadathur, Gopalan Scedrov, Andre Computer and Information Science University of Pennsylvania United States Computer Science Duke University United States Mathematics University of Pennsylvania United States
来源: 评论
15th international conference on metallurgical coatings-ICMC (Held in conjunction with the 9th international conference on vacuum metallurgy-ICVM)
15th international conference on metallurgical coatings-ICMC...
收藏 引用
15th international conference on Metallurgical Coatings-ICMC
the conference proceedings incorporates 42 papers that are grouped according to the following subjects: thin-film barrier layers, metallization for VLSI circuits, thin films used in packaging technology, new materials... 详细信息
来源: 评论
functional computer for low level image processing
Functional computer for low level image processing
收藏 引用
international conference on Pattern Recognition
作者: E. Allart B. Zavidovique SODIMA/ETCA Cachan France ADFAC-ETCA Paris France
the definition of a novel kind of special-purpose integrated architecture which is derived from a functional decomposition of low level image processing algorithms is discussed. Algorithms are described based on funct... 详细信息
来源: 评论
On word problems in Horn theories  9th
On word problems in Horn theories
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Kounalis, Emmanuel Rusinowitch, Michael LRI Universite de Paris-Sud Orsay Cedex91405 France CRIN Campus Scientifique BP 239 Vandoeuvre les Nancy54506 France
We interpret Horn clauses as conditional rewrite rules. then we give sufficient conditions so that the word problem can be decided by conditional normalization in some Horn theory. We also show how to prove theorems i... 详细信息
来源: 评论
SATCHMO: A theorem prover implemented in Prolog  9th
SATCHMO: A theorem prover implemented in Prolog
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Manthey, Rainer Bry, François ECRC Arabellastr. 17 Muenchen 81D-8000 Germany
Satchmo is a theorem prover consisting of just a few short and simple Prolog programs. Prolog may be used for representing problem clauses as well. SATCHMO is based on a model-generation paradigm. It is refutation-com... 详细信息
来源: 评论