4287 search results - page 40 / 858 » Minimal Mental Models |
CIRA
2007
IEEE
15 years 3 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
16 years 1 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...
136
click to vote
DLT
2009
14 years 9 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...
111
click to vote
JIISIC
2007
15 years 1 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
16 years 1 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...