13 search results - page 2 / 3 » Detecting inconsistencies via universal reachability analysi... |
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...
ISM
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, a neural network based framework for semantic event detection in soccer videos is proposed. The framework provides a robust solution for soccer goal event detection...
ISMDA
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. An important problem that arises in hospitals is the monitoring and detection of nosocomial or hospital acquired infections (NIs). This paper describes a retrospective an...
BMCBI
2010
12 years 12 months ago
2010
Background: Nonparametric Bayesian techniques have been developed recently to extend the sophistication of factor models, allowing one to infer the number of appropriate factors f...