2462 search results - page 400 / 493 » Consistent cooperative localization |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
SIGIR
2010
ACM
15 years 1 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...
76
Voted
HYBRID
2007
Springer
15 years 1 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...
ACSC
2004
IEEE
15 years 1 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...
ATAL
2006
Springer
15 years 1 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...