4460 search results - page 840 / 892 » Formal methods for interactive systems |
PG
1997
IEEE
13 years 12 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We first desc...
HT
1997
ACM
13 years 12 months ago
1997
ACM
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
ICTAI
1993
IEEE
13 years 11 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
GRAPHITE
2007
ACM
13 years 11 months ago
2007
ACM
This paper reports the results of an experiment to compare three different selection techniques in a tabletop tangible augmented reality interface. Object selection is an importan...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
Archaeology is a destructive process in which accurate and detailed recording of a site is imperative. As a site is exposed, documentation is required in order to recreate and und...