108 search results - page 6 / 22 » Automatic Validation of Code-Improving Transformations |
FASE
2006
Springer
15 years 1 months ago
2006
Springer
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,...
W4A
2006
ACM
15 years 3 months ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
HASE
1999
IEEE
15 years 1 months ago
1999
IEEE
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 ...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
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...
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
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...