Sciweavers

107 search results - page 14 / 22
» Beyond: collapsible tools and gestures for computational des...
Sort
View
FMCAD
1998
Springer
13 years 11 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
CVPR
2008
IEEE
14 years 9 months ago
Sketching in the air: A vision-based system for 3D object design
3D object design has many applications including flexible 3D sketch input in CAD, computer game, webpage content design, image based object modeling, and 3D object retrieval. Most...
Yu Chen, Jianzhuang Liu, Xiaoou Tang
CHI
2006
ACM
14 years 7 months ago
Tabletop sharing of digital photographs for the elderly
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...
Trent Apted, Judy Kay, Aaron J. Quigley
UIST
1998
ACM
13 years 11 months ago
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
Thomas P. Moran, William van Melle, Patrick Chiu
ICMI
2003
Springer
107views Biometrics» more  ICMI 2003»
14 years 21 days ago
Sketching informal presentations
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
Yang Li, James A. Landay, Zhiwei Guan, Xiangshi Re...