Sciweavers

1724 search results - page 232 / 345
» Abstract Interpreters for Free
Sort
View
ECCV
2002
Springer
16 years 8 months ago
Computing the Physical Parameters of Rigid-Body Motion from Video
Abstract. This paper presents an optimization framework for estimating the motion and underlying physical parameters of a rigid body in free flight from video. The algorithm takes ...
Kiran S. Bhat, Steven M. Seitz, Jovan Popovic
MICCAI
2008
Springer
16 years 7 months ago
Spherical Demons: Fast Surface Registration
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
B. T. Thomas Yeo, Mert R. Sabuncu, Tom Vercauter...
MICCAI
2008
Springer
16 years 7 months ago
A Nonrigid Image Registration Framework for Identification of Tissue Mechanical Parameters
Abstract. We present a modular framework for mechanically regularized nonrigid image registration of 3D ultrasound and for identification of tissue mechanical parameters. Mechanica...
Petr Jordan, Simona Socrate, Todd E. Zickler, R...
CADE
2005
Springer
16 years 6 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev
DASFAA
2010
IEEE
139views Database» more  DASFAA 2010»
16 years 1 months ago
Highly Scalable Multiprocessing Algorithms for Preference-Based Database Retrieval
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...
Joachim Selke, Christoph Lofi, Wolf-Tilo Balke