192 search results - page 6 / 39 » Real-Time Correction of Closed-Captions |
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
ICRA
1993
IEEE
15 years 3 months ago
1993
IEEE
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...
HYBRID
1995
Springer
15 years 3 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
JPDC
2006
14 years 11 months ago
2006
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...