7623 search results - page 1410 / 1525 » Constructive Volume Modeling |
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract. We propose measures for compressed data structures, in which space usage is measured in a data-aware manner. In particular, we consider the fundamental dictionary problem...
137
Voted
CVPR
2009
IEEE
16 years 25 days ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
127
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
148
click to vote
ICS
2010
Tsinghua U.
16 years 23 days ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
129
Voted
EUROSYS
2009
ACM
16 years 14 days ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...