Sciweavers

192 search results - page 7 / 39
» Real-Time Correction of Closed-Captions
Sort
View
RTCSA
2006
IEEE
14 years 21 days ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
CA
1999
IEEE
13 years 11 months ago
A Behavioral Interface to Simulate Agent-Object Interactions in Real-Time
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
Marcelo Kallmann, Daniel Thalmann
ECCV
2004
Springer
14 years 8 months ago
Texture Boundary Detection for Real-Time Tracking
Abstract We propose an approach to texture boundary detection that only requires a line-search in the direction normal to the edge. It is therefore very fast and can be incorporate...
Ali Shahrokni, Tom Drummond, Pascal Fua
MICCAI
2007
Springer
14 years 7 months ago
Real-Time Tissue Tracking with B-Mode Ultrasound Using Speckle and Visual Servoing
We present a method for real-time tracking of moving soft tissue with B-mode ultrasound (US). The method makes use of the speckle information contained in the US images to estimate...
Alexandre Krupa, Gabor Fichtinger, Gregory D. Hage...
CADE
2008
Springer
14 years 7 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke