咨询与建议

限定检索结果

文献类型

  • 358 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 257 篇 工学
    • 238 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 24 篇 控制科学与工程
    • 15 篇 电气工程
    • 11 篇 信息与通信工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 石油与天然气工程
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 生物医学工程(可授...
  • 53 篇 理学
    • 49 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学(可授理学、...
  • 22 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 4 篇 教育学
    • 4 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 4 篇 作物学
  • 2 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 75 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 programming
  • 18 篇 logic gates
  • 14 篇 inductive logic ...
  • 11 篇 logic
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 artificial intel...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 wireless sensor ...
  • 5 篇 abstracts

机构

  • 3 篇 univ potsdam pot...
  • 3 篇 univ calabria di...
  • 2 篇 brandeis univ wa...
  • 2 篇 simon fraser uni...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 katholieke univ ...
  • 2 篇 ku leuven depart...
  • 2 篇 department infor...
  • 2 篇 vienna technol u...
  • 2 篇 univ castilla la...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ aarhus daim...
  • 2 篇 at&t bell lab mu...
  • 2 篇 natl univ irelan...
  • 2 篇 natl inst inform...
  • 2 篇 univ castilla la...
  • 2 篇 univ nova lisboa...
  • 2 篇 australian natl ...
  • 2 篇 department of el...

作者

  • 5 篇 gebser martin
  • 5 篇 schaub torsten
  • 4 篇 inoue katsumi
  • 3 篇 nickles matthias
  • 3 篇 fink michael
  • 3 篇 schuller peter
  • 2 篇 mileo alessandra
  • 2 篇 mairson harry g.
  • 2 篇 goncalves ricard...
  • 2 篇 kung-kiu lau
  • 2 篇 soria jose
  • 2 篇 de raedt luc
  • 2 篇 boustia narhimen...
  • 2 篇 j.r. romero
  • 2 篇 a. vallecillo
  • 2 篇 woltran stefan
  • 2 篇 lifschitz vladim...
  • 2 篇 ferilli stefano
  • 2 篇 sighireanu mihae...
  • 2 篇 p. flener

语言

  • 363 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
368 条 记 录,以下是41-50 订阅
排序:
Robot based Challenges to Develop Disciplinary and Soft Competencies in Engineering Students  20
Robot based Challenges to Develop Disciplinary and Soft Comp...
收藏 引用
Proceedings of the 12th international conference on Education Technology and Computers
作者: Israel Zamora-Hernandez Miguel X. Rodriguez-Paz Jorge A. Gonzalez-Mendivil Tecnologico de Monterrey Tecnologico de Monterrey and WritingLab TecLabs Tecnologico de Monterrey Mexico Tecnologico de Monterrey Mexico
In this paper, we present the results on the developing of competencies in Engineering students during a week called “i-week” in our Educational Model in which students from different disciplines work together on a ... 详细信息
来源: 评论
WILLIAM: A Monolithic Approach to AGI  1
收藏 引用
12th international conference on Artificial General Intelligence (AGI)
作者: Franz, Arthur Gogulya, Victoria Loffler, Michael Odessa Competence Ctr Artificial Intelligence & M Odesa Ukraine
We present WILLIAM - an inductive programming system based on the theory of incremental compression. It builds representations by incrementally stacking autoencoders made up of trees of general Python functions, there... 详细信息
来源: 评论
12th international conference on Computability and Complexity in Analysis, CCA 2015 - Proceedings
12th International Conference on Computability and Complexit...
收藏 引用
12th international conference on Computability and Complexity in Analysis, CCA 2015
the proceedings contain 25 papers. the topics discussed include: on the uniform computational content of computability theory;computable analysis from an engineering perspective;real numbers in exact geometric computa...
来源: 评论
Data Mining Algorithms Parallelization in logic programming Framework for Execution in Cluster  19th
Data Mining Algorithms Parallelization in Logic Programming ...
收藏 引用
19th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems (NEW2AN) / 12th conference on the Internet of things and Smart Spaces ruSMART (Are You Smart)
作者: Malov, Aleksey Rodionov, Sergey Shorov, Andrey St Petersburg Electrotech Univ LETI St Petersburg Russia
this article describes an approach to parallelizing of data mining algorithms in logical programming framework, for distributed data processing in cluster. As an example Naive Bayes algorithm implementation in Prolog ... 详细信息
来源: 评论
A 90 nm Static CMOS Technology Gate-Level Integrated Circuit Layout Classification and Error Detection Using EfficientNet Model
A 90 nm Static CMOS Technology Gate-Level Integrated Circuit...
收藏 引用
international conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management (HNICEM)
作者: Lorena Ilagan Ronnie Concepcion Melvin Cabatuan Christian Raymund Roque University of Perpetual Help System DALTA Las Piñas City Philippines De La Salle University Manila Philippines Center for Applied Microelectronics and Programming Inc. Muntinlupa Philippines
Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of com... 详细信息
来源: 评论
Low-Latency CoAP Processing in FPGA for the Internet of things  12
Low-Latency CoAP Processing in FPGA for the Internet of Thin...
收藏 引用
IEEE Int Congr on Cybermat / 12th IEEE Int Conf on Cyber, Phys and Social Comp (CPSCom) / 15th IEEE Int Conf on Green Computing and Communications (GreenCom) / 12th IEEE Int Conf on Internet of things (ithings) / 5th IEEE Int Conf on Smart Data
作者: Brasilino, Lucas R. B. Swany, Martin Indiana Univ Sch Informat Comp & Engn Bloomington IN 47408 USA
A prominent characteristic of Internet of things is the seamless integration of diverse, heterogeneous technologies working together to empower cyber-physical spaces and experiences, effectively changing how we percei... 详细信息
来源: 评论
Comparative Study of Fuzzy Controller Optimization with Dynamic Parameter Adjustment Based on Type 1 and Type 2 Fuzzy logic
Comparative Study of Fuzzy Controller Optimization with Dyna...
收藏 引用
Joint World Congress of the international-Fuzzy-Systems-Assoc (IFSA) and the Annual conference of the North-American-Fuzzy-Information-Proc-Soc (NAFIPS) / 12th international Workshop on Constraint programming and Decision Making (CoProd)
作者: Lagunes, Marylu L. Castillo, Oscar Valdez, Fevrier Soria, Jose Tijuana Inst Technol Tijuana BC Mexico
this paper presents a comparison of fuzzy controller optimization results using dynamic parameter adjustment Type 1 (T1) and Interval Type 2 (T2) fuzzy logic to the Firefly Algorithm (FA). the FA is used for optimizat... 详细信息
来源: 评论
Nonvolatile Analog Switch
Nonvolatile Analog Switch
收藏 引用
international conference on Electronics, Computers and Artificial Intelligence (ECAI)
作者: Giorgiana-Catalina Ilie Chiranu Cristian Tudoran Otilia Neagoe Gheorghe Brezeanu Power Solutions Group ON Semiconductor University "Politehnica"of Bucharest Bucharest Romania Power Solutions Group ON Semiconductor Bucharest Romania
this paper describes an analog switch capable of retaining its state even when powered off. It is in fact a floating gate transistor whose floating gate charge is programmed through a memory cell by means of Fowler-No... 详细信息
来源: 评论
Type-2 Fuzzy logic Augmentation of the Imperialist Competitive Algorithm with Dynamic Parameter Adaptation
Type-2 Fuzzy Logic Augmentation of the Imperialist Competiti...
收藏 引用
Joint World Congress of the international-Fuzzy-Systems-Assoc (IFSA) and the Annual conference of the North-American-Fuzzy-Information-Proc-Soc (NAFIPS) / 12th international Workshop on Constraint programming and Decision Making (CoProd)
作者: Bernal, Emer Castillo, Oscar Soria, Jose Valdez, Fevrier Tijuana Inst Technol Tijuana BC Mexico
In this paper we propose the utilization of type-2 fuzzy systems for the dynamic adjustment of parameters in the imperialist competitive algorithm (ICA), a type-1 fuzzy system was used as a basis, with decades as the ... 详细信息
来源: 评论
Fault Tolerant Controller Using Interval Type-2 TSK logic Control Systems: Application to three Interconnected Conical Tank System
Fault Tolerant Controller Using Interval Type-2 TSK Logic Co...
收藏 引用
Joint World Congress of the international-Fuzzy-Systems-Assoc (IFSA) and the Annual conference of the North-American-Fuzzy-Information-Proc-Soc (NAFIPS) / 12th international Workshop on Constraint programming and Decision Making (CoProd)
作者: Patel, Himanshukumar R. Shah, Vipul Dharmsinh Desai Univ Nadiad 387001 Gujarat India
Type-2 fuzzy logic systems have recently been utilized in many control process due to their ability to model uncertainties. this paper proposes an inference mechanism for an interval type-2 Takagi-Sugeno-Kang fuzzy lo... 详细信息
来源: 评论