Sciweavers

990 search results - page 147 / 198
» Sub-Graphs of Complete Graph
Sort
View
CVPR
2010
IEEE
14 years 4 months ago
A probabilistic image jigsaw puzzle solver
We explore the problem of reconstructing an image from a bag of square, non-overlapping image patches, the jigsaw puzzle problem. Completing jigsaw puzzles is challenging and requ...
Taeg Sang Cho, Shai Avidan, William Freeman
SOFSEM
2010
Springer
14 years 2 months ago
On a Labeled Vehicle Routing Problem
In this paper, we study the complexity and (in)approximability of the minimum label vehicle routing problem. Given a simple complete graph G = (V, E) containing a special vertex 0 ...
Hatem Chatti, Laurent Gourvès, Jér&o...
TASE
2009
IEEE
14 years 2 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
CONCUR
2009
Springer
14 years 2 months ago
Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Matthew Hague, C.-H. Luke Ong
MODELS
2009
Springer
14 years 2 months ago
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
Steffen Mazanek, Mark Minas