2962 search results - page 289 / 593 » The Bunch-Active Shape Model |
182
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
170
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...
174
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
The non-rigid registration of a group of images shares a common feature with building a model of a group of images: a dense, consistent correspondence across the group. Image regis...
201
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Focus + context visualization facilitates the exploration of complex information spaces. This paper proposes 3D generalization lenses, a new visualization technique for virtual 3D...
155
click to vote
ATVA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...