6249 search results - page 1158 / 1250 » Topological Informational Spaces |
124
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
112
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
149
click to vote
AFRIGRAPH
2004
ACM
15 years 7 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
101
click to vote
APGV
2004
ACM
15 years 7 months ago
2004
ACM
The transition from traditional 24-bit RGB to high dynamic range (HDR) images is hindered by excessively large file formats with no backwards compatibility. In this paper, we prop...
131
click to vote
MIR
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we present an index structure-based method to fast and robustly search short video clips in large video collections. First we temporally segment a given long video ...