102 search results - page 19 / 21 » A Stochastic Local Search Approach to Vertex Cover |
LCTRTS
1999
Springer
13 years 11 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
AAAI
2006
13 years 8 months ago
2006
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
JAIR
2008
13 years 7 months ago
2008
Multi-agent planning in stochastic environments can be framed formally as a decentralized Markov decision problem. Many real-life distributed problems that arise in manufacturing,...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Active contours is a popular technique for image segmentation.
However, active contour tend to converge to the
closest local minimum of its energy function and often requires
a ...