10038 search results - page 1806 / 2008 » Model Checking for Managers |
165
click to vote
VISUALIZATION
2003
IEEE
15 years 11 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...
167
click to vote
MM
2003
ACM
15 years 11 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...
259
click to vote
MM
2003
ACM
15 years 11 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...
165
click to vote
SC
2003
ACM
15 years 11 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...
163
click to vote
SIGIR
2003
ACM
15 years 11 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ā...