2673 search results - page 376 / 535 » Guided Static Analysis |
155
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a novel methodology for detection and tracking of facial features like eyes, nose and mouth in image sequences. The proposed methodology is intended to...
117
Voted
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
120
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Structural indices play a significant role in improving the efficiency of XML query evaluation. Being able to compare various structural indexing techniques is critical for a DBM...
134
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
When traditional firewall and intrusion detection systems (IDS) are used to detect possible attacks from the network, they often make wrong decisions and block the legitimate conn...
130
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...