6120 search results - page 319 / 1224 » The Power of Linear Functions |
170
click to vote
ALGORITHMICA
1998
15 years 6 months ago
1998
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
178
click to vote
TCAD
2002
15 years 6 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
222
click to vote
NAR
2010
15 years 1 months ago
2010
FlyTF (http://www.flytf.org) is a database of computationally predicted and/or experimentally verified site-specific transcription factors (TFs) in the fruit fly Drosophila melano...
161
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a dereverberation method based on I-divergence minimization, which is particularly suitable for music signals. Existing dereverberation methods, including one ...
169
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...