5550 search results - page 963 / 1110 » Different Approaches to Proof Systems |
177
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
182
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a fast and accurate algorithm for computing the 2D pose of objects in images called cascaded pose regression (CPR). CPR progressively refines a loosely specified initia...
159
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Dynamic Power Management (DPM) is a technique to reduce power consumption of electronic systems by selectively shutting down idle components. The quality of the shutdown control a...
185
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
168
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The authors present a multiplication algorithm for low power implementation of digital filters on CMOS based digital signal processing systems. The algorithm decomposes individual...