805 search results - page 4 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
AAAI
2000
15 years 1 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
108
click to vote
ICCD
2005
IEEE
15 years 5 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
101
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
FORTE
2007
15 years 1 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
109
click to vote
EUROSSC
2007
Springer
15 years 5 months ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...