11214 search results - page 2083 / 2243 » Just-in-time data structures |
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
—Content-based document image retrieval is a new and promising research area. Without OCR, document indexing directly based on image content is more general and convenient. Howev...
112
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...
CORR
2012
Springer
13 years 7 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...
POPL
2012
ACM
13 years 7 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...
SBP
2012
Springer
13 years 7 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...