7978 search results - page 393 / 1596 » Combining shared-coin algorithms |
179
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
— The main contribution of this paper is a new SLAM algorithm for the mapping of large scale environments by combining local maps. The local maps can be generated by traditional ...
185
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
184
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
185
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Dynamic Backtracking (DBT) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT, variables are allowed to keep their assignment during backjump, if they a...
182
Voted
IJON
2000
15 years 6 months ago
2000
A general problem in model selection is to obtain the right parameters that make a model "t observed data. For a multilayer perceptron (MLP) trained with back-propagation (BP...