Sciweavers

108 search results - page 6 / 22
» Automatic Validation of Code-Improving Transformations
Sort
View
FASE
2006
Springer
15 years 1 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi
78
Voted
W4A
2006
ACM
15 years 3 months ago
Transforming web pages to become standard-compliant through reverse engineering
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
Benfeng Chen, Vincent Y. Shen
HASE
1999
IEEE
15 years 1 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
ISBI
2002
IEEE
15 years 10 months ago
A fully automatic calibration procedure for freehand 3D ultrasound
This paper describes a novel method for calibration of freehand three-dimensional (3D) ultrasound. A position sensor is mounted on a conventional ultrasound probe, thus the set of...
François Rousseau, Pierre Hellier, Christia...
MICCAI
2005
Springer
15 years 10 months ago
Automatic Registration and Fusion of Ultrasound with CT for Radiotherapy
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Wolfgang Wein, Barbara Röper, Nassir Navab