4447 search results - page 772 / 890 » Model Checking Games |
144
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
154
click to vote
TPCG
2003
IEEE
15 years 11 months ago
2003
IEEE
In games, entertainment, medical and architectural applications, the creation of populated virtual city environments has recently become widespread. In this paper we want to provi...
140
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
TAC-02 was the third in a series of Trading Agent Competition events fostering research in automating trading strategies by showcasing alternate approaches in an open-invitation m...
193
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...
170
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...