9051 search results - page 394 / 1811 » On detectability of stochastic systems |
278
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
This paper deals with estimation of dense optical flow
and ego-motion in a generalized imaging system by exploiting
probabilistic linear subspace constraints on the flow.
We dea...
245
click to vote
SIGSOFT
2001
ACM
16 years 8 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
195
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
191
click to vote
ICMI
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a system for the automatic detection of agreements in multi-party conversations. We investigate various types of features that are useful for identifying agree...
183
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a problem that arises during the propagation of subscriptions in a contentbased publish-subscribe system. Subscription covering is a promising optimization that reduce...