Sciweavers

1661 search results - page 15 / 333
» Real-time specification patterns
Sort
View
WSCG
2003
119views more  WSCG 2003»
14 years 11 months ago
Real-Time Artefact Corrections for Quantitative MR Temperature Mapping
Apart from anatomical and physiological imaging, MRI can also be used to produce temperature maps. Our objective is to obtain such maps in real-time to monitor mini-invasive therm...
Baudouin Denis de Senneville, Pascal Desbarats, Br...
ISMAR
2005
IEEE
15 years 3 months ago
Augmenting Deformable Objects in Real-Time
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
Julien Pilet, Vincent Lepetit, Pascal Fua
ISORC
1998
IEEE
15 years 2 months ago
Object-Oriented Design of Real-Time Telecom Systems
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
Jean-Marc Jézéquel
IBPRIA
2009
Springer
14 years 7 months ago
Real-Time Motion Detection for a Mobile Observer Using Multiple Kernel Tracking and Belief Propagation
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
Marc Vivet, Brais Martínez, Xavier Binefa
ICFEM
1997
Springer
15 years 2 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer