咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 161 篇 工学
    • 122 篇 计算机科学与技术...
    • 83 篇 软件工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 14 篇 生物医学工程(可授...
    • 12 篇 电气工程
    • 11 篇 生物工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 化学工程与技术
    • 7 篇 机械工程
    • 6 篇 土木工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 网络空间安全
    • 4 篇 动力工程及工程热...
  • 107 篇 理学
    • 71 篇 数学
    • 19 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 16 篇 生物学
    • 10 篇 物理学
    • 6 篇 化学
  • 37 篇 管理学
    • 27 篇 管理科学与工程(可...
    • 17 篇 工商管理
    • 11 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
    • 5 篇 公共卫生与预防医...
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 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 logic
  • 2 篇 intrusion detect...
  • 2 篇 software systems

机构

  • 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
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 de meuter wolfga...
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 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
  • 3 篇 sarkar biswajit

语言

  • 232 篇 英文
  • 5 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer Technology and Programming"
238 条 记 录,以下是201-210 订阅
排序:
FAMILIES OF SOLUTIONS OF NONLINEAR PSEUDO-BOOLEAN RELATIONS
收藏 引用
INTERNATIONAL JOURNAL OF computer MATHEMATICS 1994年 第3-4期54卷 175-184页
作者: SYNEFAKI, AI [a]Faculty of Technology-General Department University of Thessaloniki Faculty of Technology Div. Computational Methods and Computer Programming Thessaloniki 540 06 Greece Fax: [b]University of Macedonia Thessaloniki
In this paper we develop an algorithm in order to solve pseudo-Boolean nonlinear equations and inequalities. The solutions to these problems are given in the form of set families. The objective of the proposed algorit... 详细信息
来源: 评论
AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR
收藏 引用
INFORMATION PROCESSING LETTERS 1994年 第2期49卷 63-71页
作者: JUNG, MS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusong-Gu Taejon 305-701 South Korea
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right co... 详细信息
来源: 评论
On sequential composition, action prefixes and process prefix
收藏 引用
Formal Aspects of Computing 1994年 第3期6卷 250-268页
作者: Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands
We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework exte... 详细信息
来源: 评论
Seven more myths of formal methods: Dispelling industrial prejudices  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori... 详细信息
来源: 评论
STATIC FILTERING ON STRATIFIED PROGRAMS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第5期47卷 237-244页
作者: CHANG, BM CHOE, KM HAN, TS Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-dong Yusung-ku Taejon 305-701 South Korea
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static ... 详细信息
来源: 评论
SYNTACTIC ERROR REPAIR USING REPAIR PATTERNS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第4期47卷 189-196页
作者: YUN, IS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Cu Taejon 305-701 South Korea
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w... 详细信息
来源: 评论
Nested mixin-methods in Agora  7th
收藏 引用
7th European Conference on Object-Oriented programming, ECOOP 1993
作者: Steyaert, Patrick Codenie, Wim D’Hondt, Theo De Hondt, Koen Lucas, Carine Van Limberghen, Marc Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pieinlaan 2 BrusselsB-1050 Belgium
Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modification model of inheritance. This paper ... 详细信息
来源: 评论
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
来源: 评论