1746 search results - page 249 / 350 » A Constructive Semantics for ALC |
97
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
93
Voted
IWSEC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
106
Voted
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
Due to the repetitive and lengthy nature, automatic content-based summarization is essential to extract a more compact and interesting representation of sport video. State-of-the ...
88
Voted
ACNS
2005
Springer
15 years 6 months ago
2005
Springer
Strong security notions often introduce strong constraints on the construction of cryptographic schemes: semantic security implies probabilistic encryption, while the resistance to...
105
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...