1953 search results - page 308 / 391 » Normative system games |
158
click to vote
COCO
1994
Springer
15 years 7 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...
136
Voted
COCO
2010
Springer
15 years 7 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
142
Voted
AI
2010
Springer
15 years 1 months ago
2010
Springer
Computer systems increasingly carry out tasks in mixed networks, that is in group settings in which they interact both with other computer systems and with people. Participants in...
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Chia-Jung Chan This paper presents a development of our comic generation system that automatically summarizes players' actions and interactions in the virtual world. The featu...
141
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...