1503 search results - page 252 / 301 » Generalized Parity Games |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
PKDD
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Rating players in sports competitions based on game results is one example of paired comparison data analysis. Since an exact Bayesian treatment is intractable, several t...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose a novel scheme to detect human actions in active video. Active videos such as movies or sports broadcasting are taken purposively by “clever” photographers. They ar...
ACMACE
2006
ACM
14 years 4 months ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...