2230 search results - page 100 / 446 » Reformulating Constraint Models Using Input Data |
161
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Non-rigid structure from motion (NRSFM) is a difficult, underconstrained problem in computer vision. The standard approach in NRSFM constrains 3D shape deformation using a linear...
148
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
137
click to vote
DMSN
2004
ACM
15 years 8 months ago
2004
ACM
The military is working on embedding sensors in a "smart uniform" that will monitor key biological parameters to determine the physiological status of a soldier. The sol...
131
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
A new dynamic subdivision surface model is proposed for shape recovery from 3D data sets. The model inherits the attractive properties of the Catmull-Clark subdivision scheme and ...
152
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...