Sciweavers

501 search results - page 35 / 101
» Methods for true power minimization
Sort
View
DATE
2005
IEEE
150views Hardware» more  DATE 2005»
14 years 1 months ago
Pueblo: A Modern Pseudo-Boolean SAT Solver
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
Hossein M. Sheini, Karem A. Sakallah
ICPR
2002
IEEE
14 years 18 days ago
Near-Optimal Regularization Parameters for Applications in Computer Vision
Computer vision requires the solution of many ill-posed problems such as optical flow, structure from motion, shape from shading, surface reconstruction, image restoration and ed...
Changjiang Yang, Ramani Duraiswami, Larry S. Davis
ISSS
1996
IEEE
125views Hardware» more  ISSS 1996»
13 years 11 months ago
Size-Constrained Code Placement for Cache Miss Rate Reduction
In design of an embedded system with a cache, it is important to minimize the cache miss rate to reduce the power consumption as well as to improvethe performance of the system. W...
Hiroyuki Tomiyama, Hiroto Yasuura
ICASSP
2011
IEEE
12 years 11 months ago
I-Divergence-based dereverberation method with auxiliary function approach
This paper presents a dereverberation method based on I-divergence minimization, which is particularly suitable for music signals. Existing dereverberation methods, including one ...
Naoki Yasuraoka, Hirokazu Kameoka, Takuya Yoshioka...
IROS
2006
IEEE
93views Robotics» more  IROS 2006»
14 years 1 months ago
General Kinematic Synthesis Method for a Discretely Actuated Robotic Manipulator (D-ARM)
— A “Discretely Actuated Robotic Manipulator”, or “D-ARM”, is any member of a class of robotic manipulators powered by actuators that have only discrete positional stable...
Keizo Miyahara, Gregory S. Chirikjian