870 search results - page 57 / 174 » The failure detector abstraction |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
PUC
2008
13 years 8 months ago
2008
of the hardware abstraction layer and of selected core middleware services. The latter enable a mobile device to store and retrieve data and position information in physical places...
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a unified approach to crowd segmentation. A global solution is generated using an Expectation Maximization framework. Initially, a head and shoulder d...
FGR
2011
IEEE
13 years 23 days ago
2011
IEEE
Abstract— We propose here to acquire high resolution sequences of a person’s face using a pan-tilt-zoom (PTZ) network camera. This capability should prove helpful in forensic a...