365 search results - page 21 / 73 » Liveness in Timed and Untimed Systems |
VIS
2007
IEEE
14 years 11 months ago
2007
IEEE
Although real-time interactive volume rendering is available even for very large data sets, this visualization method is used quite rarely in the clinical practice. We suspect this...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
There are significant barriers to academic research into user Web search preferences. Academic researchers are unable to manipulate the results shown by a major search engine to ...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
SEFM
2009
IEEE
14 years 4 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
This poster describes our recently developed real-time projector-camera system for interaction with Chinese Inkand-Wash Cartoons. We implement a real-time interactive water simula...