2002 search results - page 383 / 401 » An Approach for Assessment of Reliability of the System Usin... |
IJAR
2008
13 years 7 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
JLP
2006
13 years 7 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we present an adaptive but robust object
detector for static cameras by introducing classifier grids.
Instead of using a sliding window for object detection we
pro...
JDCTA
2008
13 years 7 months ago
2008
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...