Sciweavers

959 search results - page 39 / 192
» New Techniques for Algorithm Portfolio Design
Sort
View
DAC
2006
ACM
16 years 23 days ago
Fast algorithms for slew constrained minimum cost buffering
As a prevalent constraint, sharp slew rate is often required in circuit design which causes a huge demand for buffering resources. This problem requires ultra-fast buffering techn...
Shiyan Hu, Charles J. Alpert, Jiang Hu, Shrirang K...
CHI
2011
ACM
14 years 3 months ago
Bricolage: example-based retargeting for web design
The Web provides a corpus of design examples unparalleled in human history. However, leveraging existing designs to produce new pages is often difficult. This paper introduces th...
Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Sco...
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
15 years 1 months ago
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
João Marques-Silva, Jordi Planes
IJCV
2006
116views more  IJCV 2006»
14 years 11 months ago
Structure-Texture Image Decomposition - Modeling, Algorithms, and Parameter Selection
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
Jean-François Aujol, Guy Gilboa, Tony F. Ch...
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
15 years 5 months ago
Third-Person Interactive Control of Humanoid with Real-Time Motion Planning Algorithm
- Interactive avatar control means a control mechanism using AI techniques to improve user navigation efficiency as well as visual realism in a 3D virtual environment. This paper r...
Shu-Wei Hsu, Tsai-Yen Li