12774 search results - page 2492 / 2555 » A Framework for Proof Systems |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
ISMAR
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
EXPDB
2006
ACM
14 years 2 months ago
2006
ACM
Two competing encoding concepts are known to scale well with growing amounts of XML data: XPath Accelerator encoding implemented by MonetDB for in-memory documents and X-Hive’s ...
ISLPED
2006
ACM
14 years 2 months ago
2006
ACM
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...
MIR
2006
ACM
14 years 2 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photos from a large collection of geo-referenced photographs. Such large collections are inherently difficult ...