4460 search results - page 753 / 892 » Formal methods for interactive systems |
109
Voted
NOSSDAV
2001
Springer
15 years 8 months ago
2001
Springer
A Network Musical Performance (NMP) occurs when a group of musicians, located at different physical locations, interact over a network to perform as they would if located in the ...
135
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We present a preprocessing algorithm and run-time system for rendering 3D geometric models at a guaranteed frame rate. Our approach trades off space for frame rate by using images...
127
Voted
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
119
Voted
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
147
Voted
VL
1996
IEEE
15 years 8 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...