8177 search results - page 300 / 1636 » Detecting System Emulators |
181
Voted
CVPR
2009
IEEE
16 years 10 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...
157
Voted
SIGSOFT
2001
ACM
16 years 4 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...
115
Voted
CAV
2009
Springer
16 years 3 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...
121
Voted
ICMI
2009
Springer
15 years 10 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...
107
click to vote
ICDCS
2007
IEEE
15 years 9 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...