108 search results - page 6 / 22 » Automatic Validation of Code-Improving Transformations |
FASE
2006
Springer
13 years 11 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
14 years 1 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
13 years 12 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
14 years 8 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
14 years 8 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...