71 search results - page 1 / 15 » A Semantic Foundation for Hidden State |
FOSSACS
2010
Springer
14 years 5 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
14 years 5 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
14 years 4 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
15 years 27 days 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 11 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...