Sciweavers

3359 search results - page 531 / 672
» A Simplified Idea Algorithm
Sort
View
IMA
2005
Springer
71views Cryptology» more  IMA 2005»
14 years 3 months ago
Concrete Security of the Blum-Blum-Shub Pseudorandom Generator
Abstract. The asymptotic security of the Blum-Blum-Shub (BBS) pseudorandom generator has been studied by Alexi et al. and Vazirani and Vazirani, who proved independently that O(log...
Andrey Sidorenko, Berry Schoenmakers
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
14 years 3 months ago
Specmurt Analysis of Multi-Pitch Music Signals with Adaptive Estimation of Common Harmonic Structure
This paper describes a multi-pitch analysis method using specmurt analysis with iterative estimation of the quasioptimal common harmonic structure function. Specmurt analysis (Sag...
Shoichiro Saito, Hirokazu Kameoka, Takuya Nishimot...
LPAR
2005
Springer
14 years 3 months ago
Another Complete Local Search Method for SAT
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
Haiou Shen, Hantao Zhang
PPDP
2005
Springer
14 years 3 months ago
Monadic concurrent linear logic programming
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
Pablo López, Frank Pfenning, Jeff Polakow, ...
SCALESPACE
2005
Springer
14 years 3 months ago
Stabilised Nonlinear Inverse Diffusion for Approximating Hyperbolic PDEs
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
Michael Breuß, Thomas Brox, Thomas Sonar, Jo...