Sciweavers

83 search results - page 14 / 17
» A New Combinational Logic Minimization Technique with Applic...
Sort
View
DATE
2008
IEEE
143views Hardware» more  DATE 2008»
14 years 2 months ago
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne
CL
2000
Springer
14 years 5 days ago
Promoting Constraints to First-Class Status
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
Tobias Müller
ECCC
2007
180views more  ECCC 2007»
13 years 7 months ago
Adaptive Algorithms for Online Decision Problems
We study the notion of learning in an oblivious changing environment. Existing online learning algorithms which minimize regret are shown to converge to the average of all locally...
Elad Hazan, C. Seshadhri
ICRA
2010
IEEE
119views Robotics» more  ICRA 2010»
13 years 6 months ago
Guidance of a steerable cannula robot in soft tissue using preoperative imaging and conoscopic surface contour sensing
— Intraoperative surface contour sensing can enable the registration of high-resolution three-dimensional preoperative images for precise guidance of surgical robots. This is par...
Rav A. Lathrop, D. Caleb Rucker, Robert J. Webster...
DT
2000
88views more  DT 2000»
13 years 7 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor