6047 search results - page 135 / 1210 » Modeling with Extend |
129
click to vote
ECCV
1996
Springer
16 years 3 months ago
1996
Springer
We present a novel technique for the automatic adaptation of a deformable model's elastic parameters within a Kalman filter framework for shape estimation applications. The no...
100
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
109
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
109
click to vote
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...