Sciweavers

1980 search results - page 133 / 396
» Compositional Model Checking of Real Time Systems
Sort
View
ICIP
2007
IEEE
16 years 3 months ago
Virtual Mirror: Real-Time Tracking of Shoes in Augmented Reality Environments
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...
Jürgen Rurainsky, Peter Eisert, Philipp Fecht...
CSE
2009
IEEE
15 years 5 months ago
Real Time Rectification for Stereo Correspondence
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
Khurram Jawed, John Morris, Tariq Khan, Georgy L. ...
ENTCS
2008
103views more  ENTCS 2008»
15 years 1 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
126
Voted
RTSS
2009
IEEE
15 years 8 months ago
Impact of Data Fusion on Real-Time Detection in Sensor Networks
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
Rui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang
COOPIS
2002
IEEE
15 years 6 months ago
On Real-Time Top k Querying for Mobile Services
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...
Wolf-Tilo Balke, Ulrich Güntzer, Werner Kie&s...