Sciweavers

4447 search results - page 772 / 890
» Model Checking Games
Sort
View
HICSS
2003
IEEE
128views Biometrics» more  HICSS 2003»
15 years 11 months ago
Developing a Community Vision: The Case of a Regional United Way
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...
Bradd C. Hayes
TPCG
2003
IEEE
15 years 11 months ago
Intuitive Crowd Behaviour in Dense Urban Environments using Local Laws
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...
Céline Loscos, David Marchal, Alexandre Mey...
ATAL
2003
Springer
15 years 11 months ago
Walverine: a Walrasian trading agent
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...
Shih-Fen Cheng, Evan Leung, Kevin M. Lochner, Kevi...
CVPR
2010
IEEE
15 years 11 months ago
Motion Fields to Predict Play Evolution in Dynamic Sport Scenes
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...
Kihwan Kim, Matthias Grundmann, Ariel Shamir, Iain...
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
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...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema