1689 search results - page 181 / 338 » Refining abstract interpretations |
328
Voted
POPL
2004
ACM
16 years 7 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...
223
click to vote
TLDI
2003
ACM
16 years 7 days 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...
184
Voted
ECCV
2008
Springer
16 years 9 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 ...
218
Voted
ECCV
2000
Springer
16 years 8 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 ...
182
Voted
MICCAI
2007
Springer
16 years 8 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...