5456 search results - page 107 / 1092 » General Equilibrium Theory |
124
Voted
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
121
click to vote
AAAI
2008
15 years 7 months ago
2008
Game theory has been playing an increasingly visible role in computer science in general and AI in particular, most notably in the area of multiagent systems. I briefly list the a...
112
click to vote
ACL
1998
15 years 6 months ago
1998
In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...
103
click to vote
JSYML
1998
15 years 4 months ago
1998
We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that ...
136
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...