5170 search results - page 391 / 1034 » Consistency of the FastSLAM Algorithm |
209
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
190
click to vote
CEAS
2007
Springer
16 years 1 months ago
2007
Springer
A new trend in email spam is the emergence of image spam. Although current anti-spam technologies are quite successful in filtering text-based spam emails, the new image spams ar...
175
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
224
click to vote
PSIVT
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider the grayscale template-matching problem, invariant to rotation, scale, translation, brightness and contrast, without previous operations that discard gra...
194
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...