805 search results - page 140 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
106
click to vote
STTT
2008
15 years 2 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
UIST
1997
ACM
15 years 7 months ago
1997
ACM
We report results from a formal user study of interactive 3D rotation using the mouse-driven Virtual Sphere and Arcball techniques, as well as multidimensional input techniques ba...
125
click to vote
ICMI
2009
Springer
15 years 9 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
111
click to vote
LAWEB
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we perform a study of the image contents of the Chilean web (.cl domain) using automatic feature extraction, content-based analysis and face detection algorithms. In...
110
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...