2230 search results - page 137 / 446 » Reformulating Constraint Models Using Input Data |
127
click to vote
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
122
click to vote
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
109
click to vote
TCAD
2002
15 years 2 months ago
2002
We develop a general methodology to analyze crosstalk effects that are likely to cause errors in deep submicron high speed circuits. We focus on crosstalk due to capacitive coupli...
100
click to vote
BMVC
2001
15 years 4 months ago
2001
This paper extends 2D Active Shape Models to 2D+time by presenting a method for modelling and segmenting spatio-temporal shapes (ST-shapes). The modelling part consists of constru...
128
click to vote
CCE
2008
15 years 2 months ago
2008
This work considers the problem of control of nonlinear process systems subject to input constraints and actuator faults. Faults are considered that preclude the possibility of con...