3804 search results - page 452 / 761 » From Here to There |
211
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
201
click to vote
CLOR
2006
15 years 10 months ago
2006
We describe an approach to object retrieval which searches for and localizes all the occurrences of an object in a video, given a query image of the object. The object is represent...
167
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Given a finite set of words w1, . . . , wn independently drawn according to a fixed unknown distribution law P called a stochastic language, an usual goal in Grammatical Inference ...
156
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...
213
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...