2745 search results - page 374 / 549 » A fast algorithm for computing large Fibonacci numbers |
150
click to vote
PODS
2004
ACM
16 years 5 months ago
2004
ACM
Several studies have demonstrated the effectiveness of the wavelet decomposition as a tool for reducing large amounts of data down to compact wavelet synopses that can be used to ...
137
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
161
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
148
click to vote
JAIR
2010
15 years 3 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
155
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...