Sciweavers

8587 search results - page 1572 / 1718
» Interactive dynamic abstraction
Sort
View
CHI
1999
ACM
14 years 3 months ago
Design Guidelines for Landmarks to Support Navigation in Virtual Environments
not abstract asymmetry: different sides looks different clumps different from ”data objects” need grid structure, alignment [Design Guidelines for Landmarks to Support Navigati...
Norman G. Vinson
TPHOL
1999
IEEE
14 years 3 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme
MICCAI
1999
Springer
14 years 3 months ago
Optimization Approaches for Soft-Tissue Prediction in Craniofacial Surgery Simulation
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
Matthias Teschner, Sabine Girod, Bernd Girod
CHI
1997
ACM
14 years 2 months ago
Sensing Activity in Video Images
in CHI’97 Extended Abstract, ACM Press, pp. 319-320 based awareness tools and iconic indicators because it meets three crucial user requirements. This paper describes the activit...
Alison Lee, Kevin Schlueter, Andreas Girgensohn
CHI
1997
ACM
14 years 2 months ago
MOBI-D: A Model-Based Development Environment for User-Centered Design
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
Angel R. Puerta, David Maulsby
« Prev « First page 1572 / 1718 Last » Next »