993 search results - page 128 / 199 » The Complexity of Probabilistic EL |
ARCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Mobile devices get to handle much information thanks to the convergence of diverse functionalities. Their environment has great potential of supporting customized service...
IMA
1995
Springer
13 years 11 months ago
1995
Springer
An algorithm for finding small-weight words in large linear codes is developed and a precise analysis of its complexity is given. It is in particular able to decode random [512,256...
CVPR
2005
IEEE
13 years 10 months ago
2005
IEEE
We propose an approach to incorporating dynamic models into the human body tracking process that yields full 3– D reconstructions from monocular sequences. We formulate the trac...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...