9067 search results - page 1780 / 1814 » Adaptive Model Checking |
121
click to vote
VW
1998
Springer
15 years 6 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
107
click to vote
STOC
1997
ACM
15 years 6 months ago
1997
ACM
We examine a class of collective coin- ipping games that arises from randomized distributed algorithms with halting failures. In these games, a sequence of local coin ips is gener...
122
click to vote
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
175
click to vote
SPAA
1993
ACM
15 years 6 months ago
1993
ACM
d Abstract) Thomas H. Cormen Leonard F. Wisniewski Department of Mathematics and Computer Science Dartmouth College We give asymptotically equal lower and upper bounds for the num...
159
click to vote
SIGGRAPH
1992
ACM
15 years 6 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...