4460 search results - page 135 / 892 » Formal methods for interactive systems |
132
click to vote
ICAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Even though gaze control is relatively well known as a human computer interaction method, gaze control is not a widely used technique, partly due to several usability issues. Howe...
139
Voted
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
The problem of search and retrieval of images using relevance feedback has attracted tremendous attention in recent years from the research community. A real-world-deployable inte...
115
click to vote
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...
147
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
142
Voted
ECSCW
1993
15 years 5 months ago
1993
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...