578 search results - page 58 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
131
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
147
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
125
click to vote
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we show that Ullman and Basri’s linear combination (LC) representation, which was originally proposed for alignment-based object recognition, can be used for outli...
131
click to vote
ECAIW
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
127
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...