67 search results - page 3 / 14 » Semantically Enhanced Containers for Concurrent Real-Time Sy... |
REX
1991
13 years 9 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
IFM
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
JSW
2007
13 years 6 months ago
2007
—Telemedicine has been researched to provide better care to people in the remote area via Internet. Enhancing the Telemedicine over Internet can be applied to multiple health-car...
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
We present a novel keyframe selection and recognition
method for robust markerless real-time camera tracking.
Our system contains an ofine module to select features
from a grou...
PRESENCE
2007
13 years 5 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...