3677 search results - page 250 / 736 » Is a probabilistic modeling |
163
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present an algorithm for adaptive resolution integration of 3D data collected from multiple distributed sensors. The input to the algorithm is a set of 3D surface...
174
click to vote
ENTCS
1998
15 years 6 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
280
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
193
click to vote
ICASSP
2007
IEEE
16 years 29 days ago
2007
IEEE
Background modeling and subtraction is a fundamental task in many computer vision and video processing applications. We present a novel probabilistic background modeling and subtr...
181
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...