210 search results - page 19 / 42 » Universal Booleanization of Constraint Models |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In factorization approaches to nonrigid structure from
motion, the 3D shape of a deforming object is usually modeled
as a linear combination of a small number of basis
shapes. T...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
AGP
1999
IEEE
14 years 2 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a new implication of Wu’s (1997) Inversion Transduction Grammar (ITG) Hypothesis, on the problem of retrieving truly parallel sentence translations from larg...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...