咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 423 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是391-400 订阅
排序:
STRATEGIC EXPLANATIONS FOR A DIAGNOSTIC CONSULTATION SYSTEM
收藏 引用
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES 1984年 第1期20卷 3-19页
作者: HASLING, DW CLANCEY, WJ RENNELS, G Heuristic Programming Project Computer Science Department Stanford University Stanford California 94305 U.S.A.
The problem of automatic explanation of reasoning, especially as it relates to expert systems is examined. Explanation means the ability of a program to discuss what it is doing in some understandable way. A general f... 详细信息
来源: 评论
Arcturus: A prototype advanced Ada∗ programming environment  1
Arcturus: A prototype advanced Ada∗ programming environment
收藏 引用
1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1984
作者: Standieh, Thomas A. Taylor, Richard N. Programming Environment Project Department of Information and Computer Science University of California Irvine IrvineCA92717 United States
The Arcturus system demonstrates several important principles that will characterize advanced Ada programming support environments. These include conceptual simplicity, tight coupling of tools, and effective command a... 详细信息
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
Signal-to-symbol transformation: Reasoning in the HASP/SIAP program
Signal-to-symbol transformation: Reasoning in the HASP/SIAP ...
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: H. Nii Heuristic Programming Project Computer Science Department University of Stanford USA
In the past fifteen years, artificial intelligence scientists have built several signal interpretation, or understanding, programs. These programs have combined "low" level signal processing algorithms with ... 详细信息
来源: 评论
THE EPISTEMOLOGY OF A RULE-BASED EXPERT SYSTEM - A FRAMEWORK FOR EXPLANATION
收藏 引用
ARTIFICIAL INTELLIGENCE 1983年 第3期20卷 215-251页
作者: CLANCEY, WJ Heuristic Programming Project Computer Science Department Stanford University Stanford CA 94305 U.S.A
Production rules are a popular representation for encoding heuristic knowledge in programs for scientific and medical problem solving. However, experience with one of these programs, mycin, indicates that the represen...
来源: 评论
Data abstraction in GLISP  83
Data abstraction in GLISP
收藏 引用
1983 ACM SIGPLAN Symposium on programming Language Issues in Software Systems, SIGPLAN 1983
作者: Novak, Gordon S. Heuristic Programming Project Computer Science Department Stanford University StanfordCA94305 United States
GLISP is a high-level language that is based on Lisp and is compiled into Lisp. It provides a versatile abstract-data-type facility with hierarchical inheritance of properties and object-centered programming. The obje...
来源: 评论
GLISP: A Lisp-based programming System with Data Abstraction
收藏 引用
AI Magazine 1983年 第3期4卷
作者: Gordon S. Novak Jr. Heuristic Programming Project Computer Science Department Stanford University Stanford CA 94305
GLISP is a high-level language that is compiled into LISP It provides a versatile abstract-data-type facility with hierarchical inheritance of properties and object-centered programming GLISP programs are shorter and ...
来源: 评论
THE NATURE OF HEURISTICS
收藏 引用
ARTIFICIAL INTELLIGENCE 1982年 第2期19卷 189-249页
作者: LENAT, DB Computer Science Department Stanford University Stanford CA 94305 U.S.A.[∗]The author is an assistant professor of Computer Science at Stanford University a member of that university"s Heuristic Programming Project and a consultant for CIS at XEROX PARC.
Builders of expert rule-based systems attribute the impressive performance of their programs to the corpus of knowledge they embody: a large network of facts to provide breadth of scope, and a large array of informal ...
来源: 评论
Initial thoughts on rapid prototyping techniques
Initial thoughts on rapid prototyping techniques
收藏 引用
Workshop on Rapid Prototyping 1982
作者: Taylor, Tamara Standish, Thomas A. Irvine Programming Environment Project Computer Science Department University of California IrvineCA92717 United States
This paper sets some context, raises issues, and provides our initial thinking on the characteristics of effective rapid prototyping techniques. After discussing the role rapid prototyping techniques can play in the s... 详细信息
来源: 评论
Heuristic Search for New Microcircuit Structures: An Application of Artificial Intelligence
收藏 引用
AI Magazine 1982年 第3期3卷
作者: Douglas B. Lenat William R. Sutherland James Gibbons Heuristic Programming Project Department of Computer Science Stanford University Sutherland Sproull & Associates Inc Stanford Electronics Laboratory Stanford University
Summary Eurisko is an AI program that learns by discovery We are applying Eurisko to the task of inventing new kinds of three-dimensional microelectronic devices that can then be fabricated using recently developed la...
来源: 评论