咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3101-3110 订阅
排序:
Procedural interpretation of non-Horn logic programs  9th
Procedural interpretation of non-Horn logic programs
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Minker, Jack Rajasekar, Arcot Department of Computer Science University of Maryland College ParkMD20742 United States Institute for Advanced Computer Studies University of Maryland College ParkMD20742 United States
Procedural interpretation in logic programming consists of two parts: answering positive queries and answering negative queries. Answering positive queries can be done using a general theorem prover. To answer negativ... 详细信息
来源: 评论
Query processing in quantitative logic programming  9th
Query processing in quantitative logic programming
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Subrahmanian, V.S. School of Computer & Information Science Syracuse University 313 Link Hall SyracuseNY13244 United States
In [12] the notion of a quantitative logic program has been introduced, and its declarative semantics explored. the operational semantics given in [12] is extended significantly in this paper — in particular, the not... 详细信息
来源: 评论
the research of a basic language of expert systems for pattern recognition-design and realization of LOG-BASIC programming language
The research of a basic language of expert systems for patte...
收藏 引用
international conference on Pattern Recognition
作者: Zhou Guanxiong He Zheing Zou Hairning Department of Computer Science Huazhong University of Science and Technology Wuhan Hubei China Dept. of Comput. Sci. Huazhong Univ. of Sci. & Technol. Wuhan Hubei China
the LOG-BASIC programming language, which has logic reasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good support environment for realizing expert systems for pattern recognit... 详细信息
来源: 评论
Algorithms for massively parallel image processing architectures
Algorithms for massively parallel image processing architect...
收藏 引用
international conference on Pattern Recognition
作者: J.L.C. Sanz R.E. Cypher IBM Almaden Res. Center San Jose CA USA University of Washington Seattle WA USA
the complexity of efficiently programming massively parallel machines is illustrated by presenting a number of algorithms. these algorithms deal with computational geometry, data histogramming, list manipulation, and ... 详细信息
来源: 评论
Dynamic programming approach for context classification using the Markov random field
Dynamic programming approach for context classification usin...
收藏 引用
international conference on Pattern Recognition
作者: R.M. Haralick M.C. Zhang R.W. Ehrich Intelligent Systems Laboratory Department of Electrical Engineering FT-10 University of Washington Seattle WA USA Virginia Polytechnic Institute and State University Blacksburg VA 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... 详细信息
来源: 评论
the research on speech feature representation method and distance measure method
The research on speech feature representation method and dis...
收藏 引用
international conference on Pattern Recognition
作者: Zhou Li Fang Ditang Softerware Development Center Tsinghua University Beijing China Department of Computer Tsinghua University Beijing China
A speech feature analysis system, based on a dynamic programming match algorithm, is described. the system evaluates speech feature extraction methods and distance measure methods by two kinds of error-rate: overstep ... 详细信息
来源: 评论
A pattern matching approach to connected-word recognition for Chinese
A pattern matching approach to connected-word recognition fo...
收藏 引用
international conference on Pattern Recognition
作者: Bao-Sheng Yuan Tie-Cheng Yu Institute of Acoustics Academia Sinica Beijing China
A speaker-dependent pattern-matching approach to connected word recognition for Chinese is presented. First, a method of adaptive energy normalization is applied to the speech spectrum, and a sound stimulus parameter ... 详细信息
来源: 评论
Online recognition of free-format Japanese handwritings
Online recognition of free-format Japanese handwritings
收藏 引用
international conference on Pattern Recognition
作者: H. Murase NTT Basic Research Laboratorys Naito Group Musashino Tokyo Japan
An online recognition method, called the candidate lattice method, is described for free-format written Japanese character strings, which may contain characters with separated constituents or overlapping characters. T... 详细信息
来源: 评论
KIDS (knowledge-based diagnosis system)-a specialized architecture
KIDS (knowledge-based diagnosis system)-a specialized archit...
收藏 引用
international conference on Pattern Recognition
作者: G. Manon S. Pesty C. Garbay Laboratoire TIM3 / UA CNRS n0397 Université Joseph Fourier Grenoble Grenoble France
the design of architectures is presented for knowledge-based image diagnosis systems (KIDS). Two basic constructs (knowledge sources and knowledge processors) are first presented as modeling the capabilities involved ... 详细信息
来源: 评论
Context dependent edge detection
Context dependent edge detection
收藏 引用
international conference on Pattern Recognition
作者: R.M. Haralick J.S.J. Lee EE Dept FT-10 University of Washington Seattle WA USA Boeing High Tech Center Seattle WA USA
To obtain the optimal use of context, an edge detection scheme is introduced which uses the context of the whole image. the edge context for each pixel is the set of all row-monotonically-increasing paths through the ... 详细信息
来源: 评论