Sciweavers

2874 search results - page 412 / 575
» Intrusion Detection: Systems and Models
Sort
View
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 11 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
SIGSOFT
2008
ACM
16 years 7 months ago
Marple: a demand-driven path-sensitive buffer overflow detector
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
Wei Le, Mary Lou Soffa
ROBOCUP
2005
Springer
91views Robotics» more  ROBOCUP 2005»
15 years 12 months ago
Gaze Direction Determination of Opponents and Teammates in Robot Soccer
Gaze direction determination of opponents and teammates is a very important ability for any soccer player, human or robot. However, this ability is still not developed in any of th...
Patricio Loncomilla, Javier Ruiz-del-Solar
CORR
2008
Springer
135views Education» more  CORR 2008»
15 years 6 months ago
Probabilistic SVM/GMM Classifier for Speaker-Independent Vowel Recognition in Continues Speech
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
Mohammad Nazari, Abolghasem Sayadiyan, Seyyed Maji...
CVPR
2005
IEEE
16 years 8 months ago
Robust and Efficient Foreground Analysis for Real-Time Video Surveillance
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
Ying-li Tian, Max Lu, Arun Hampapur