5164 search results - page 145 / 1033 » Consistency of the EKF-SLAM Algorithm |
136
click to vote
TKDE
2012
13 years 3 months ago
2012
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
123
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
We study domain filtering algorithms for open constraints, i.e., constraints that are not a priori defined on specific sets of variables. We present an efficient filtering algorith...
86
Voted
WDAG
2001
Springer
15 years 5 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we give a new algorithm to compute Liouvillian solutions of linear difference equations. Compared to the prior algorithm by Hendriks and Singer, our main contributi...
117
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...