咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 86 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 semantics
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 9 篇 genetic programm...
  • 9 篇 formal logic
  • 9 篇 logic
  • 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

语言

  • 532 篇 英文
  • 13 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
546 条 记 录,以下是241-250 订阅
theoretical foundations of automated synthesis using Bond-Graphs and genetic programming
Theoretical foundations of automated synthesis using Bond-Gr...
收藏 引用
international conference on Emerging Technologies, ICET
作者: Saheeb Ahmed Kayani Department of Mechanical Engineering College of Electrical and Mechanical Engineering National University of Science and Technology Rawalpindi Pakistan
Automated synthesis refers to design of physical systems using any of the models proposed for machine intelligence like evolutionary computation, neural networks and fuzzy logic. Mechatronic systems are mixed or hybri... 详细信息
来源: 评论
Agile Web Development with Web Framework
Agile Web Development with Web Framework
收藏 引用
international conference on Wireless Communications, Networking and Mobile Computing (WiCom)
作者: Ran Hu Zhuo Wang Jun Hu Jianfeng Xu Jun Xie Nanchang University Nanchang Jiangxi CN
For meeting the requirement that Web application system can quickly go into service, quick response, and rapid adapt the change of Web application system, this paper proposes a new Web development method: Agile Web De... 详细信息
来源: 评论
Towards a Framework for Designing, Deploying and Executing Semantic Web Service-Based Process
Towards a Framework for Designing, Deploying and Executing S...
收藏 引用
international conference on Wireless Communications, Networking and Mobile Computing (WiCom)
作者: Hong-Hua Cao Shi Ying Hua Cui Yang Xiao State Key Lab of Software Engineering Wuhan University Wuhan China
Complex service-oriented enterprise application needs compose Web services to satisfy user specific requirements. Several approaches have been proposed to fulfill this need. However, those approaches and their runtime... 详细信息
来源: 评论
A Fuzzy Multi-criteria Evaluation Approach for R&D Project Selection
A Fuzzy Multi-criteria Evaluation Approach for R&D Project S...
收藏 引用
the 4th international conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)
作者: Changsheng Yi Yufu Ning Qiumei Jin Management School Hangzhou Dianzi University Hangzhou 310018 China Department of Computer Science Dezhou University Dezhou 253023 China Jining Center for Disease Control and Prevention Jining 272000 China
the research and development (R&D) project selection is concerned with how to evaluate and identify the best subset of projects under some resource constraints. this paper discusses a fuzzy multi-criteria evaluati... 详细信息
来源: 评论
Fuzzy logic programming via multilattices
收藏 引用
FUZZY SETS AND SYSTEMS 2007年 第6期158卷 674-688页
作者: Medina, Jesus Ojeda-Aciego, Manuel Ruiz-Calvino, Jorge Univ Malaga Dept Matemat Aplicada E-29071 Malaga Spain
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in orde... 详细信息
来源: 评论
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results
收藏 引用
FUZZY SETS AND SYSTEMS 2007年 第6期158卷 597-618页
作者: Esteva, Francesc Gispert, Joan Godo, Lluis Noguera, Carles CSIC Spanish Natl Res Council Artificial Intelligence Res Inst 3A Madrid Spain Univ Barcelona Dept Prob Log & Stat E-08007 Barcelona Spain
In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Godel and Product logics. Indeed, ... 详细信息
来源: 评论
On basic groups and basic semi-groups in partial multiple-valued logic
On basic groups and basic semi-groups in partial multiple-va...
收藏 引用
4th international conference on Fuzzy Systems and Knowledge Discovery
作者: Liu, Renren Xiangtan Univ Coll Informat Engn Xiangtan 411105 Peoples R China
In this paper, the decision problem of basic groups and basic semi-groups in partial multiple-valued logic is solved;meanwhile, it is proved that the precomplete classes which include non-trivial unary semi-group are ... 详细信息
来源: 评论
Data types of DFL programming language
Data types of DFL programming language
收藏 引用
4th international conference on Fuzzy Systems and Knowledge Discovery
作者: Zhao, Xiaofang Fan, Hui Liu, Xiaohua Shandong Inst Business & Technol Sch Informat & Elect Engn Yantai 264005 Peoples R China
the dynamic fuzzy logic (DFL) programming language can deal with dynamic fuzzy data that is the special difference from other programming languages. In order to implement DFL programming language, some suitable data t... 详细信息
来源: 评论
VERIFY 2007 - Proceedings of 4th international Verification Workshop, in Connection with CADE 2007
VERIFY 2007 - Proceedings of 4th International Verification ...
收藏 引用
4th international Verification Workshop, VERIFY 2007, Affiliated with the 21st conference on Automated Deduction, CADE 2007
the proceedings contain 14 papers. the topics discussed include: reflecting linear arithmetic: from dense linear orders to Presburger arithmetic;lightweight verification with dependent types;trends and challenges in s...
来源: 评论
A simulation based fuzzy goal programming model for cell formation
A simulation based fuzzy goal programming model for cell for...
收藏 引用
4th international conference on Fuzzy Systems and Knowledge Discovery
作者: Eski, Ozgur Ozkarahan, Irem Dokuz Eylul Univ Dept Ind Engn TR-35210 Alsancak Turkey Troy Univ Dept Comp Sci Troy NY 36082 USA
Cell formation decisions are made based on several factors such as machining times, utilization, workload, alternative routings, capacities, operation sequences. Most of the traditional Cell Formation procedures ignor... 详细信息
来源: 评论