1632 search results - page 194 / 327 » Modeling billiards games |
152
click to vote
NMR
2004
Springer
15 years 12 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...
185
click to vote
ATAL
2003
Springer
15 years 10 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 ...
146
click to vote
CHI
2003
ACM
16 years 6 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...
302
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
194
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...