5105 search results - page 191 / 1021 » An algorithm to determine peer-reviewers |
174
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
208
click to vote
SODA
2001
ACM
15 years 8 months ago
2001
ACM
Many massive graphs (such as the WWW graph and Call graphs) share certain universal characteristics which can be described by so-called the "power law". Here we determin...
166
click to vote
APPROX
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we consider the reconstruction problem on the tree for the hardcore model. We determine new bounds for the non-reconstruction regime on the k-regular tree showing non...
162
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Stochastic local search (SLS) algorithms have recently been proven to be among the best approaches to solving computationally hard problems. SLS algorithms typically have a number...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) is an important analytical technology for e.g. metabolomics experiments. Determining the boundaries, centres...