咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 3 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 24 篇 工学
    • 22 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 2 篇 信息与通信工程
    • 2 篇 生物工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
  • 8 篇 理学
    • 6 篇 数学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 3 篇 法学
    • 3 篇 社会学
  • 3 篇 管理学
    • 3 篇 图书情报与档案管...
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 3 篇 artificial intel...
  • 2 篇 three-dimensiona...
  • 2 篇 robot programmin...
  • 2 篇 inductive logic ...
  • 2 篇 semantics
  • 2 篇 computer program...
  • 2 篇 dynamic programm...
  • 2 篇 logics and meani...
  • 2 篇 point cloud comp...
  • 1 篇 internet of thin...
  • 1 篇 object oriented ...
  • 1 篇 surveys
  • 1 篇 programming prof...
  • 1 篇 runtime
  • 1 篇 internet of thin...
  • 1 篇 end-user develop...
  • 1 篇 information syst...
  • 1 篇 semantic segment...
  • 1 篇 empowerment
  • 1 篇 microarchitectur...

机构

  • 1 篇 universidade fed...
  • 1 篇 faculty of engin...
  • 1 篇 radboud univ nij...
  • 1 篇 nazarbayev unive...
  • 1 篇 cosenza
  • 1 篇 univ london impe...
  • 1 篇 department of co...
  • 1 篇 univ pisa pisa
  • 1 篇 university of ba...
  • 1 篇 software composi...
  • 1 篇 abteilung progra...
  • 1 篇 politecnico di m...
  • 1 篇 univ politecn va...
  • 1 篇 departamento de ...
  • 1 篇 departement of p...
  • 1 篇 national aerospa...
  • 1 篇 japan advanced i...
  • 1 篇 fraunhofer insti...
  • 1 篇 cnr isti pisa
  • 1 篇 miyazaki univ mi...

作者

  • 2 篇 cena federica
  • 2 篇 mattioli andrea
  • 2 篇 breve bernardo
  • 2 篇 esposito florian...
  • 2 篇 rizvi mehdi
  • 2 篇 balducci fabrizi...
  • 1 篇 koopman pieter
  • 1 篇 perin fabrizio
  • 1 篇 antonio cerone
  • 1 篇 hirschfeld rober...
  • 1 篇 guttmann walter
  • 1 篇 lisi francesca a...
  • 1 篇 h. fujita
  • 1 篇 durán f.
  • 1 篇 gentiane venture
  • 1 篇 kitzelmann emanu...
  • 1 篇 steffen ihlenfel...
  • 1 篇 qin jing
  • 1 篇 hernandez-orallo...
  • 1 篇 ferri c.

语言

  • 34 篇 英文
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Approaches and Applications of Inductive Programming"
34 条 记 录,以下是21-30 订阅
排序:
Incremental Learning in inductive programming
Incremental Learning in Inductive Programming
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Henderson, Robert Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming this, we introduce incremental learnin... 详细信息
来源: 评论
approaches and applications of inductive programming - Third international workshop, AAIP 2009, Revised Papers
Approaches and Applications of Inductive Programming - Third...
收藏 引用
3rd international workshop on approaches and applications of inductive programming, AAIP 2009
The proceedings contain 9 papers. The topics discussed include: deriving a relationship from a single example;synthesis of functions using generic programming;inductive programming: a survey of program synthesis techn...
来源: 评论
Generalisation Operators for Lists Embedded in a Metric Space
Generalisation Operators for Lists Embedded in a Metric Spac...
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Estruch, V. Ferri, C. Hernandez-Orallo, J. Ramirez-Quintana, M. J. Univ Politecn Valencia DSIC Valencia 46020 Spain
In some application areas, similarities and distances are used to calculate how similar two objects are in order to use these measurements to find related objects, to cluster a set of objects, to make classifications ... 详细信息
来源: 评论
Combining logic programming with description logics and machine learning for the semantic web
Combining logic programming with description logics and mach...
收藏 引用
3rd international workshop on applications of Logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on Logic programming, ICLP 2008
作者: Lisi, Francesca A. Esposito, Floriana Dipartimento di Informatica Università degli Studi di Bari Via E. Orabona 4 70125 Bari Italy
In this paper we consider an extension of Logic programming that tackles the SemanticWeb challenge of acquiring rules combined with ontologies. To face this bottleneck problem we propose a framework that resorts to th... 详细信息
来源: 评论
Answer set programming - A domain in need of explanation: A position paper
Answer set programming - A domain in need of explanation: A ...
收藏 引用
3rd international workshop on Explanation-Aware Computing, ExaCt 2008
作者: Brain, Martin De Vos, Marina Department of Computer Science University of Bath United Kingdom
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks i... 详细信息
来源: 评论
A linear goal programming priority method for fuzzy analytic hierarchy process and its applications in new product screening
收藏 引用
international JOURNAL OF APPROXIMATE REASONING 2008年 第2期49卷 451-465页
作者: Wang, Ying-Ming Chin, Kwai-Sang Fuzhou Univ Sch Publ Adm Fuzhou 350002 Peoples R China City Univ Hong Kong Dept Mfg Engn & Engn Management Kowloon Hong Kong Peoples R China
Fuzzy analytic hierarchy process (AHP) has been widely used for a variety of applications such as supplier selection, customer requirements assessment and the like. The vast majority of the applications, however, were... 详细信息
来源: 评论
Non-termination in unifying theories of programming
收藏 引用
8th international Seminar on Relational Methods in Computer Science, 3rd international workshop on applications of Kleene Algebra and workshop of COST Action 274: TARSKI
作者: Guttmann, Walter Abteilung Programmiermethodik und Compilerbau Universität Ulm 89069 Ulm Germany
Within the Unifying Theories of programming framework, program initiation and termination has been modelled by introducing a pair of variables in order to satisfy the required algebraic properties. We replace these va... 详细信息
来源: 评论
Polytypic programming in Maude
Polytypic programming in Maude
收藏 引用
The 3rd international workshop on Rewriting Logic and its applications
作者: Clavel, M. Durán, F. Martí-Oliet, N. Departamento de Filosofía Universidad de Navarra Spain ETSII Universidad de Málaga Spain Facultad de Matemáticas Universidad Complutense Madrid Spain
The idea of polytypic programming is to write programs that are defined by induction on the structure of user-defined datatypes. In this way, many functions with similar functionalities do not have to be written over ... 详细信息
来源: 评论
RTR model: An approach for dealing with real-time programming in open distributed systems
RTR model: An approach for dealing with real-time programmin...
收藏 引用
3rd international workshop on Object-Oriented Real-Time Dependable Systems
作者: Fraga, J Farines, JM Furtado, O Universidade Federal de Santa Catarina Florianopolis Brazil
This paper presents the RTR Model, which allows a flexible programming of real-time applications in open distributed systems. The RTR model approach is based on object-orientation and reflective computation. Using thi... 详细信息
来源: 评论
Safe and efficient elimination of infeasible execution paths in WCET estimation
Safe and efficient elimination of infeasible execution paths...
收藏 引用
IEEE international Conference on Embedded and Real-Time Computing Systems and applications (RTCSA)
作者: A.A. Kountouris IRISA Rennes France
Reasoning about the timing properties of a program is indispensable in the development of time critical systems where failure to meet deadlines can result in loss of life or material. To this end having tools to calcu... 详细信息
来源: 评论