1546 search results - page 194 / 310 » Context-Aware Computing with Sound |
183
click to vote
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
177
click to vote
LICS
2008
IEEE
16 years 23 days 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...
152
click to vote
ICASSP
2007
IEEE
16 years 21 days 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...
150
click to vote
ISBI
2007
IEEE
16 years 20 days 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...
129
click to vote
LICS
2007
IEEE
16 years 19 days 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 ...