Sciweavers

5115 search results - page 521 / 1023
» On Randomized Lanczos Algorithms
Sort
View
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 10 months ago
Synthesis-for-testability using transformations
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
Miodrag Potkonjak, Sujit Dey, Rabindra K. Roy
APPROX
2008
Springer
100views Algorithms» more  APPROX 2008»
15 years 8 months ago
Corruption and Recovery-Efficient Locally Decodable Codes
A (q, , )-locally decodable code (LDC) C : {0, 1}n {0, 1}m is an encoding from n-bit strings to m-bit strings such that each bit xk can be recovered with probability at least 1 2 +...
David P. Woodruff
CANDC
2005
ACM
15 years 8 months ago
Computer art: a personal recollection
The story of some early computer art drawings in 1965 is told. It is a story of randomness. Computer art is viewed here as the programming of classes of aesthetic objects. In the ...
Frieder Nake
COCO
2008
Springer
100views Algorithms» more  COCO 2008»
15 years 8 months ago
Detecting Rational Points on Hypersurfaces over Finite Fields
We study the complexity of deciding whether a given homogeneous multivariate polynomial has a nontrivial root over a finite field. Given a homogeneous algebraic circuit C that com...
Swastik Kopparty, Sergey Yekhanin
ESTIMEDIA
2008
Springer
15 years 8 months ago
Parallelization of belief propagation method on embedded multicore processors for stereo vision
Markov random field models provide a robust formulation of low-level vision problems. Among the problems, stereo vision remains the most investigated field. The belief propagation...
Chi-Hua Lai, Kun-Yuan Hsieh, Shang-Hon Lai, Jenq K...