3367 search results - page 376 / 674 » Incremental assignment problem |
153
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
159
Voted
SIGMOD
2000
ACM
15 years 9 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
182
Voted
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
173
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
176
click to vote
TOG
2012
13 years 7 months ago
2012
Marker-less motion capture is a challenging problem, particularly when only monocular video is available. We estimate human motion from monocular video by recovering three-dimensi...