269 search results - page 28 / 54 » Computational soundness of observational equivalence |
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...
CW
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicati...
AINA
2007
IEEE
14 years 14 days ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
AAAI
2006
13 years 10 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
CG
2004
Springer
13 years 8 months ago
2004
Springer
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicatio...