4447 search results - page 518 / 890 » Model Checking Games |
181
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
157
Voted
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A vital task in sports video annotation is to detect and segment areas of the playfield. This is an important first step in player or ball tracking and detecting the location of t...
166
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
222
Voted
UAI
2004
15 years 8 months ago
2004
Exponential models of distributions are widely used in machine learning for classification and modelling. It is well known that they can be interpreted as maximum entropy models u...
177
Voted
ICMAS
1998
15 years 8 months ago
1998
This work presents a lookahead-based exploration strategy for a model-based learning agent that enables exploration of the opponent's behavior during interaction in a multi-a...