2468 search results - page 417 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
137
click to vote
SERA
2007
Springer
15 years 9 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
139
Voted
AVSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
140
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
115
Voted
VR
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
133
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...