4536 search results - page 524 / 908 » Contention-Sensitive Data Structures and Algorithms |
155
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
204
Voted
TOG
2012
13 years 9 months ago
2012
We present a method for recovering a temporally coherent, deforming triangle mesh with arbitrarily changing topology from an incoherent sequence of static closed surfaces. We solv...
190
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the traditional model where the...
239
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper we address multi-view reconstruction of urban environments using 3D shape grammars. Our formulation expresses the solution to the problem as a shape grammar parse tr...
229
click to vote
SIGMETRICS
2012
ACM
13 years 9 months ago
2012
ACM
Latency has become an important metric for network monitoring since the emergence of new latency-sensitive applications (e.g., algorithmic trading and high-performance computing)....