5170 search results - page 391 / 1034 » Consistency of the FastSLAM Algorithm |
185
click to vote
CAV
2007
Springer
16 years 29 days 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...
175
click to vote
CEAS
2007
Springer
16 years 29 days 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...
159
click to vote
CP
2007
Springer
16 years 29 days 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...
196
click to vote
PSIVT
2007
Springer
16 years 27 days 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...
180
click to vote
SGAI
2007
Springer
16 years 27 days 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...