咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,146 篇 电子文献
  • 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
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware
  • 35 篇 costs

机构

  • 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,081 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3146 条 记 录,以下是3091-3100 订阅
排序:
Robotic languages - Written for engineer or programmer?
Robotic languages - Written for engineer or programmer?
收藏 引用
1988 international conference on Industrial Electronics: Robotics and Vision, IECON 1988
作者: Floyd, Raymond E. International Business Machines Inc. CharlotteNC United States 1306 9th Avenue. N. W. ConoverNC28613 United States
As the robot industry has matured, the robot teach pendant has been augmented with the introduction of robot programming languages. these languages are generally intended to allow the process sequence to be quickly pr... 详细信息
来源: 评论
9th international conference on Automated Deduction, CADE 1988
9th International Conference on Automated Deduction, CADE 19...
收藏 引用
9th international conference on Automated Deduction, CADE 1988
the proceedings contain 73 papers. the special focus in this conference is on Automated Deduction. the topics include: Consistency of rule-based expert systems;a mechanizable induction principle for equational specifi...
来源: 评论
Specifying theorem provers in a higher-order logic programming language  9th
Specifying theorem provers in a higher-order logic programmi...
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Felty, Amy Miller, Dale Department of Computer and Information Science University of Pennsylvania PhiladelphiaPA19104-6389 United States
Since logic programming systems directly implement search and unification and since these operations are essential for the implementation of most theorem provers, logic programming languages should make ideal implemen... 详细信息
来源: 评论
Elastic matching versus rigid matching by use of dynamic programming
Elastic matching versus rigid matching by use of dynamic pro...
收藏 引用
international conference on Pattern Recognition
作者: H. Maitre Y.F. Wu Ecole Nat. Superieure des Telecommun. Paris France
An elastic matching method is proposed, based on dynamic programming, to take account of distortions in images. It makes use of the fact that dynamic programming provides not only a global transformation, but also one... 详细信息
来源: 评论
Notes on Prolog program transformations, Prolog style, and efficient compilation to the Warren abstract machine  9th
Notes on Prolog program transformations, Prolog style, and e...
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Butler, Ralph M. Loganantharaj, Rasiah Olson, Robert Division of Computer and Information Science Univ. of North Florida JacksonvilleFL32216 United States Center for Advanced Computer Studies P.O.Box 4330 USL LafayetteLA70504-4330 United States Mathematics and Computer Science Division Argonne National Laboratory ArgonneIL60439 United States
Most of the efficient implementations of Prolog are based on Warren9;s abstract machine [1,4]. Evan Tick [3] has argued that a substantial percentage of execution time in such implementations is directly related to... 详细信息
来源: 评论
Collinear trinocular stereo using two-level dynamic programming
Collinear trinocular stereo using two-level dynamic programm...
收藏 引用
international conference on Pattern Recognition
作者: Y. Ohta T. Yamamoto K. Ikeda Institute of Information Sciences and Electronics University of Tsukuba Ibaraki Japan
An almost occlusion-free trinocular stereo algorithm is described. It can cope with the occlusion problem when trying to obtain depth data of good accuracy by using a long stereo baseline. A third camera located midwa... 详细信息
来源: 评论
A new dynamic programming method for stereo vision ignoring epipolar geometry
A new dynamic programming method for stereo vision ignoring ...
收藏 引用
international conference on Pattern Recognition
作者: Y.F. Wu H. Maitre Ecole Nat. Superieure des Telecommun. Paris France
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... 详细信息
来源: 评论
An investigation of object-oriented programming as the basis for an image processing and analysis system
An investigation of object-oriented programming as the basis...
收藏 引用
international conference on Pattern Recognition
作者: J. Piper D. Rutovitz MRC Clinical and Population Cytogenetics Unit Western General Hospital Edinburgh UK
the ways are explored in which object-oriented programming is well adapted to image analysis, and attempt is made to assess the implications of its use. In particular, the possible transition from C to C++ of an exist... 详细信息
来源: 评论
Recognition of echocardiograms by dynamic programming matching method
Recognition of echocardiograms by dynamic programming matchi...
收藏 引用
international conference on Pattern Recognition
作者: H. Yamada K. Yamamoto Information Sciences Division Electro Technical Laboratory Tsukuba Ibaraki Japan
A model-based dynamic programming 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 of e... 详细信息
来源: 评论
Planning, neural networks and Markov models for automatic speech recognition
Planning, neural networks and Markov models for automatic sp...
收藏 引用
international conference on Pattern Recognition
作者: R. De Mori School of Computer Science McGill University Centre De Recherche En Informatique De Montreal Montreal QUE Canada
the possibility of programming the execution of multilayered networks is considered. this planned execution produces a coded description of speech segments in terms of degrees of evidence of phonetic features. Continu... 详细信息
来源: 评论