4814 search results - page 891 / 963 » Combining abstract interpreters |
128
Voted
MICCAI
2003
Springer
16 years 4 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 ...
126
Voted
MICCAI
2004
Springer
16 years 4 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...
131
Voted
ICSE
2008
IEEE-ACM
16 years 4 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...
133
click to vote
ICSE
2008
IEEE-ACM
16 years 4 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...
145
Voted
SIGSOFT
2008
ACM
16 years 4 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...