1689 search results - page 181 / 338 » Refining abstract interpretations |
252
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
180
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
141
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 ...
174
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 ...
147
click to vote
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...