1795 search results - page 19 / 359 » On the Complexity of Circuit Satisfiability |
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
An iterative method for reconstructing a 3D polygonal mesh and color texture map from multiple views of an object is presented. In each iteration, the method first estimates a tex...
SAC
2009
ACM
14 years 4 days ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
DAC
1999
ACM
13 years 11 months ago
1999
ACM
Retiming is an optimization technique for synchronous circuits introduced by Leiserson and Saxe in 1983. Although powerful, retiming is not very widely used because it does not ha...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a novel approach for a free structure analog circuit design using Genetic Algorithms (GA). A major problem in a free structure circuit is its sensitivity calcu...