Sciweavers

1817 search results - page 105 / 364
» Extensive Games as Process Models
Sort
View
121
Voted
LFCS
2007
Springer
15 years 7 months ago
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
105
Voted
IJCAI
2007
15 years 2 months ago
Coalitional Bargaining with Agent Type Uncertainty
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, individually rational agents to form stable teams. Automating the negotiations underlying ...
Georgios Chalkiadakis, Craig Boutilier
100
Voted
SIMPAR
2010
137views Robotics» more  SIMPAR 2010»
14 years 11 months ago
Simulating Vehicle Kinematics with SimVis3D and Newton
This paper discusses the simulation of vehicle kinematics with SimVis3D and the Newton Game Dynamics Engine. As running example a Pioneer1 like robot is used. First its differenti...
Jens Wettach, Daniel Schmidt 0004, Karsten Berns
113
Voted
ICPR
2006
IEEE
16 years 1 months ago
Automatic Sports Video Genre Classification using Pseudo-2D-HMM
Building a generic content-based sports video analysis system remains a challenging problem because of the diversity in sports rules and game features which makes it difficult to ...
Jinjun Wang, Changsheng Xu, Engsiong Chng
111
Voted
ECAI
2010
Springer
15 years 1 months ago
Higher-Order Coalition Logic
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee...