7167 search results - page 439 / 1434 » Answer Set Programming |
118
click to vote
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
151
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
107
click to vote
ACIVS
2008
Springer
15 years 5 months ago
2008
Springer
Several image mosaicing algorithms claiming to advance the state of the art have been proposed so far. Though sometimes improvements can be recognised without quantitative evidence...
112
click to vote
COLT
2008
Springer
15 years 5 months ago
2008
Springer
We present a modification of the algorithm of Dani et al. [8] for the online linear optimization problem in the bandit setting, which with high probability has regret at most O ( ...
158
click to vote
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
The ability to accurately judge the similarity between natural language sentences is critical to the performance of several applications such as text mining, question answering, an...