378 search results - page 6 / 76 » From Natural Semantics to Abstract Machines |
IVA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
CADE
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
IJCAI
2007
13 years 9 months ago
2007
Computing semantic relatedness of natural language texts requires access to vast amounts of common-sense and domain-specific world knowledge. We propose Explicit Semantic Analysi...