3228 search results - page 355 / 646 » Computationally Sound Proofs |
147
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
124
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Audio segmentation has applications in a variety of contexts, such as audio information retrieval, automatic sound analysis, and as a pre-processing step in speech recognition. Ex...
114
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an adaptive hybrid FEM/FDM method for an inverse scattering problem in scanning acoustic microscopy with a special focus on new application in medical imaging. The prob...
107
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
135
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...