6794 search results - page 895 / 1359 » Semantics of Visual Languages |
183
click to vote
ICMI
2005
Springer
16 years 13 days ago
2005
Springer
Situated, spontaneous speech may be ambiguous along acoustic, lexical, grammatical and semantic dimensions. To understand such a seemingly difficult signal, we propose to model th...
186
click to vote
ACOM
2004
Springer
16 years 10 days ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
169
click to vote
CCS
2004
ACM
16 years 10 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
182
click to vote
ICFEM
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
184
click to vote
ISMIS
2003
Springer
16 years 3 days ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...