88 search results - page 17 / 18 » A compositional approach to bidirectional model transformati... |
EUROCAST
2001
Springer
13 years 10 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper proposes a new approach for video stabilization.
Most existing video stabilization methods adopt
a framework of three steps, motion estimation, motion compensation
an...
VMCAI
2010
Springer
14 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
CVPR
2012
IEEE
11 years 8 months ago
2012
IEEE
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
VLSM
2005
Springer
13 years 11 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...