3844 search results - page 531 / 769 » Modular interpreted systems |
202
click to vote
NPIV
1999
ACM
15 years 11 months ago
1999
ACM
An image browser for the exploration of image collections is described. The approach taken is to utilize VR input devices to develop more intuitive interaction metaphors that allo...
202
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
197
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
139
click to vote
UIST
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
180
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...