12453 search results - page 2314 / 2491 » Concurrent Data Structures |
217
click to vote
Publication
In this paper we address the problem of defining a measure of diversity for a population of individuals whose genome can be subjected to major reorganizations during the evolution...
174
click to vote
CORR
2012
Springer
14 years 2 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...
146
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...
166
click to vote
SBP
2012
Springer
14 years 2 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...
220
click to vote
SI3D
2012
ACM
14 years 2 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...