Sciweavers

7121 search results - page 993 / 1425
» Visualizing Data with Motion
Sort
View
ICPR
2002
IEEE
16 years 8 months ago
Trajectory Segmentation Using Dynamic Programming
We consider the segmentation of a trajectory into piecewise polynomial parts, or possibly other forms. Segmentation is typically formulated as an optimization problem which trades...
Richard Mann, Allan D. Jepson, Thomas F. El-Maragh...
MICCAI
2007
Springer
16 years 8 months ago
Thoracic CT-PET Registration Using a 3D Breathing Model
In the context of thoracic CT-PET volume registration, we present a novel method to incorporate a breathing model in a non-linear registration procedure, guaranteeing physiological...
Antonio Moreno-Ingelmo, Sylvie Chambon, Anand P. S...
IPMI
2007
Springer
16 years 8 months ago
Fully Automated Registration of First-Pass Myocardial Perfusion MRI Using Independent Component Analysis
Abstract. This paper presents a novel method for registration of cardiac perfusion MRI. The presented method successfully corrects for breathing motion without any manual interacti...
Julien Milles, Rob J. van der Geest, Michael Jeros...
POPL
2002
ACM
16 years 8 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
ICIAP
2007
ACM
16 years 7 months ago
A Method for Blur and Similarity Transform Invariant Object Recognition
In this paper, we propose novel blur and similarity transform (i.e. rotation, scaling and translation) invariant features for the recognition of objects in images. The features ar...
Janne Heikkilä, Ville Ojansivu