1140 search results - page 204 / 228 » Progress on Certifying Algorithms |
107
click to vote
COCO
2004
Springer
15 years 6 months ago
2004
Springer
Juedes and Lutz (1995) proved a small span theorem for polynomial-time many-one reductions in exponential time. This result says that for language A decidable in exponential time,...
178
click to vote
FMSB
2008
15 years 4 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
120
click to vote
KRDB
1998
15 years 3 months ago
1998
We present a semantic caching approach for optimizing the performance of information mediators. A critical problem with information mediators, particularly those gathering and int...
141
click to vote
BIODATAMINING
2008
15 years 2 months ago
2008
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...
117
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Cancer is caused through a multistep process, in which a succession of genetic changes, each conferring a competitive advantage for growth and proliferation, leads to ...