13841 search results - page 353 / 2769 » Algorithms and Constraint Programming |
156
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this paper we describe an algorithm to compute cycle constraints that can be used in many graph-based SLAM algorithms; we exemplify it in Hierarchical SLAM. Our algo...
163
click to vote
IICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
165
Voted
ASIAN
1999
Springer
15 years 11 months ago
1999
Springer
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
185
click to vote
CPAIOR
2006
Springer
15 years 10 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...
177
click to vote
CINQ
2004
Springer
16 years 5 days ago
2004
Springer
Many researchers in our community (this author included) regularly emphasize the role constraints play in improving performance of data-mining algorithms. This emphasis has led to ...