1746 search results - page 251 / 350 » A Constructive Semantics for ALC |
107
click to vote
MM
2009
ACM
15 years 5 months ago
2009
ACM
In this work the problem of automatic decomposition of video into elementary semantic units, known in the literature as scenes, is addressed. Two multi-modal automatic scene segme...
ASIACRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...
90
Voted
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
114
Voted
MOBICOM
1997
ACM
15 years 4 months ago
1997
ACM
We describe a reliable broadcast protocol for mobile multihop packet radio networks. The reliable broadcast service ensures that all the hosts in a group deliver the same set of m...
123
Voted
HT
1996
ACM
15 years 4 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...