Sciweavers

742 search results - page 55 / 149
» Argumentative alternating offers
Sort
View
CVPR
2010
IEEE
15 years 8 months ago
Denoising vs. Deblurring: HDR Imaging Techniques Using Moving Cameras
New cameras such as the Canon EOS 7D and Pointgrey Grasshopper have 14-bit sensors. We present a theoretical analysis and a practical approach that exploit these new cameras with ...
Li Zhang, Alok Deshpande, Xin Chen
CAMP
2005
IEEE
15 years 5 months ago
Real-Time Low Level Feature Extraction for On-Board Robot Vision Systems
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...
Roberto Pirrone, Giuseppe Careri, F. Saverio Fabia...
FOCS
2005
IEEE
15 years 5 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
VTS
2003
IEEE
115views Hardware» more  VTS 2003»
15 years 5 months ago
Fault Testing for Reversible Circuits
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
Ketan N. Patel, John P. Hayes, Igor L. Markov
MICRO
2000
IEEE
86views Hardware» more  MICRO 2000»
15 years 4 months ago
On pipelining dynamic instruction scheduling logic
A machine’s performance is the product of its IPC (Instructions Per Cycle) and clock frequency. Recently, Palacharla, Jouppi, and Smith [3] warned that the dynamic instruction s...
Jared Stark, Mary D. Brown, Yale N. Patt