2944 search results - page 397 / 589 » Robust Semantic Construction |
161
click to vote
ATAL
2003
Springer
16 years 20 days ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
211
Voted
ER
2003
Springer
16 years 19 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
235
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
215
Voted
MM
2009
ACM
16 years 3 days 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...
195
Voted
ASIACRYPT
2001
Springer
15 years 12 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...