71 search results - page 1 / 15 » A Semantic Foundation for Hidden State |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
ICASSP
2008
IEEE
13 years 11 months ago
2008
IEEE
We propose an extractive summarization system with a novel non-generative probabilistic framework for speech summarization. One of the most underutilized features in extractive su...
FM
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
CVPR
2004
IEEE
14 years 6 months ago
2004
IEEE
This paper addresses Content Based Image Retrieval (CBIR), focusing on developing a hidden semantic concept discovery methodology to address effective semanticsintensive image ret...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...