2911 search results - page 254 / 583 » A Theory of Expressiveness in Mechanisms |
170
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
221
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
208
click to vote
CICLING
2003
Springer
15 years 12 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
155
click to vote
ALT
2001
Springer
15 years 11 months ago
2001
Springer
We develop a theory for learning scenarios where multiple learners co-exist but there are mutual compatibility constraints on their outcomes. This is natural in cognitive learning...
184
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...