Sciweavers

12194 search results - page 2215 / 2439
» cans 2010
Sort
View
ECCC
1998
118views more  ECCC 1998»
15 years 6 months ago
Chinese Remaindering with Errors
The Chinese Remainder Theorem states that a positive integer m is uniquely speci ed by its remainder modulo k relatively prime integers p1;:::;pk, provided m < Qk i=1 pi. Thus ...
Oded Goldreich, Dana Ron, Madhu Sudan
BMCBI
2010
131views more  BMCBI 2010»
15 years 4 months ago
A two-step site and mRNA-level model for predicting microRNA targets
Background: Despite experiments showing that the number of microRNA (miRNA) target sites is critical for miRNA targeting, most existing methods focus on identifying individual miR...
Takaya Saito, Pål Sætrom
ECCC
2010
143views more  ECCC 2010»
15 years 4 months ago
Space-Efficient Algorithms for Reachability in Surface-Embedded Graphs
We consider the reachability problem for a certain class of directed acyclic graphs embedded on surfaces. Let G(m, g) be the class of directed acyclic graphs with m = m(n) source ...
Derrick Stolee, N. V. Vinodchandran
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
16 years 4 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi
EUROSYS
2010
ACM
16 years 22 days ago
PUSH: A Dataflow Shell
The deluge of huge data sets such as those provided by sensor networks, online transactions, and the web provide exciting opportunities for data analysis. The scale of the data ...
Noah Evans, Eric Van Hensbergen
« Prev « First page 2215 / 2439 Last » Next »