Sciweavers

CVPR
2012
IEEE
12 years 1 months ago
The Shape Boltzmann Machine: A strong model of object shape
A good model of object shape is essential in applications such as segmentation, object detection, inpainting and graphics. For example, when performing segmentation, local constra...
S. M. Ali Eslami, Nicolas Heess, John M. Winn
CVPR
2012
IEEE
12 years 1 months ago
Linear solution to scale invariant global figure ground separation
We propose a novel linear method for scale invariant figure ground separation in images and videos. Figure ground separation is treated as a superpixel labeling problem. We optim...
Hao Jiang
CONSTRAINTS
2010
153views more  CONSTRAINTS 2010»
13 years 8 months ago
Philosophy of the MiniZinc challenge
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
Peter J. Stuckey, Ralph Becket, Julien Fischer
IJCV
2010
131views more  IJCV 2010»
13 years 10 months ago
Using the Particle Filter Approach to Building Partial Correspondences Between Shapes
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...
Rolf Lakämper, Marc Sobel
CPAIOR
2010
Springer
13 years 10 months ago
Boosting Set Constraint Propagation for Network Design
Abstract. This paper reconsiders the deployment of synchronous optical networks (SONET), an optimization problem naturally expressed in terms of set variables. Earlier approaches, ...
Justin Yip, Pascal Van Hentenryck, Carmen Gervet
CORR
2010
Springer
133views Education» more  CORR 2010»
13 years 10 months ago
Reformulation of Global Constraints in Answer Set Programming
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
Christian Drescher, Toby Walsh
JAIR
2006
115views more  JAIR 2006»
13 years 11 months ago
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...
Yixin Chen, Benjamin W. Wah, Chih-Wei Hsu
CONSTRAINTS
2007
97views more  CONSTRAINTS 2007»
13 years 11 months ago
Models for Global Constraint Applications
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core mo...
Helmut Simonis
CONSTRAINTS
2007
92views more  CONSTRAINTS 2007»
13 years 11 months ago
Global Constraint Catalogue: Past, Present and Future
Abstract. The catalogue of global constraints is reviewed, focusing on the graph-based description of global constraints. A number of possible enhancements are proposed as well as ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
HEURISTICS
2006
148views more  HEURISTICS 2006»
13 years 11 months ago
On global warming: Flow-based soft global constraints
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin ...