Sciweavers

1381 search results - page 146 / 277
» Computational Complexity of Constraint Satisfaction
Sort
View
DAC
1996
ACM
15 years 8 months ago
Tutorial: Design of a Logic Synthesis System
Logic synthesis systems are complex systems and algorithmic research in synthesis has become highly specialized. This creates a gap where it is often not clear how an advance in a...
Richard L. Rudell
117
Voted
RT
1995
Springer
15 years 7 months ago
Spherical Wavelets: Texture Processing
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...
Peter Schröder, Wim Sweldens
AMDO
2008
Springer
15 years 6 months ago
Inverse Kinematics Using Sequential Monte Carlo Methods
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
Nicolas Courty, Elise Arnaud
TCS
2008
15 years 4 months ago
Approximate GCDs of polynomials and sparse SOS relaxations
The problem of computing approximate GCDs of several polynomials with real or complex coefficients can be formulated as computing the minimal perturbation such that the perturbed ...
Bin Li, Jiawang Nie, Lihong Zhi
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 3 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha