4099 search results - page 232 / 820 » A Framework for Interactive Proof |
157
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Mediated reality describes the concept of filtering our vision of reality, typically using a head-mounted video mixing display. We can redefine this idea in a more constructive ...
166
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
172
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
Traditional user interfaces for off-the-desktop applications are designed to display the output on flat 2D surfaces while the input is with 2D or 3D devices. In this paper, we foc...
149
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
The Edinburgh Mouse Atlas aims to capture in-situ gene expression patterns in a common spatial framework. In this study, we construct a grammar to define spatial regions by combina...
211
click to vote
IRCDL
2010
15 years 8 months ago
2010
One of the most challenging issues in managing the large and diverse data available on the World Wide Web is the design of interactive systems to organize and represent information...