1653 search results - page 233 / 331 » Computer science and game theory |
78
Voted
CONCUR
2010
Springer
15 years 5 days 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...
124
Voted
AAAI
2012
13 years 1 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
74
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Augmented video streams display information within the context of the physical environment. In contrast to Augmented Reality, they do not require special equipment, they can suppo...
ASAP
2009
IEEE
15 years 8 months ago
2009
IEEE
—The Cell processor consists of a general-purpose core and eight cores with a complete SIMD instruction set. Although originally designed for multimedia and gaming, it is current...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Social factors, such as status differences, may prevent some members from participating in group decisions. Computerized group decision support systems (GDSSs) can reduce social i...