2203 search results - page 224 / 441 » Temporal Abstract Interpretation |
151
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
136
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
166
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...
141
Voted
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Diffusion tensor imaging (DT-MRI) is very sensitive to corrupting noise due to the non linear relationship between the diffusionweighted image intensities (DW-MRI) and th...
111
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...