116 search results - page 8 / 24 » Using Logic Models To Predict The Detection Behavior Of Stat... |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Extremely crowded scenes present unique challenges to
video analysis that cannot be addressed with conventional
approaches. We present a novel statistical framework for
modeling...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
AAAI
1996
13 years 9 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
QOSA
2010
Springer
13 years 11 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...