4447 search results - page 667 / 890 » Model Checking Games |
174
click to vote
NLDB
2007
Springer
16 years 22 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
168
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
174
click to vote
SI3D
2005
ACM
16 years 5 days ago
2005
ACM
This paper presents a technique for mapping relief textures onto arbitrary polygonal models in real time. In this approach, the mapping of the relief data is done in tangent space...
170
click to vote
ICMI
2005
Springer
16 years 4 days ago
2005
Springer
Situated, spontaneous speech may be ambiguous along acoustic, lexical, grammatical and semantic dimensions. To understand such a seemingly diļ¬cult signal, we propose to model th...
185
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an interactive bowling system using vison-based tracking for AR. With the bowling system, a user can enjoy the bowling game by rolling a real ball down a bowli...