3238 search results - page 13 / 648 » On the Computational Interpretation of Negation |
TCS
2008
13 years 7 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
CIE
2009
Springer
14 years 2 months ago
2009
Springer
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
DIGRA
2003
Springer
14 years 19 days ago
2003
Springer
Interpretation of characters is a fundamental feature of human behavior. Even with limited information available, people will assign personality – even to inanimate objects. Cha...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
Avatars are increasingly used to express our emotions in our online communications. Such avatars are based on the assumption that avatar expressions are interpreted universally am...
MISQ
2000
13 years 7 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...