1364 search results - page 182 / 273 » Comparative Branching-Time Semantics |
167
Voted
ISSTA
2012
ACM
13 years 6 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...
170
Voted
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
Finding topic experts on microblogging sites with millions of users, such as Twitter, is a hard and challenging problem. In this paper, we propose and investigate a new methodolog...
125
Voted
DKE
2008
15 years 3 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
154
Voted
IR
2006
15 years 3 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
114
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
We present an activity recognition feature inspired by
human psychophysical performance. This feature is based
on the velocity history of tracked keypoints. We present a
generat...