4772 search results - page 795 / 955 » An approach to interface synthesis |
211
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
164
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are...
184
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...
160
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...
189
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...