3535 search results - page 18 / 707 » Logic Program Specialisation |
120
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
129
Voted
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack pr...
106
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
109
click to vote
CLA
2007
15 years 3 months ago
2007
This paper presents SearchSleuth, a program developed to experiment with a form of automatic local analysis that extends the standard Web search interface to include a conceptual n...
120
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...