1817 search results - page 3 / 364 » Extensive Games as Process Models |
MODELS
2009
Springer
14 years 25 days ago
2009
Springer
ADBIS
2005
Springer
13 years 12 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
IEICET
2007
13 years 6 months ago
2007
AUSAI
2009
Springer
14 years 26 days ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
ICMCS
2008
IEEE
14 years 22 days ago
2008
IEEE
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...