3995 search results - page 131 / 799 » Linearization of hybrid processes |
152
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
137
click to vote
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Confidence measures are important for the validation of optical flow fields by estimating the correctness of each displacement vector. There are several frequently used c...
162
click to vote
DAGM
2008
Springer
15 years 5 months ago
2008
Springer
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
131
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
130
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a novel method to model and estimate elastic geometric deformations of an observed object, whether they are caused by the object’s own dynamic behavior, or by the dyn...