KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the persistent topics in digital forensic research in recent years has been the problem of finding all things similar. Developed tools usually take on the form of similarit...
ICIAP
2007
ACM
14 years 7 months ago
2007
ACM
Object detection in video surveillance is typically done through background subtraction or temporal differencing. While these techniques perform very well under scenes where there...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
We are developing a complex computer aided diagnosis (CAD) system to detect small pulmonary nodules from helical CT scans. Here we present a classifier to reduce the number of fal...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
Visual surveillance applications such as object identification, object tracking, and anomaly detection require reliable motion detection as an initial processing step. Such a dete...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper demonstrates how to reduce the hand labeling effort considerably by 3D information in an object detection task. In particular, we demonstrate how an efficient car detec...