1724 search results - page 91 / 345 » Abstract Interpreters for Free |
130
click to vote
ACCV
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We introduce a continuous scale wavelet detector. Our algorithm was able to detect a mass that could not be seen using conventional windowing and leveling or traditional ...
158
click to vote
JSCIC
2008
2008
Mathematical and Numerical Aspects of a Phase-field Approach to Critical Nuclei Morphology in Solids
15 years 5 months ago
Abstract We investigate a phase-field model for homogeneous nucleation and critical nucleus morphology in solids. We analyze the mathematical properties of a free energy functional...
164
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
151
click to vote
TPLP
2002
15 years 5 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
123
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...