1738 search results - page 252 / 348 » Local Consistency and SAT-Solvers |
150
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we present a novel near-duplicate document detection method that can easily be tuned for a particular domain. Our method represents each document as a real-valued s...
139
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Multiple-pursuer multiple-evader games raise fundamental and novel problems in control theory and robotics. In this paper, we propose a distributed solution to this problem that si...
156
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...
155
click to vote
CF
2004
ACM
15 years 9 months ago
2004
ACM
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
149
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...