咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 three-dimensiona...
  • 2 篇 robot programmin...
  • 2 篇 inductive logic ...
  • 2 篇 semantics
  • 2 篇 computer program...
  • 2 篇 dynamic programm...
  • 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 篇 semantic segment...
  • 1 篇 empowerment
  • 1 篇 microarchitectur...
  • 1 篇 welding
  • 1 篇 operating system...
  • 1 篇 inductive progra...

机构

  • 1 篇 universidade fed...
  • 1 篇 faculty of engin...
  • 1 篇 radboud univ nij...
  • 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...
  • 1 篇 univ bari a moro...

作者

  • 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 篇 hirschfeld rober...
  • 1 篇 guttmann walter
  • 1 篇 lisi francesca a...
  • 1 篇 h. fujita
  • 1 篇 durán f.
  • 1 篇 kitzelmann emanu...
  • 1 篇 steffen ihlenfel...
  • 1 篇 qin jing
  • 1 篇 hernandez-orallo...
  • 1 篇 ferri c.
  • 1 篇 de carolis berar...
  • 1 篇 mikkel baun kjær...

语言

  • 31 篇 英文
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Approaches and Applications of Inductive Programming"
31 条 记 录,以下是11-20 订阅
排序:
QuickFOIL: Scalable inductive logic programming
QuickFOIL: Scalable inductive logic programming
收藏 引用
3rd workshop on Spatio-Temporal Database Management, STDBM 2006, Co-located with the 32nd international Conference on Very Large Data Bases, VLDB 2006
作者: Zeng, Qiang Patel, Jignesh M. Page, David University of Wisconsin-Madison United States
learning technique that learns first-order rules from relationalstructured data. However, to-date most ILP systems can only be applied to small datasets (tens of thousands of examples). A long-standing challenge in th... 详细信息
来源: 评论
Proceedings of the 41st international Conference on Very Large Data Bases, VLDB 2015
Proceedings of the 41st International Conference on Very Lar...
收藏 引用
3rd workshop on Spatio-Temporal Database Management, STDBM 2006, Co-located with the 32nd international Conference on Very Large Data Bases, VLDB 2006
This proceedings contains 12 papers. The conference covers current issues in data management, database, and information systems research. Data management and databases remain among the main technological cornerstones ...
来源: 评论
Distribution of graph-distances in Boltzmann ensembles of RNA secondary structures
Distribution of graph-distances in Boltzmann ensembles of RN...
收藏 引用
13th workshop on Algorithms in Bioinformatics, WABI 2013
作者: Backofen, Rolf Fricke, Markus Marz, Manja Qin, Jing Stadler, Peter F. Department of Computer Science University of Freiburg Georges-Koehler-Allee 106 79110 Freiburg Germany Albert-Ludwigs-Universität Freiburg Germany Bioinformatics/High Throughput Analysis Faculty of Mathematics und Computer Science Friedrich-Schiller-University Jena Leutragraben 1 07743 Jena Germany Max Planck Institute for Mathematics in the Sciences Inselstraße 22 04103 Leipzig Germany Department of Computer Science Interdisciplinary Center for Bioinformatics University of Leipzig Härtelstrasse 16-18 04107 Leipzig Germany Fraunhofer Institut for Cell Therapy and Immunology Perlickstraße 1 04103 Leipzig Germany Institute for Theoretical Chemistry University of Vienna Währingerstrasse 17 1090 Vienna Austria Santa Fe Institute 1399 Hyde Park Rd. Santa Fe NM 87501 United States
Large RNA molecules often carry multiple functional domains whose spatial arrangement is an important determinant of their function. Pre-mRNA splicing, furthermore, relies on the spatial proximity of the splice juncti... 详细信息
来源: 评论
Efficient inductive power transfer for biomedical applications
Efficient inductive power transfer for biomedical applicatio...
收藏 引用
2012 3rd IEEE international workshop on Electromagnetics: applications and Student Innovation Competition, iWEM 2012
作者: Guo, Yong-Xin Jegadeesan, Rangarajan Department of Electrical and Computer Engineering National University of Singapore E4-05-45 4 Engineering Drive 3 Singapore- 117576 Singapore
Wireless Power Transfer (WPT) using inductive coupling is an essential method to power biomedical implants as it provides a hassle-free alternative to batteries and dangling wires. The Power Transfer Efficiency (PTE) ... 详细信息
来源: 评论
Proceedings of the 3rd ACM SIGSPATIAL international workshop on Querying and Mining Uncertain Spatio-Temporal Data, QUeST 2012
Proceedings of the 3rd ACM SIGSPATIAL International Workshop...
收藏 引用
3rd ACM SIGSPATIAL international workshop on Querying and Mining Uncertain Spatio-Temporal Data, QUeST 2012
The proceedings contain 6 papers. The topics discussed include: a privacy-aware location cloaking technique reducing bandwidth consumption in location-based services;temporal data mining of uncertain water reservoir d...
来源: 评论
Context-oriented programming for mobile devices: JCop on android
Context-oriented programming for mobile devices: JCop on and...
收藏 引用
3rd international workshop on Context-Oriented programming, COP'11 - Co-located with the 25th European Conference on Object-Oriented programming, ECOOP 2011
作者: Schuster, Christopher Appeltauer, Malte Hirschfeld, Robert Department of Computer Science University of California Davis United States Software Architecture Group Hasso-Plattner-Institut Germany
The behavior of mobile applications is particularly affected by their execution context, such as location and state a the mobile device. Among other approaches, context-oriented programming can help to achieve context... 详细信息
来源: 评论
Talents: Dynamically composable units of reuse  11
Talents: Dynamically composable units of reuse
收藏 引用
3rd international workshop on Smalltalk Technologies 2011, IWST'11
作者: Ressia, Jorge Gîrba, Tudor Nierstrasz, Oscar Perin, Fabrizio Renggli, Lukas Software Composition Group University of Bern Switzerland
Reuse in object-oriented languages typically focuses on inheritance. Numerous techniques have been developed to provide finer-grained reuse of methods, such as flavors, mixins and traits. These techniques, however, on... 详细信息
来源: 评论
Recent Improvements of MagicHaskeller
Recent Improvements of MagicHaskeller
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Katayama, Susumu Miyazaki Univ Miyazaki 8892155 Japan
MagicHaskeller is our inductive functional programming library based on systematic search. In this paper we introduce two recent improvements to MagicHaskeller, i.e. 1) clarification and extension to arbitrary-rank po... 详细信息
来源: 评论
inductive programming: A Survey of Program Synthesis Techniques
Inductive Programming: A Survey of Program Synthesis Techniq...
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Kitzelmann, Emanuel Univ Bamberg Cognit Syst Grp Bamberg Germany
inductive programming (IP)-the use of inductive reasoning methods for programming, algorithm design, and software development is a currently emerging research field. A major subfield is inductive program synthesis, th... 详细信息
来源: 评论
Synthesis of Functions Using Generic programming
Synthesis of Functions Using Generic Programming
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Koopman, Pieter Plasmeijer, Rinus Radboud Univ Nijmegen Nijmegen Inst Comp & Informat Sci Nijmegen Netherlands
This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or A-terms obeying an input output behavior specified by a number of ex... 详细信息
来源: 评论