Sciweavers

5456 search results - page 271 / 1092
» General Equilibrium Theory
Sort
View
APLAS
2003
ACM
15 years 12 months ago
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
Xiaoju Dong, Yuxi Fu
COMPGEOM
2007
ACM
15 years 10 months ago
Inflating the cube by shrinking
We present a continuous submetric deformation of the surface of the cube which increases the enclosed volume by about 25.67%. Categories and Subject Descriptors: I.3.5 [Computatio...
Kevin Buchin, André Schulz
ATAL
2006
Springer
15 years 10 months ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi
COLT
2008
Springer
15 years 8 months ago
Learning from Collective Behavior
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
Michael Kearns, Jennifer Wortman
150
Voted
IE
2007
15 years 8 months ago
The nonsense of the aura
An examination of Walter Benjamin’s notion of the aura as it appears in videogames, and the relation between the nondirectional sense of smell, non-directional visual fields, an...
Darshana Jayemanne