612 search results - page 82 / 123 » Using Static Analysis to Improve Automatic Test Generation |
134
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Video summarization is a mechanism for generating short summaries of the video to help people quickly make sense of the content of the video before downloading or seeking more det...
120
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
118
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper deals with the 3D shape estimation from silhouette cues of multiple moving objects in general indoor or outdoor 3D scenes with potential static obstacles, using multipl...
120
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
We describe a system for synchronization and organization of user-contributed content from live music events. We start with a set of short video clips taken at a single event by m...