10038 search results - page 1806 / 2008 » Model Checking for Managers |
139
click to vote
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
139
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
212
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...
139
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
Cluster-based servers can substantially increase performance when nodes cooperate to globally manage resources. However, in this paper we show that cooperation results in a substa...
138
Voted
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...