5499 search results - page 267 / 1100 » Generalized Rewrite Theories |
158
click to vote
COMPGEOM
2007
ACM
15 years 11 months ago
2007
ACM
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...
177
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
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...
166
click to vote
COLT
2008
Springer
15 years 9 months ago
2008
Springer
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...
159
click to vote
IE
2007
15 years 8 months ago
2007
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...
171
click to vote
ALT
2010
Springer
15 years 8 months ago
2010
Springer
We explore a general Bayesian active learning setting, in which the learner can ask arbitrary yes/no questions. We derive upper and lower bounds on the expected number of queries r...