Sciweavers

78 search results - page 7 / 16
» Local Search Algorithms for Partial MAXSAT
Sort
View
AAAI
2006
15 years 1 months ago
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
Jinbo Huang, Mark Chavira, Adnan Darwiche
ECAI
2006
Springer
15 years 3 months 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
100
Voted
FGR
2011
IEEE
201views Biometrics» more  FGR 2011»
14 years 3 months ago
Sparse shape registration for occluded facial feature localization
Abstract— This paper proposes a sparsity driven shape registration method for occluded facial feature localization. Most current shape registration methods search landmark locati...
Fei Yang, Junzhou Huang, Dimitris N. Metaxas
WSC
2008
15 years 2 months ago
The improved sweep metaheuristic for simulation optimization and application to job shop scheduling
We present an improved sweep metaheuristic for discrete event simulation optimization. The sweep algorithm is a tree search similar to beam search. The basic idea is to run a limi...
George Jiri Mejtsky
JSAT
2008
122views more  JSAT 2008»
14 years 12 months ago
SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
Sriyankar Acharyya