1980 search results - page 330 / 396 » Compositional Model Checking of Real Time Systems |
WWW
2010
ACM
14 years 4 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
CVPR
1996
IEEE
14 years 1 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
WCE
2007
13 years 10 months ago
2007
—Partial Differential Equations (PDEs) play an essential role in modeling real world problems. The broad field of modeling such systems has drawn the researchers’ attention for...
ISM
2005
IEEE
14 years 2 months ago
2005
IEEE
We designed eSports—a collaborative and synchronous video annotation platform, which is to be used in Internet scale cross-platform grid computing environment to facilitate Comp...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...