咨询与建议

限定检索结果

文献类型

  • 492 篇 会议
  • 29 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 382 篇 工学
    • 347 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是371-380 订阅
排序:
A GIS application to enhance cell-based information modeling
收藏 引用
INFORMATION SCIENCES 2002年 第1-4期142卷 151-160页
作者: Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria
Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, ... 详细信息
来源: 评论
Low power design of embedded NOR type FLASH memory module (EFMM)
Low power design of embedded NOR type FLASH memory module (E...
收藏 引用
4th international conference on ASIC Proceedings
作者: Lee, Mike Myung-Ok Lee, Seung-Min Kim, Young-Min Kim, Young-Cheol Dept. of Info. and Commun. Eng. Dongshin University 252 Daeho-Dong Naju Chonnam 520-714 Korea Republic of
A Novel 40-nS High Speed(HS) and 30mA Low Power(LP) embedded FLASH memory modules(EFMM) such as 1M FLASH memory cell array, three(4v,5v, 9v) positive high voltage circuits and -7v negative high voltage circuit plus VH... 详细信息
来源: 评论
Minimization of Dynamic programming Algorithm by three-dimension Model Collison Test Fitting  2021
Minimization of Dynamic Programming Algorithm by Three-dimen...
收藏 引用
4th international conference on Data Science and Information Technology, DSIT 2021
作者: Yang, Zhongming Lu, Xiaohui Huang, Lilong Yu, Jun Yang, Jianhui Guangdong Polytechnic of Science and Technology China Jiaxing Vocational Technical College China South China University of Technology China
In the collision test of simulating object in reality in Unity 3D, the common method taken for non-convex model is convex decomposition. While there exist various kinds of de composition towards models of different fo... 详细信息
来源: 评论
An extension of dynamic logic for modelling OCL's @pre operator
An extension of dynamic logic for modelling OCL's @pre opera...
收藏 引用
4th international Andrei Ershov Memorial conference on "Perspectives of System Informatics", PSI 2001
作者: Baar, thomas Beckert, Bernhard Schmitt, Peter H. Fakultät für Informatik Institut für Logik Komplexität und Deduktionssysteme Universität Karlsruhe Am Fasanengarten 5 D-76128 Karlsruhe Germany
We consider first-order Dynamic logic (DL) with non-rigid functions, which can be used to model certain features of programming languages such as array variables and object attributes. We extend this logic by introduc... 详细信息
来源: 评论
Implementing global constraints with index-sets and constraint templates  4th
收藏 引用
4th international conference on Principles and Practice of Constraint programming (CP 98)
作者: Colombani, Y Dash Associates Leamington Spa CV32 5TH England
In order to improve the deductive power of ffinite domain constraint solvers usually redundant and global constraints are added to the constraint system. the objective of this work [2] is to develop a new constraint s... 详细信息
来源: 评论
On the Problem of Development of Methods and Algorithms Based on the Object-Oriented logic programming for Intelligent Video Monitoring of Laboratory Rats  4
On the Problem of Development of Methods and Algorithms Base...
收藏 引用
4th international conference on Information Technology and Nanotechnology - Session: Image Processing and Earth Remote Sensing, IPERS-ITNT 2018
作者: Morozov, A.A. Sushkova, O.S. Kotel'Nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya str. 11-7 Moscow125009 Russia
the problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. the main task of the video monitoring is the analysis of the behavior of the animals in cogn... 详细信息
来源: 评论
programming behaviour of a personal service robot with application to healthcare
收藏 引用
4th international conference on Social Robotics, ICSR 2012
作者: Datta, Chandan MacDonald, Bruce A. Jayawardena, Chandimal Kuo, I-Han Department of Electrical and Computer Engineering University of Auckland New Zealand Unitec Institute of Technology New Zealand
We propose an approach for developing applications on a personal healthcare service robot. We have developed a model of representing robot behaviour through a domain specific language (DSL) and enabling authoring thro... 详细信息
来源: 评论
4th international conference on Fundamental Approaches to Software Engineering, FASE 2001 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001
收藏 引用
4th international conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001
the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlo...
来源: 评论
Automated formal verification of PLC programs written in IL
Automated formal verification of PLC programs written in IL
收藏 引用
4th international Verification Workshop, VERIFY 2007, Affiliated with the 21st conference on Automated Deduction, CADE 2007
作者: Pavlovic, Olivera Pinger, Ralf Kollmann, Maik Siemens Transportation Systems Ackerstrasse 22 D-38126 Brunswick Germany Brunswick Technical University Institute of Information Systems Mühlenpfordtstrasse 23 D-38106 Brunswick Germany
Providing proof of correctness is of the utmost importance for safety-critical systems, many of which are based on Programmable logic Controllers (PLCs). One widely used programming language for PLCs is Instruction Li... 详细信息
来源: 评论
Verified Software: theories, Tools, Experiments  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rajeev Joshi Peter Müller Andreas Podelski
this volume contains the proceedings of the 4th international conference on Verified Software: theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. the 20 revised full papers p... 详细信息
来源: 评论