咨询与建议

限定检索结果

文献类型

  • 109 篇 会议
  • 25 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 87 篇 工学
    • 71 篇 计算机科学与技术...
    • 59 篇 软件工程
    • 17 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 8 篇 生物工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 机械工程
    • 4 篇 光学工程
    • 4 篇 建筑学
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 动力工程及工程热...
    • 2 篇 电气工程
    • 2 篇 电子科学与技术(可...
  • 54 篇 理学
    • 33 篇 数学
    • 10 篇 物理学
    • 10 篇 生物学
    • 6 篇 系统科学
    • 5 篇 统计学(可授理学、...
    • 3 篇 化学
  • 31 篇 管理学
    • 17 篇 图书情报与档案管...
    • 15 篇 管理科学与工程(可...
    • 9 篇 工商管理
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 5 篇 教育学
    • 5 篇 教育学
  • 2 篇 文学
  • 2 篇 农学
  • 1 篇 经济学

主题

  • 6 篇 artificial intel...
  • 5 篇 data mining
  • 4 篇 software enginee...
  • 4 篇 optimization
  • 4 篇 multi agent syst...
  • 3 篇 computer science
  • 3 篇 super-resolution
  • 3 篇 compressed sensi...
  • 3 篇 computer archite...
  • 3 篇 semantics
  • 3 篇 software
  • 2 篇 learning systems
  • 2 篇 information syst...
  • 2 篇 cesium
  • 2 篇 compressed
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 real time system...
  • 2 篇 data mining and ...
  • 2 篇 interference

机构

  • 3 篇 dept. of compute...
  • 3 篇 school of foreig...
  • 3 篇 dept. of linguis...
  • 3 篇 dept. of compute...
  • 3 篇 dept. of languag...
  • 3 篇 dept. mathematic...
  • 2 篇 dept. of languag...
  • 2 篇 dept. of signal ...
  • 2 篇 dept. of compute...
  • 2 篇 tissue engineeri...
  • 2 篇 dept. signal the...
  • 2 篇 programming and ...
  • 2 篇 biomedical engin...
  • 2 篇 national technic...
  • 2 篇 department of co...
  • 2 篇 department of fo...
  • 2 篇 dept. of electri...
  • 2 篇 dept. of enginee...
  • 2 篇 kharkiv national...
  • 2 篇 dept. of speech ...

作者

  • 7 篇 griol david
  • 6 篇 fritzson peter
  • 5 篇 callejas zoraida
  • 4 篇 leonard barolli
  • 4 篇 fatos xhafa
  • 3 篇 pablo padilla
  • 3 篇 hu hai
  • 3 篇 xhafa fatos
  • 3 篇 rafael molina
  • 3 篇 schötz susanne
  • 3 篇 wael saafin
  • 3 篇 rasras mohammad
  • 3 篇 miguel vega
  • 3 篇 marin iuliana
  • 3 篇 lópez-cózar ramó...
  • 3 篇 aggelos k. katsa...
  • 3 篇 wang rui
  • 2 篇 astigarraga aitz...
  • 2 篇 troels andreasen
  • 2 篇 radu serban

语言

  • 136 篇 英文
  • 2 篇 其他
  • 1 篇 日文
检索条件"机构=Dept. of Computer Science and Programming Languages"
139 条 记 录,以下是131-140 订阅
排序:
Concrete syntax for data objects in functional languages  88
Concrete syntax for data objects in functional languages
收藏 引用
1988 ACM Conference on LISP and Functional programming, LFP 1988
作者: Aasa, Annika Petersson, Kent Synek, Dan Programming Methodology Group Dept. of Computer Science Univ. of Göteborg and Chalmers GöteborgS-412 96 Sweden
Introduction: Many functional languages have a construction to define inductive data types [Hoa75] (also called general structured types [Pey87], structures [Lan64], datatypes [Mil84] and free algebras [GTWW77]). An i... 详细信息
来源: 评论
The Interpretation of Temporal Relations in Narrative  7
The Interpretation of Temporal Relations in Narrative
收藏 引用
7th National Conference on Artificial Intelligence, AAAI 1988
作者: Song, Fei Cohen, Robin Logic Programming and Artificial Intelligence Group Dept. of Computer Science Univ. of Waterloo WaterlooONN2L 3G1 Canada
This paper describes an algorithm for the interpretation of temporal relations between events mentioned in narrative (such as which event occurs before another). These relations are decided through three different lev...
来源: 评论
Industrial machine vision: lessons and challenges
收藏 引用
Optics News 1987年 第2期13卷 12-17页
作者: Steven W. Holland Robert B. Tilove STEVEN W. HOLLAND is an assistant department head in the Computer Science Dept. of General Motors Research Laboratories (GMR). He is responsible for research projects involving computer vision robotics mobile robotics process planning knowledge systems natural language advanced programming environments parallel processing and statistics. ROBERT B. TILOVE is senior staff research scientist and project leader of the machine perception project at GMR. His research interests include geometric modeling model-based programming and control of intelligent automation systems.
No abstract available.
来源: 评论
The psychology of programming  85
The psychology of programming
收藏 引用
Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
作者: Elliot Soloway Yale University Dept. of Computer Science Cognition and Programming Project P.O. Box 2158 Yale Station New Haven CT
No abstract available.
来源: 评论
Managed Software Evolution  1
收藏 引用
1000年
作者: Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (D... 详细信息
来源: 评论
Properties, Types and Meaning  1
收藏 引用
丛书名: Studies in Linguistics and Philosophy
1000年
作者: Gennaro Chierchia Barbara H. Partee Raymond Turner
This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com­ puter ... 详细信息
来源: 评论
Software Engineering Research and Applications  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Walter Dosch Roger Y. Lee Chisu Wu
It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Research, Management and Applications, held at the Omni Hotel, Los Angele... 详细信息
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henrik Bulskov Ronald R. Yager Henning Christiansen Henrik Legind Larsen
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were... 详细信息
来源: 评论
Foundations of Intelligent Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论