2012 search results - page 196 / 403 » Lane-Change Detection Using a Computational Driver Model |
133
Voted
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
137
Voted
TSE
1998
15 years 3 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
155
Voted
JAISE
2011
14 years 10 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
183
Voted
ACML
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Massive real-world data are network-structured, such as social network, relationship between proteins and power grid. Discovering the latent communities is a useful way f...
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...