10615 search results - page 200 / 2123 » Dynamic topic models |
224
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
117
Voted
AVSS
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a method for create a background model in non-stationary scenes. Each pixel has a dynamic Gaussian mixture model. Our approach can automatically change the number of Ga...
125
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We describe here our proposed method to investigate the sliding motion of a soft fingertip in the dexterous manipulation. This paper focuses on analyzing dynamic slidi...
137
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
154
Voted
IDA
1999
Springer
15 years 7 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...