2012 search results - page 163 / 403 » Lane-Change Detection Using a Computational Driver Model |
135
Voted
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Coordinated attacks, where the tasks involved in an attack are distributed amongst multiple sources, can be used by an adversary to obfuscate his incursion. In this paper we prese...
124
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
108
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
l invaders in the form of pathogens. In this research, and abstract model of DC behaviour is developed and subsequently used to form an algorithm, the DCA. The abstraction process ...
158
click to vote
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
134
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Automatic, defect tolerant registration of transmission electron microscopy (TEM) images poses an important and challenging problem for biomedical image analysis, e.g. in computat...