Sciweavers

1167 search results - page 137 / 234
» Relational Markov Games
Sort
View
APN
2003
Springer
14 years 3 months ago
Nets Enriched over Closed Monoidal Structures
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
Eric Badouel, Jules Chenou
3DPVT
2002
IEEE
119views Visualization» more  3DPVT 2002»
14 years 3 months ago
New Imaging Frontiers: 3D and Mixed Reality
For the first time since computers are around, the major pieces of the puzzle are in place to deliver interactive 3D to the average end user. Yet, with the exception of games and ...
Eric Badiqué
CG
1998
Springer
14 years 2 months ago
From Simple Features to Sophisticated Evaluation Functions
This paper discusses a practical framework for the semi automatic construction of evaluation functions for games. Based on a structured evaluation function representation, a proced...
Michael Buro
FSEN
2009
Springer
14 years 1 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
AAAI
2006
13 years 11 months ago
A Computational Model of Logic-Based Negotiation
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
Dongmo Zhang, Yan Zhang