4447 search results - page 385 / 890 » Model Checking Games |
201
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
358
click to vote
DIMACS
1996
15 years 8 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
165
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...
216
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a novel multi-modal framework for semantic event extraction from basketball games based on webcasting text and broadcast video. We propose novel approach...
243
click to vote
STORYTELLING
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...