5964 search results - page 389 / 1193 » A theory of speculative computation |
210
Voted
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
219
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
208
Voted
ICALP
2004
Springer
16 years 29 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
202
Voted
FOCS
2003
IEEE
16 years 26 days ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
199
click to vote
ISIPTA
2003
IEEE
16 years 25 days ago
2003
IEEE
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...