Sciweavers

2725 search results - page 114 / 545
» Constraint Solving for Interpolation
Sort
View
IPL
2006
89views more  IPL 2006»
15 years 27 days ago
Optimal 2-constraint satisfaction via sum-product algorithms
We show that for a given set of m pairwise constraints over n variables, a variable assignment that satisfies maximally many m constraints (MAX-2-CSP) can be found in O(nm dn/3) t...
Mikko Koivisto
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 7 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
3DPH
2009
128views Healthcare» more  3DPH 2009»
15 years 2 months ago
Predicting Missing Markers in Real-Time Optical Motion Capture
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...
Tommaso Piazza, Johan Lundström, Andreas Kunz...
108
Voted
CP
2003
Springer
15 years 6 months ago
Open Constraint Optimization
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
Boi Faltings, Santiago Macho-Gonzalez
MICCAI
2009
Springer
16 years 2 months ago
Setting Priors and Enforcing Constraints on Matches for Nonlinear Registration of Meshes
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
Benoît Combès, Sylvain Prima