4287 search results - page 40 / 858 » Minimal Mental Models |
CIRA
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper proposes a technique for real-time recognition of facial Identity and expression which uses the active appearance model (AAM) with efficient second order minimization al...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...
DLT
2009
13 years 6 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
JIISIC
2007
13 years 10 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Nonlinear registration is mostly performed after initialization by a global, linear transformation (in this work, we focus on similarity transformations), computed by a linear reg...