339 search results - page 17 / 68 » Crash Data Collection: A Windows Case Study |
ENGL
2007
13 years 7 months ago
2007
— As is the trend worldwide, India is undergoing rapid urbanization. This means not only that more people than ever before will be living and working in cities, but also that mor...
ITP
2010
13 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
ICDE
2012
IEEE
12 years 6 months ago
2012
IEEE
Top-k pairs queries have received significant attention by the research community. k-closest pairs queries, k-furthest pairs queries and their variants are among the most well stu...
DAGSTUHL
2004
13 years 9 months ago
2004
We present the Priority R-tree, or PR-tree, which is the first R-tree variant that always answers a window query using O((N/B)1-1/d + T/B) I/Os, where N is the number of ddimensio...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Land parcels are the foundation for many aspects of public and community life. This report presents the findings of a study of information about land parcels in New York State. It...