6274 search results - page 548 / 1255 » Proofs, Programs, Processes |
205
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
201
click to vote
FCT
2005
Springer
16 years 1 months ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
184
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
173
click to vote
HIP
2005
Springer
16 years 1 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
186
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...