4814 search results - page 891 / 963 » Combining abstract interpreters |
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
Abstract. This paper describes effort towards automatic tissue segmentation in neonatal MRI. Extremely low contrast to noise ratio (CNR), regional intensity changes due to RF coil ...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...