260 search results - page 31 / 52 » Hardness of Parameterized Resolution |
BMCBI
2010
14 years 12 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...
CGF
2010
14 years 12 months ago
2010
Surface materials are commonly described by attributes stored in textures (for instance, color, normal, or displacement). Interpolation during texture lookup provides a continuous...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—We compare some block equalizers for singlecarrier satellite systems subject to hard propagation conditions such as high Doppler spread, non-line-of-sight (NLOS), and no...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...