咨询与建议

限定检索结果

文献类型

  • 2,042 篇 会议
  • 51 册 图书
  • 45 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 172 篇 logic gates
  • 137 篇 fuzzy logic
  • 123 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 64 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 50 篇 semantics
  • 49 篇 computer science
  • 49 篇 training
  • 46 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 40 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 35 篇 computer program...
  • 34 篇 integer programm...

机构

  • 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 el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...
  • 3 篇 lancaster univer...

作者

  • 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,099 篇 英文
  • 25 篇 其他
  • 15 篇 中文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2138 条 记 录,以下是2081-2090 订阅
排序:
HEURISTIC ALGORITHM FOR PLA BLOCK FOLDING.
HEURISTIC ALGORITHM FOR PLA BLOCK FOLDING.
收藏 引用
22nd ACM/IEEE Design Automation conference, DAC 1985
作者: Kuo, Y.S. Chen, C. Hu, T.C. Acad Sinica Taipei Taiwan Acad Sinica Taipei Taiwan
The folding of programmable logic array (PLA) is considered. A heuristic algorithm for optimal block folding is developed. The algorithm is based on the column intersection graph associated with the PLA. Then the tech... 详细信息
来源: 评论
ABSTRACT MACHINE DATA STRUCTURE FOR NON-PROCEDURAL FUNCTIONAL MODELS.
ABSTRACT MACHINE DATA STRUCTURE FOR NON-PROCEDURAL FUNCTIONA...
收藏 引用
22nd ACM/IEEE Design Automation conference, DAC 1985
作者: Zara, Robert V. Rose, Kevin Nurie, Ghulam Sarin, Harish Tektronix Inc Sunnyvale CA USA Tektronix Inc Sunnyvale CA USA
The implementation of a nonprocedural functional modeling language (FML) is considered. The authors describe a compiler, an abstract machine builder, an abstract machine evaluator, and a host simulator interface, whic... 详细信息
来源: 评论
A Heuristic Algorithm for PLA Block Folding
A Heuristic Algorithm for PLA Block Folding
收藏 引用
Design Automation conference
作者: Y.S. Kuo C. Chen T.C. Hu Institute of Information Science Academia Sinica Taipei Taiwan Institute of Computer Engineering National Chiao Tung University Taiwan Department of EECS University of California La Jolla CA USA
The folding of programmable logic array (PLA) is considered. We develop a heuristic algorithm for optimal block folding. The algorithm is based on the column intersection graph associated with the PLA. Then the techni... 详细信息
来源: 评论
Looking for Mr. "Turnkey"
Looking for Mr. "Turnkey"
收藏 引用
Design Automation conference
作者: M.R. Wayne S.M. Braun International Business Machines Corporation Poughkeepsie NY USA
With the challenges of VLSI forever pressing the designer to increase productivity while remaining at a constant resource level, the market place has been inundated with an onslaught of front-end design tools to ease ... 详细信息
来源: 评论
A Functional Language for Description and Design of Digital Systems: Sequential Constructs
A Functional Language for Description and Design of Digital ...
收藏 引用
Design Automation conference
作者: F. Meshkinpour M.D. Ercegovac Computer.science Department University of California Los Angeles Los Angeles CA USA
A functional (applicative) hardware description language (FHDL), capable of dealing with both the sequential and combinational systems is discussed. The language supports multi-level executable specifications and inte... 详细信息
来源: 评论
Concurrent parsing in programmable logic array (pla-) nets problems and proposals  10
Concurrent parsing in programmable logic array (pla-) nets p...
收藏 引用
10th international conference on Computational Linguistics, COLING 1984 and 22nd Annual Meeting of the Association for Computational Linguistics, ACL 1984
作者: Schnelle, Helmut RUHR-Universität Bochum Sprachwissenschaftliches Institut Bochum 1D-4630 Germany
This contribution attempts a conceptual and practical introduction into the principles of wiring or constructing special machines for language processing tasks instead of programming a universal machine. Construction ... 详细信息
来源: 评论
Understanding of Japanese in an interactive programming system  10
Understanding of Japanese in an interactive programming syst...
收藏 引用
10th international conference on Computational Linguistics, COLING 1984 and 22nd Annual Meeting of the Association for Computational Linguistics, ACL 1984
作者: Sugiyama, Keoji Kameda, Masayuki Akiyama, Kouji Makinouchi, Akifumi Software Laboratory Fujitsu Laboratories Ltd. 1015 Kamikodanaka Nakahara-ku Kawasaki211 Japan
KIPS is an automatic programming system which generates standardized business application programs througb interactive natural language dialogue. KIPS models the program under discussion and the content of the user... 详细信息
来源: 评论
The design of a computer language for linguistic information  10
The design of a computer language for linguistic information
收藏 引用
10th international conference on Computational Linguistics, COLING 1984 and 22nd Annual Meeting of the Association for Computational Linguistics, ACL 1984
作者: Shieber, Stuart M. Artificial Intelligence Center SRI International Center for the Study of Language Information Stanford University United States
A considerable body of accumulated knowledge about the design of languages for communicating information to computers has been derived from the subfields of programming language design and semantics. It has been the g... 详细信息
来源: 评论
Concurrent parsing in programmable logic array (PLA-) NETS problems and proposals  84
Concurrent parsing in programmable logic array (PLA-) NETS p...
收藏 引用
Proceedings of the 10th international conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
作者: Helmut Schnelle RUHR-Universität Bochum Sprachwissenschaftliches Institut Bochum West-Germany
This contribution attempts a conceptual and practical introduction into the principles of wiring or constructing special machines for language processing tasks instead of programming a universal machine. Construction ...
来源: 评论
Understanding of Japanese in an interactive programming system  84
Understanding of Japanese in an interactive programming syst...
收藏 引用
Proceedings of the 10th international conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
作者: Kenji Sugiyama Masayuki Kameda Kouji Akiyama Akifumi Makinouchi Software Laboratory Fujitsu Laboratories Ltd. Kamikodanaka Nakahara-ku Kawasaki Japan
KIPS is an automatic programming system which generates standardized business application programs through interactive natural language dialogue. KIPS models the program under discussion and the content of the user...
来源: 评论