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...
详细信息
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 ...
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 of the applications of the twenty-first century. With the emergence of Big Data, data-related technologies are becoming more important. VLDB 2015 is a platform where several notable areas like Data Management, Data, Research, Big Data, Big Data Technologies and Information Systems are reviewed. The key terms of this proceedings include database system, inductive logic programming, concurrency control, parametric query optimization, multicores, elastic partitioning, distributed graph computing systems, phrase mining, SIMD instructions, temporal behavior prediction.
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...
详细信息
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) ...
详细信息
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...
ISBN:
(纸本)9781450317009
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 data;programming spatio-temporal data streaming applications with high-level specifications;towards ontological similarity for spatial hierarchies;probabilistic street-intersection reconstruction from GPS trajectories: approaches and challenges;and uncertainty handling in navigation services using rough and fuzzy set theory.
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...
详细信息
ISBN:
(纸本)9781450308915
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-dependent behavior without sacrificing modularity or adhering to a certain framework or library by enabling fine-grained adaptation of default behavior per control-flow. However, context information relevant for mobile applications is mostly defined by external events and sensor data rather than by code and control flow. To accommodate this, the JCop language provides a more declarative approach by pointcut-like adaptation rules. In this paper, we explain how we applied JCop to the development of Android applications for which we extended the language semantics for static contexts and modified the compiler. Additionally, we outline the successful implementation of a simple, proof-of-concept mobile application using our approach and report on promising early evaluation results.
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...
详细信息
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...
详细信息
ISBN:
(纸本)9783642119309
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 polymorphism of its algorithm, and 2) efficiency improvement in its filtration algorithm that removes redundancy in the search results.
inductiveprogramming (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...
详细信息
ISBN:
(纸本)9783642119309
inductiveprogramming (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, the (semi-)automatic construction of programs from exemplary behavior. inductive program synthesis is not a unified research field until today but scattered over several different established research fields such as machine learning, inductive logic programming, genetic programming, and functional programming. This impedes an exchange of theory and techniques and, as a consequence, a progress of inductiveprogramming. In this paper we survey theoretical results and methods of inductive program synthesis that have been developed in different research fields until today.
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...
详细信息
ISBN:
(纸本)9783642119309
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 examples. Generating complex algorithms from just a small number of simple input-output pairs is the goal of inductiveprogramming. This paper illustrates that our approach works well in some challenging examples.
暂无评论