8903 search results - page 1677 / 1781 » Alternative |
144
click to vote
ECCC
2006
15 years 5 months ago
2006
We consider the problem of amplifying uniform average-case hardness of languages in NP, where hardness is with respect to BPP algorithms. We introduce the notion of monotone error...
147
click to vote
ECCC
2006
15 years 5 months ago
2006
Attempts at classifying computational problems as polynomial time solvable, NP-complete, or belonging to a higher level in the polynomial hierarchy, face the difficulty of undecid...
175
click to vote
ENTCS
2006
15 years 5 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
130
click to vote
ENVSOFT
2006
15 years 5 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
161
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: We develop a Bayesian method based on MCMC for estimating the relative rates of pericentric and paracentric inversions from marker data from two species. The method al...