11394 search results - page 2099 / 2279 » Error-Correcting Data Structures |
131
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the classical model where the d...
108
Voted
POPL
2012
ACM
13 years 11 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...
126
Voted
SBP
2012
Springer
13 years 11 months ago
2012
Springer
The prevalence of cigarette smoking in the United States has declined very slowly over the last four decades, despite much effort by multiple governmental and non-governmental ins...
183
Voted
SI3D
2012
ACM
13 years 11 months ago
2012
ACM
In this paper we present decoupled deferred shading: a rendering technique based on a new data structure called compact geometry buffer, which stores shading samples independently...
144
Voted
VEE
2012
ACM
13 years 11 months ago
2012
ACM
Smartphones, tablets and other mobile platforms typically accommodate bulk data storage with low-cost, FAT-formatted Secure Digital cards. When one uses a mobile device to run a f...