1615 search results - page 147 / 323 » Computer science and decision theory |
90
Voted
CCA
2005
Springer
15 years 6 months ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...
100
click to vote
ICALP
2004
Springer
15 years 6 months 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 ...
135
click to vote
OPODIS
2004
15 years 2 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
98
Voted
CHI
2008
ACM
16 years 1 months ago
2008
ACM
This dissertation research explores the invocation of emotional support from friends and family for parents who have a baby in a Neonatal Intensive Care Unit, through the use of t...
121
Voted
FOCS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...