5205 search results - page 113 / 1041 » Tilings and model theory |
150
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
164
click to vote
CIE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
142
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
153
click to vote
COLING
1996
15 years 7 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
182
click to vote
AROBOTS
2002
15 years 6 months ago
2002
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...