Sciweavers

3250 search results - page 364 / 650
» Parameterized Learning Complexity
Sort
View
BMCBI
2010
161views more  BMCBI 2010»
15 years 4 months ago
BPDA - A Bayesian peptide detection algorithm for mass spectrometry
Background: Mass spectrometry (MS) is an essential analytical tool in proteomics. Many existing algorithms for peptide detection are based on isotope template matching and usually...
Youting Sun, Jianqiu Zhang, Ulisses Braga-Neto, Ed...
FOCM
2008
100views more  FOCM 2008»
15 years 4 months ago
A Unifying Local Convergence Result for Newton's Method in Riemannian Manifolds
We consider the problem of finding a singularity of a differentiable vector field X defined on a complete Riemannian manifold. We prove a unified result for the existence and local...
Felipe Alvarez, Jérôme Bolte, Julien ...
IJHPCA
2008
131views more  IJHPCA 2008»
15 years 4 months ago
De Novo Ultrascale Atomistic Simulations On High-End Parallel Supercomputers
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
Aiichiro Nakano, Rajiv K. Kalia, Ken-ichi Nomura, ...
VLDB
2002
ACM
108views Database» more  VLDB 2002»
15 years 4 months ago
Generic Database Cost Models for Hierarchical Memory Systems
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
Stefan Manegold, Peter A. Boncz, Martin L. Kersten
JUCS
2010
117views more  JUCS 2010»
15 years 3 months ago
NP-completeness and FPT Results for Rectilinear Covering Problems
Abstract: This paper discusses three rectilinear (that is, axis-parallel) covering problems in d dimensions and their variants. The first problem is the Rectilinear Line Cover whe...
Vladimir Estivill-Castro, Apichat Heednacram, Fran...