咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 341 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 566 篇 工学
    • 422 篇 计算机科学与技术...
    • 299 篇 软件工程
    • 90 篇 控制科学与工程
    • 82 篇 信息与通信工程
    • 46 篇 电气工程
    • 33 篇 电子科学与技术(可...
    • 32 篇 机械工程
    • 29 篇 生物医学工程(可授...
    • 25 篇 安全科学与工程
    • 23 篇 生物工程
    • 21 篇 化学工程与技术
    • 20 篇 仪器科学与技术
    • 19 篇 材料科学与工程(可...
    • 19 篇 建筑学
    • 18 篇 土木工程
    • 14 篇 交通运输工程
  • 379 篇 理学
    • 266 篇 数学
    • 61 篇 统计学(可授理学、...
    • 50 篇 物理学
    • 49 篇 系统科学
    • 34 篇 生物学
    • 21 篇 化学
  • 153 篇 管理学
    • 116 篇 管理科学与工程(可...
    • 70 篇 工商管理
    • 40 篇 图书情报与档案管...
  • 31 篇 经济学
    • 31 篇 应用经济学
  • 26 篇 医学
    • 23 篇 临床医学
    • 22 篇 基础医学(可授医学...
  • 18 篇 教育学
    • 15 篇 教育学
  • 16 篇 法学
    • 15 篇 社会学
  • 12 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 22 篇 computer science
  • 18 篇 artificial intel...
  • 17 篇 monitoring
  • 16 篇 computational mo...
  • 14 篇 application soft...
  • 14 篇 semantics
  • 13 篇 data models
  • 12 篇 software
  • 11 篇 decision making
  • 11 篇 hardware
  • 11 篇 training
  • 10 篇 reliability
  • 10 篇 computer archite...
  • 10 篇 neural networks
  • 9 篇 support vector m...
  • 9 篇 optimization
  • 9 篇 logic programmin...
  • 9 篇 robot sensing sy...
  • 9 篇 students
  • 9 篇 accuracy

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 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 篇 department of ap...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 6 篇 department for m...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 34 篇 pal madhumangal
  • 19 篇 madhumangal pal
  • 18 篇 gancheva veska
  • 14 篇 veska gancheva
  • 14 篇 josef börcsök
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 mostafa abotaleb
  • 12 篇 ali hayek
  • 11 篇 gurkan tuna
  • 11 篇 mariana arghir
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 10 篇 fritzson peter
  • 9 篇 roy sankar kumar
  • 9 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 shyamal kumar mo...
  • 8 篇 kayhan gulez

语言

  • 947 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming Department"
968 条 记 录,以下是901-910 订阅
排序:
An algebra for Delay-Insensitive circuits  2nd
An algebra for Delay-Insensitive circuits
收藏 引用
2nd International Conference on computer-Aided Verification, CAV 1990
作者: Josephs, Mark B. Udding, Jan Tijmen Programming Research Group Oxford University Computing Laboratory 11 Keble Road OxfordOX1 3QD United Kingdom Department of Computer Science Washington University Campus Box 1045 St. LouisMO63130 United States
A novel process algebra is presented;algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-grap... 详细信息
来源: 评论
Formal specification of software systems using Two-Level Grammar  15
Formal specification of software systems using Two-Level Gra...
收藏 引用
15th Annual International computer Software and Applications Conference, CMPSAC 1991
作者: Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States
Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. ... 详细信息
来源: 评论
Improving tableau deductions in multiple-valued logics
Improving tableau deductions in multiple-valued logics
收藏 引用
International Symposium on Multiple-Valued Logic
作者: N.V. Murray E. Rosenthal Institute for Programming & Logics Department of Computer Science State University of New York Albany Albany NY USA Department of Mathematics University of New Haven West Haven CT USA
Path dissolution is an efficient generalization of the method of analytic tableaux. Both methods feature (in the propositional case) strong completeness, the lack of reliance upon conjunctive normal form (CNF), and th... 详细信息
来源: 评论
ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT
收藏 引用
NAVAL ENGINEERS JOURNAL 1991年 第3期103卷 204-211页
作者: KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr
A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several know... 详细信息
来源: 评论
UNNECESSARY INFERENCES IN ASSOCIATIVE-COMMUTATIVE COMPLETION PROCEDURES
收藏 引用
MATHEMATICAL SYSTEMS THEORY 1990年 第3期23卷 175-206页
作者: ZHANG, HT KAPUR, D 1. Department of Computer Science The University of Iowa 52242 Iowa City IA USA 2. Institute of Programming and Logics Department of Computer Science State University of New York at Albany 12222 Albany NY USA
Theoretical results for identifying unnecessary inferences are discussed in the context of the use of a completion-procedure-based approach toward automated reasoning. The notion of a general superposition is introduc... 详细信息
来源: 评论
Specification & verification of higher order processes  15th
Specification & verification of higher order processes
收藏 引用
15th Symposium on Mathematical Foundations of computer Science, MFCS 1990
作者: Hansen, Michael R. Chao-Chen, Zhou Department of Computer Science Technical University of Denmark LyngbyDK-2800 Denmark Programming Research Group Oxford University United Kingdom
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio... 详细信息
来源: 评论
A proof-theoretic approach to logic programming. I. Clauses as rules
收藏 引用
Journal of Logic and Computation 1990年 第2期1卷 261-283页
作者: Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universität Tubingen 7400 Tubingen FRG Germany University of Göteborg 412 96 Goteborg Sweden
In this paper definite Horn clause programs are investigated within a proof-theoretic framework;program clauses being considered rules of a formal system. Based on this approach, the soundness and completeness of SLD-... 详细信息
来源: 评论
A complete semantic back chaining proof system  10th
收藏 引用
10th International Conference on Automated Deduction, CADE 1990
作者: Nie, Xumin Plaisted, David A. Department of Computer Science University of North Carolina at Chapel Hill Chapel HillNC27599 United States Institute for Programming and Logics Deparment of Computer Science University of Albany State University of New York AlbanyNY12222 United States
We discuss a sequent style clause-based proof system that supports several important strategies in automatic theorem proving. The system has a goal-subgoal structure and supports back chaining with caching;it permits ... 详细信息
来源: 评论
APU: an automatic programmer for UNIX
APU: an automatic programmer for UNIX
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: M.T. Harandi S. Bhansali Knowledge Based Programming Assistant Group Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA
The authors present a paradigm for automating programming based on how humans program. The paradigm involves top-down decomposition of a given problem into smaller problems using, if possible, programming cliches and ... 详细信息
来源: 评论
Representation and execution support for reliable robot applications
Representation and execution support for reliable robot appl...
收藏 引用
Reliable Distributed Systems
作者: P.S. Gopinath D.M. Lyons S. Mehta Computer Architecture and Programming Systems Department North American Philips Corporation Briarcliff Manor NY USA Autonomous Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA
Robot applications, represented as plans, are used to outline a viewpoint that robustness needs to be emphasized in two areas: in the plan representation and in the underlying system software. Robot applications are i... 详细信息
来源: 评论