894 search results - page 125 / 179 » Game Theory with Costly Computation |
153
Voted
CSCW
2011
ACM
14 years 5 months ago
2011
ACM
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
136
Voted
SOFSEM
2012
Springer
13 years 9 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
225
Voted
ICDCS
2012
IEEE
13 years 4 months ago
2012
IEEE
Datacenter networks typically have many paths connecting each host pair to achieve high bisection bandwidth for arbitrary communication patterns. Fully utilizing the bisection ban...
114
click to vote
ACMACE
2007
ACM
15 years 5 months ago
2007
ACM
Computer games do not afford much physical activity and hence do not require significant energy expenditure, which can contribute to the prevalence of a sedentary lifestyle. A &qu...
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...