Sciweavers

3625 search results - page 133 / 725
» On choosing
Sort
View
CAV
2007
Springer
157views Hardware» more  CAV 2007»
16 years 17 days ago
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
Luca de Alfaro, Marco Faella
COST
2007
Springer
124views Multimedia» more  COST 2007»
16 years 17 days ago
Mutually Coordinated Anticipatory Multimodal Interaction
We introduce our research on anticipatory and coordinated interaction between a virtual human and a human partner. Rather than adhering to the turn taking paradigm, we choose to in...
Anton Nijholt, Dennis Reidsma, Herwin van Welberge...
DALT
2007
Springer
16 years 16 days ago
Satisfying Maintenance Goals
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
Koen V. Hindriks, M. Birna van Riemsdijk
ECML
2007
Springer
16 years 16 days ago
Optimizing Feature Sets for Structured Data
Choosing a suitable feature representation for structured data is a non-trivial task due to the vast number of potential candidates. Ideally, one would like to pick a small, but in...
Ulrich Rückert, Stefan Kramer
ESA
2007
Springer
100views Algorithms» more  ESA 2007»
16 years 16 days ago
Nash Equilibria in Voronoi Games on Graphs
In this paper we study a game where every player is to choose a vertex (facility) in a given undirected graph. All vertices (customers) are then assigned to closest facilities and...
Christoph Dürr, Nguyen Kim Thang