咨询与建议

限定检索结果

文献类型

  • 982 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 1,041 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 702 篇 工学
    • 583 篇 计算机科学与技术...
    • 365 篇 软件工程
    • 146 篇 电气工程
    • 57 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 191 篇 理学
    • 158 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 63 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 linear programmi...
  • 30 篇 probabilistic lo...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,015 篇 英文
  • 21 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1043 条 记 录,以下是791-800 订阅
排序:
Measuring QoS for Broadcasting Task in Vehicular Ad Hoc Networks based on Fuzzy logic Projection
Measuring QoS for Broadcasting Task in Vehicular Ad Hoc Netw...
收藏 引用
international conference on Microelectronics, ICM
作者: Abir Mchergui Tarek Moulahi Salem Nasri Ces. Lab Sfax university Tunisia FST of Sidi Bouzid Tunisia CoC Qassim University KSA Ces.Lab Sfax university Tunisia ENIM Monastir university Tunisia
Up today, there are very few methods providing quality of service (QoS) definition, yet more, no standard allowing its measurement. Since it is almost a subjective concept, many researchers tried to look for QoS proje... 详细信息
来源: 评论
Iterative Wirability and Performance Improvement for FPGAs
Iterative Wirability and Performance Improvement for FPGAs
收藏 引用
Design Automation conference
作者: Sudip K. Nag K. Roy Department of Electrical Engineering Carnegie Mellon University Pittsburgh PA USA Integrated Systems Labotatory Texas Instruments Inc. Dallas TX USA
In FPGAs, routing resources are fixed and their usage is constrained by the location of antifuses. this severely limits the ability to make accurate wirability and timing predictions at the placement level. there is a... 详细信息
来源: 评论
Fuzzy logic Based Algorithm for Electrical Load Management in Touring Buses
Fuzzy Logic Based Algorithm for Electrical Load Management i...
收藏 引用
international conference on Systems, Signals and Image Processing, IWSSIP
作者: Boris Butevski Vesna Ojleska Latkoska Dushko Stavrov Faculty of Electrical Engineering and Information Technologies “Ss. Cyril and Methodius” University in Skopje Skopje Republic of North Macedonia
this paper presents a fuzzy logic (FL) approach for electrical load management in touring buses. the backwards simulation modeling technique is utilized, based on the VECTO drive cycle to obtain the powertrain model. ...
来源: 评论
Optimization and Resynthesis of Complex Data-Paths
Optimization and Resynthesis of Complex Data-Paths
收藏 引用
Design Automation conference
作者: H. Eveking S. Horeth Johann Wolfgang Goethe-University Frankfurt am Main Frankfurt Germany
the problem of the optimization of complex data-paths relative to a repertoire of specified operations is discussed. Data-paths can be simplified if interconnections are functionally redundant. Redundancy is detected ... 详细信息
来源: 评论
Recognition of partial discharge using fuzzy logic
Recognition of partial discharge using fuzzy logic
收藏 引用
international Symposium on Electrical Insulating Materials
作者: B.T. Phung T.R. Blackburn R.E. James School of Electrical Engineering University of New South Wales Sydney Australia
A computer-based system is used for measurement of partial discharges (PD) and a modular fuzzy logic (MFL) system has been developed whereby a separate FL engine was constructed for recognition of each type of PD faul... 详细信息
来源: 评论
Enhancing an event-based OO framework for distributed programming  30
Enhancing an event-based OO framework for distributed progra...
收藏 引用
30th international conference on Technology of Object-Oriented Languages and Systems, TOOLS 1999
作者: Silverajan, Bilhanan Harju, Jarmo Dept. of Information Technology Tampere University of Technology P.O. Box 553 TampereFIN-33101 Finland
this paper discusses an asynchronous event-based object-oriented framework, OVOPS, employing the usage of design patterns to incorporate and interwork with a CORBA enabled environment. Distributed programming is const... 详细信息
来源: 评论
A new method based on dynamic programming for boundary detection in ultrasound image sequences
A new method based on dynamic programming for boundary detec...
收藏 引用
Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
作者: Peter Holdfeldt Mats Viberg Tomas Gustavsson Department of Signals and Systems Chalmers University of Technology Sweden
Dynamic programming has previously been used when measuring Lumen Diameter (LD) and Intima-Media thickness (IMT) in single frame ultrasound carotid artery images [1]. An extension to multiframe detection of that proce...
来源: 评论
SpyWare
SpyWare
收藏 引用
international conference on Software Engineering (ICSE)
作者: Romain Robbes Michele Lanza REVEAL @ Faculty of Informatics University of Lugano Switzerland
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named SpyWare which, using a monitoring plug-i... 详细信息
来源: 评论
Human operator trust in autonomic functionalities  12
Human operator trust in autonomic functionalities
收藏 引用
30th European conference on Cognitive Ergonomics, ECCE 2012
作者: Liinasuo, Marja Karvonen, Hannu Aaltonen, Iina Fuentes, Beatriz Castro, Alfonso VTT Technical Research Centre of Finland Vuorimiehentie 3 Espoo 02044 VTT Finland Telefónica I+D l Ronda de la Comunicación s/n 28050 Madrid Spain
Motivation - To shed light on the conceptions of human network operators about autonomic functionalities and the determinants of trust regarding future autonomic networks. Research approach - An interview study with 3... 详细信息
来源: 评论
Evaluation of microstructural complex geometry of robot laser hardened materials through a genetic programming model  30th
Evaluation of microstructural complex geometry of robot lase...
收藏 引用
30th international conference on Flexible Automation and Intelligent Manufacturing (FAIM)
作者: Babic, M. Lesiuk, G. Marinkovic, D. Cali, M. Fac Informat Studies Novo Mesto Slovenia Wroclaw Univ Sci & Technol Dept Mech Mat Sci & Biomed Engn Wroclaw Poland Tech Univ Berlin Inst Mech Berlin Germany Univ Catania Dept Elect Elect & Comp Engn Viale A Doris 6 I-95125 Catania Italy
Surface-hardening process of steel materials by robot laser technologies can involve the challenge of modeling the determining process parameters through non-conventional tools in order to evaluate the quality of the ... 详细信息
来源: 评论