1341 search results - page 217 / 269 » Probabilistic Abstraction Hierarchies |
101
click to vote
ESORICS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
137
Voted
ALT
2008
Springer
15 years 9 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
124
click to vote
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
131
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
106
click to vote
STOC
1989
ACM
15 years 4 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...