1411 search results - page 57 / 283 » Interactive Coding for Interactive Proofs |
UIST
2005
ACM
14 years 4 months ago
2005
ACM
We introduce PlayAnywhere, a front-projected computer vision-based interactive table system which uses a new commercially available projection technology to obtain a compact, self...
FASE
2005
Springer
14 years 4 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
AFRIGRAPH
2004
ACM
14 years 4 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...
VISUALIZATION
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a new algorithm for rendering very large volume data sets at interactive framerates on standard PC hardware. The algorithm accepts scalar data sampled on a regular grid...
MOBILITY
2009
ACM
14 years 3 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...