183 search results - page 37 / 37 » Trace Semantics is Fully Abstract |
SPIESR
2003
13 years 6 months ago
2003
Abstract—We propose a fully automatic and computationally efficient framework for analysis and summarization of soccer videos using cinematic and object-based features. The propo...
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...
SIGGRAPH
1990
ACM
13 years 9 months ago
1990
ACM
not abstract asymmetry: different sides looks different clumps different from "data objects" need grid structure, alignment [Design Guidelines for Landmarks to Support Na...