咨询与建议

限定检索结果

文献类型

  • 148 篇 会议
  • 88 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 162 篇 工学
    • 123 篇 计算机科学与技术...
    • 83 篇 软件工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 14 篇 生物医学工程(可授...
    • 12 篇 电气工程
    • 11 篇 生物工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 化学工程与技术
    • 7 篇 机械工程
    • 6 篇 土木工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 网络空间安全
    • 4 篇 动力工程及工程热...
  • 108 篇 理学
    • 71 篇 数学
    • 19 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 16 篇 生物学
    • 10 篇 物理学
    • 7 篇 化学
  • 37 篇 管理学
    • 27 篇 管理科学与工程(可...
    • 18 篇 工商管理
    • 11 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
    • 5 篇 公共卫生与预防医...
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 6 篇 法学
    • 6 篇 社会学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学

主题

  • 8 篇 artificial intel...
  • 5 篇 support vector m...
  • 4 篇 computer science
  • 4 篇 reliability
  • 4 篇 neural networks
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 artificial neura...
  • 3 篇 grey wolf optimi...
  • 3 篇 computer archite...
  • 3 篇 computational in...
  • 3 篇 optimization
  • 3 篇 decision trees
  • 3 篇 middleware
  • 3 篇 functional progr...
  • 2 篇 covid-19
  • 2 篇 fuzzy sets
  • 2 篇 fuzzy logic
  • 2 篇 intrusion detect...

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 department of ap...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 rwth aachen univ...
  • 3 篇 programming meth...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 abotaleb mostafa
  • 6 篇 doaa sami khafag...
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 de meuter wolfga...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 el-sayed m. el-k...
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 van cutsem tom
  • 4 篇 anita pal
  • 4 篇 el-kenawy el-say...
  • 4 篇 d'hondt theo
  • 4 篇 madhumangal pal

语言

  • 234 篇 英文
  • 6 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Technology and Computer Programming"
241 条 记 录,以下是211-220 订阅
Real space process algebra
收藏 引用
Formal Aspects of Computing 1993年 第6期5卷 481-529页
作者: Baeten, J.C.M. Bergstra, J.A. Department of Computer Science Eindhoven University of Technology MB Eindhoven 5600 P.O. Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands
The real time process algebra of Baeten and Bergstra [Formal Aspects of Computing, 3, 142-188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to t... 详细信息
来源: 评论
Towards automatic evaluation of drawing analysis performance-A statistical model of cadastral map
Towards automatic evaluation of drawing analysis performance...
收藏 引用
International Conference on Document Analysis and Recognition
作者: D. Madej A. Sokolowski Department of Computer Technology and Programming Bilkent University Ankara Turkey IFTR Polish Academy of Sciences Poland Academy of Economics krakow Poland and Department of Economics Bilkent University Ankara Turkey
Automatic evaluation of drawing-to-CAD conversion performance is addressed. The generating model of artificial images in the domain of cadastral maps was built. The proposed model was close to the authentic drawings o... 详细信息
来源: 评论
Yet another efficient backward execution algorithm in the AND/OR process model
收藏 引用
Information Processing Letters 1992年 第3期43卷 165-165页
作者: Do-Hyung Kim Kwang-Moo Choe Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Gu Taejon 305-701 South Korea
来源: 评论
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
收藏 引用
INFORMATION PROCESSING LETTERS 1991年 第4期40卷 201-211页
作者: KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio... 详细信息
来源: 评论
Normalising the associative law: An experiment with Martin-Löf's type theory
收藏 引用
Formal Aspects of Computing 1991年 第3期3卷 218-252页
作者: Hedberg, Michael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology Göteborg S-412 96 Sweden
Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it ma... 详细信息
来源: 评论
Using types as search keys in function libraries
收藏 引用
Journal of Functional programming 1991年 第1期1卷 71-89页
作者: Rittri, Mikael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Goteborg S-412 96 Göteborg Sweden
A method is proposed to search for an identifier in a functional program library by using its Hindley-Milner type as a key. This can be seen as an approximation of using the specification as a key. Functions that only...
来源: 评论
A proof-theoretic approach to logic programming: II. Programs as definitions
收藏 引用
Journal of Logic and Computation 1991年 第5期1卷 635-660页
作者: Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universitä Tübingen 7400 Tübingen Germany University Göteborg 412 96 Göteborg Sweden
We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semant...
来源: 评论
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... 详细信息
来源: 评论
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 refinement calculus for specifications in Hennessy-Milner logic with recursion
收藏 引用
Formal Aspects of Computing 1989年 第1期1卷 242-272页
作者: Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology Göteborg S-412 96 Sweden
This paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or ... 详细信息
来源: 评论