614 search results - page 70 / 123 » aime 2003 |
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
Multiple description coding (MDC) is an error resilient source coding scheme that creates multiple descriptions of the source with the aim of providing an acceptable reconstructio...
DAC
2003
ACM
16 years 24 days ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
MICCAI
2003
Springer
16 years 21 days ago
2003
Springer
A generalized image model (GIM) is presented. Images are represented as sets of four-dimensional (4D) sites combining position and intensity information, as well as their associat...
MICCAI
2003
Springer
16 years 21 days ago
2003
Springer
This paper describes a new robust and fully automatic method for calibration of three-dimensional (3D) freehand ultrasound. 3D Freehand ultrasound consists in mounting a position s...
IPMI
2003
Springer
16 years 20 days ago
2003
Springer
The recent development of 3-D medical imaging devices has given access to the 3-D imaging of in vivo tissues, from an anatomical (MR, CT) or even functional point of view (fMRI, PE...