5754 search results - page 921 / 1151 » Multi-class Model M |
109
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
127
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Mobile TV services are available in an increasing number of countries. For cost reasons, most of these services offer material directly recoded for mobile consumption (i.e. withou...
149
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
144
Voted
MM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
128
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
AUSNet is a functional network of autonomous undersea vehicles. We present two novel algorithms to enhance AUSNet. In live inwater testing, a packet queueing problem in which stal...