咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,372 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是1261-1270 订阅
排序:
IGIP: a framework towards open-ended visual programming
IGIP: a framework towards open-ended visual programming
收藏 引用
IEEE Symposium on Visual Languages
作者: F. Van Reeth E. Flerackers T. D'Hondt Lab. for Appl. Comput. Sci. Limburgs Univ. Centre Diepenbeck Belgium Laboratory for Applied Computer Science Limburg University Center Diepenbeek Belgium Programming Technology Laboratory Free University of Brussels Brussels Belgium
Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, ... 详细信息
来源: 评论
Distributed computer System for Adaptive Control of LD Convertor Steel Making
收藏 引用
IFAC Proceedings Volumes 1988年 第19期21卷 299-302页
作者: A.N. Georgieva P.A. Bayrov I.N. Ivanchev M.S. Gerasimova S.R. Simeonov Department of Programming and Computer Systems Application Higher Institute of Chem. Technology 1156 Sofia Bulgaria Department of Black Metallurgy Higher Institute of Chem Technology 1156 Sofia Bulgaria
An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Sq... 详细信息
来源: 评论
Paraconsistent logic programming  7th
收藏 引用
7th Conference on Foundations of Software Technology and Theoretical computer Science, FST and TCS 1987
作者: Blair, Howard A. Subrahmanian, V.S. Logic Programming Theory Group School of Computer & Information Science Syracuse University 313 Link Hall SyracuseNY13244 United States
This paper makes two contributions. Firstly, we give a semantics for sets of clauses of the form L0 ⇐ L1&.. &Ln where each Li is a literal. We call such clauses generally-Horn clauses. Any such endeavour has t... 详细信息
来源: 评论
Modelling human expertise in knowledge engineering: some preliminary observations
收藏 引用
International Journal of Man-Machine Studies 1987年 第1期26卷 81-92页
作者: Littman, David C. Cognition and Programming Project Department of Computer Science Yale University New Haven Connecticut 06520 United States
This paper reports the results of an empirical analysis of the knowledge engineering behavior of six persons with extensive experience in artificial intelligence (AI). The six persons were given the task of designing ...
来源: 评论
Projections for strictness analysis  3rd
收藏 引用
3rd International Conference on Functional programming Languages and computer Architecture, 1987
作者: Wadler, Philip Hughes, R.J.M. Programming Research Group Oxford University United Kingdom Programming Methodology Group Chalmers University Göteborg Sweden Department of Computer Science University of Glasgow United Kingdom
Contexts have been proposed as a means of performing strictness analysis on non-flat domains. Roughly speaking, a context describes how much a sub-expression will be evaluated by the surrounding program. This paper sh... 详细信息
来源: 评论
Inverse image analysis  14th
Inverse image analysis
收藏 引用
14th International Colloquium on Automata, Languages, and programming, ALP 1987
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which ... 详细信息
来源: 评论
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.
来源: 评论
Alternatives to construct-based programming misconceptions  86
Alternatives to construct-based programming misconceptions
收藏 引用
1986 SIGCHI Conference on Human Factors in Computing Systems, CHI 1986
作者: Spohrer, James C. Soloway, Elliot Department of Computer Science Cognition and Programming Project Yale University New HavenCT06520 United States
In this paper, we investigate whether or not most novice programming bugs arise because students have misconceptions about the semantics of particular language constructs. Three high frequency bugs are examined in det... 详细信息
来源: 评论
An Analysis of Tutorial Reasoning About programming Bugs  5
An Analysis of Tutorial Reasoning About Programming Bugs
收藏 引用
5th National Conference on Artificial Intelligence, AAAI 1986
作者: Littman, David C. Pinto, Jeannine Soloway, Elliot Cognition and Programming Project Department of Computer Science Yale University New HavenCT06620 United States
A significant portion of tutorial interactions revolve around the bugs a student makes. When a tutor performs an intervention to help a student fix a programming bug, the problem of deciding which intervention to perf... 详细信息
来源: 评论
New directions in logic programming  86
New directions in logic programming
收藏 引用
1986 ACM 14th Annual Conference on computer Science, CSC 1986
作者: Bowen, Kenneth A. Logic Programming Research Group School of Computer and Information Science Syracuse University Syracuse NY13210 United States
Prolog has established itself as a highly successful example of the logic programming paradigm. Today there are a number of vigorous research streams exploring methods of extending the capabilities and capacities achi... 详细信息
来源: 评论