4447 search results - page 464 / 890 » Model Checking Games |
185
click to vote
EDM
2008
15 years 9 months ago
2008
Students can use an educational system's help in unexpected r example, they may bypass abstract hints in search of a concrete solution. This behavior has traditionally been la...
186
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
The automation of agents that bargain within markets is a challenging open problem. In these settings a seller agent can take advantage from the competition among several buyer ag...
184
click to vote
NMR
2004
Springer
16 years 1 months ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
220
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
175
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...