Sciweavers

226 search results - page 11 / 46
» Dynamic Variable Ordering in CSPs
Sort
View
ICCAD
1999
IEEE
74views Hardware» more  ICCAD 1999»
14 years 1 months ago
Lazy group sifting for efficient symbolic state traversal of FSMs
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...
Hiroyuki Higuchi, Fabio Somenzi
TNN
2008
112views more  TNN 2008»
13 years 9 months ago
Multilayer Perceptrons: Approximation Order and Necessary Number of Hidden Units
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...
S. Trenn
CP
2003
Springer
14 years 2 months ago
Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
Carlos Eisenberg, Boi Faltings
ECAI
2004
Springer
14 years 2 months ago
Improving Asynchronous Backtracking for Dealing with Complex Local Problems
Distributed constraint satisfaction, in its most general acceptation, involves a collection of agents solving local constraint satisfaction subproblems, and a communication protoco...
Arnold Maestre, Christian Bessière
ECAI
2006
Springer
14 years 24 days ago
Asynchronous Forward-Bounding for Distributed Constraints Optimization
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...
Amir Gershman, Amnon Meisels, Roie Zivan