咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是2541-2550 订阅
排序:
the Service System Is the Basic Abstraction of Service Science
The Service System Is the Basic Abstraction of Service Scien...
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: Jim Spohrer Stephen L. Vargo Nathan Caswell Paul P. Maglio IBM Research USA University of Hawai USA
Abstraction is a powerful thing. During the 19th century, the industrial revolution was built on many powerful abstractions, such as mass, energy, work, and power. During the 20th century, the information revolution w... 详细信息
来源: 评论
A coupled schema of probabilistic atlas and statistical shape and appearance model for 3D prostate segmentation in MR images
A coupled schema of probabilistic atlas and statistical shap...
收藏 引用
IEEE international conference on Image Processing
作者: S. Ghose J. Mitra A. Oliver R. Martí X. Lladó J. Freixenet J. C. Vilanova D. Sidibé F. Meriaudeau Computer Vision and Robotics Group University of Girona Girona Spain Girona Magnetic Resonance Imaging Center Girona Spain Le2i-UMR CNRS 6306 Université de Bourgogne Le Creusot France
A hybrid framework of probabilistic atlas and statistical shape and appearance model (SSAM) is proposed to achieve 3D prostate segmentation. An initial 3D segmentation of the prostate is obtained by registering the pr... 详细信息
来源: 评论
Policy Synthesis for Factored MDPs with Graph Temporal logic Specifications  20
Policy Synthesis for Factored MDPs with Graph Temporal Logic...
收藏 引用
Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems
作者: Murat Cubuktepe Zhe Xu Ufuk Topcu The University of Texas At Austin Austin TX USA
We study the synthesis of policies for multi-agent systems to implement spatial-temporal tasks. We formalize the problem as a factored Markov decision process subject to so-called graph temporal logic specifications. ... 详细信息
来源: 评论
Multi-Agent Decision Support System incorporating fuzzy logic
Annual Conference of the North American Fuzzy Information Pr...
收藏 引用
Annual conference of the North American Fuzzy Information Processing Society - NAFIPS 2000年 246-250页
作者: Fazlollahi, Bijan Vahidov, Rustam Georgia State Univ Atlanta United States
Lately, rapid advances in intelligent agents and agent-based systems have been attracting the attention of academicians and practitioners. Intelligent agents have attractive properties including: autonomy;proactivenes... 详细信息
来源: 评论
Developing traditions of music notation and performance on the Web
Developing traditions of music notation and performance on t...
收藏 引用
international conference on Web Delivering of Music (WEDELMUSIC)
作者: J. Ingram Germany
High level symbolic music notations and performance practices are all related to particular cultural traditions. For example, Gregorian Chant, Elizabethan Lute music, 19th century Romantic, and 20th century Avant-Gard... 详细信息
来源: 评论
A Multi-objective Fuzzy programming Model for Coordinate Operations of a Supply Chain with Uncertain Demands
A Multi-objective Fuzzy Programming Model for Coordinate Ope...
收藏 引用
2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)
作者: Jia-wang Xu Yi Zhang Li-qiang Zhao College of Economics and Management Shenyang Aerospace University Shenyang Institute of Automation Chinese Academy of Sciences
the coordinate operating process of a supply chain is considered. the supply chain is consisting of a manufacturer, a supplier and several customers, the semi- finished products of the supplier are raw materials of th... 详细信息
来源: 评论
Location Selection of Coal Bunker Based on Particle Swarm Optimization Algorithm
Location Selection of Coal Bunker Based on Particle Swarm Op...
收藏 引用
2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)
作者: Qing-an CUI Jing-jing SHEN Department of Management Engineering Zhengzhou University
Center location selection of coal bunker is an important and practical problem in coal mine production. Because of the complex relationship between influence variables and optimization goal, it is frequently to reach ... 详细信息
来源: 评论
Hybrid PD-Fuzzy Position Controller for Linear Switched Reluctance Motor with Online Fuzzy logic Gain Scheduling of PD  19
Hybrid PD-Fuzzy Position Controller for Linear Switched Relu...
收藏 引用
19th international Middle East Power Systems conference (MEPCON)
作者: El-saady, Gaber Ibrahim, El-Noby A. Abuelhamd, M. Assiut Univ Elect Engn Dept Assiut Egypt
this paper presents the design of an adaptive hybrid controller for linear switched reluctance motor (LSRM) to be used in pick and place industrial applications. the hybrid controller consists of two main controllers,... 详细信息
来源: 评论
Predicting Hotel Performance in Oman with AI-Driven Predictive Analytic  19th
Predicting Hotel Performance in Oman with AI-Driven Predicti...
收藏 引用
19th international conference on Artificial Intelligence Applications and Innovations (AIAI)
作者: Al Jassim, R. S. Jetly, Karan Al Mansoory, Shqran Al-Balushi, Muna Al Maqbali, Hilal Univ Technol & Appl Sci Muscat Oman
the primary objective of this study is to assess the performance of hotels in Oman by developing an AI based model using a new approach that we refer to as Linear Genetic programming for Optimization Decision Tree (LG... 详细信息
来源: 评论
Pressure effects on transient plasma discharge in air
Pressure effects on transient plasma discharge in air
收藏 引用
international conference on Pulsed Power
作者: Y.-H. Lin D. Singleton J. Sanders A. Kuthi M. A. Gundersen Department of Physics University of Southern California USA Department of Electrical Engineering-Electrophysics University of Southern California Los Angeles CA USA Department of Physics Department of Electrical Engineering-Electrophysics University of Southern California Los Angeles CA USA
Nanosecond scale pulsed high voltage discharges in air/fuel mixtures can generate radicals which in turn have been shown to improve combustion efficiency in gasoline fueled internal combustion engines. We are explorin... 详细信息
来源: 评论