2223 search results - page 257 / 445 » Hierarchical Morphable Models |
117
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...
106
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
89
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
93
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we specifically propose the Weber-Fechner Law-based human attention model for semantic scene analysis in movies. Different from traditional video processing techniq...
ICAC
2007
IEEE
15 years 7 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...