3333 search results - page 509 / 667 » Abstract Proof Search |
170
click to vote
DATESO
2010
15 years 3 months ago
2010
Abstract. Tandem mass spectrometry is a widely used method for protein and peptide sequences identification. Since the mass spectra contain up to 80% of noise and many other inaccu...
187
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...
179
click to vote
GCB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract: The search for local RNA secondary structures and the annotation of unusually stable folding regions in genomic sequences are two well motivated bioinformatic problems. I...
173
click to vote
ICMLA
2010
15 years 3 months ago
2010
Abstract-- Policy Gradients with Parameter-based Exploration (PGPE) is a novel model-free reinforcement learning method that alleviates the problem of high-variance gradient estima...
153
click to vote
SAT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...