Sciweavers

3571 search results - page 90 / 715
» Cohen and Set Theory
Sort
View
MP
2006
110views more  MP 2006»
13 years 9 months ago
Robust game theory
We present a distribution-free model of incomplete-information games, both with and without private information, in which the players use a robust optimization approach to contend ...
Michele Aghassi, Dimitris Bertsimas
JFP
2010
142views more  JFP 2010»
13 years 7 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
PODC
2011
ACM
12 years 11 months ago
A theory of goal-oriented communication
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...
Oded Goldreich, Brendan Juba, Madhu Sudan
IGPL
2008
124views more  IGPL 2008»
13 years 8 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
CSDA
2006
109views more  CSDA 2006»
13 years 9 months ago
Possibility theory and statistical reasoning
Numerical possibility distributions can encode special convex families of probability measures. The connection between possibility theory and probability theory is potentially fru...
Didier Dubois