Sciweavers

7890 search results - page 1254 / 1578
» The MathSAT 3 System
Sort
View
MICCAI
2008
Springer
16 years 8 months ago
Physically-Based Validation of Deformable Medical Image Registration
We propose a new approach for validating deformable image registration algorithms. Since difference images do not necessarily reflect the 3D correspondence of organs, we propose to...
Huai-Ping Lee, Ming C. Lin, Mark Foskey
MICCAI
2009
Springer
16 years 8 months ago
Robotic Force Stabilization for Beating Heart Intracardiac Surgery
Abstract. The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to surgeons. We present a new robotic force stabilization ...
Shelten G. Yuen, Michael C. Yip, Nikolay V. Vasi...
ICPR
2006
IEEE
16 years 7 months ago
Detection-Assisted Initialization, Adaptation and Fusion of Body Region Trackers for Robust Multiperson Tracking
In this paper, we present a system for simultaneous tracking of multiple persons in a smartroom using multiple cameras. Robust person tracks are created, continuously adapted, and...
Keni Bernardin, Alexander Elbs, Rainer Stiefelhage...
GIS
2003
ACM
16 years 7 months ago
Processing in-route nearest neighbor queries: a comparison of alternative approaches
Nearest neighbor query is one of the most important operations in spatial databases and their application domains, e.g., locationbased services, advanced traveler information syst...
Shashi Shekhar, Jin Soung Yoo
204
Voted
DAC
2009
ACM
16 years 7 months ago
Optimal static WCET-aware scratchpad allocation of program code
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
Heiko Falk, Jan C. Kleinsorge
« Prev « First page 1254 / 1578 Last » Next »