1199 search results - page 190 / 240 » Parameterized Proof Complexity |
110
click to vote
BMCBI
2010
15 years 1 months ago
2010
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...
134
Voted
FOCM
2008
15 years 1 months ago
2008
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...
144
Voted
IJHPCA
2008
15 years 1 months ago
2008
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 ...
108
Voted
PAMI
2008
15 years 1 months ago
2008
This paper presents a new deformable modeling strategy aimed at integrating shape and appearance in a unified space. If we think traditional deformable models as "active cont...
125
Voted
VLDB
2002
ACM
15 years 23 days ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...