3481 search results - page 542 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
148
Voted
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
149
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
127
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
194
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
103
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...