3510 search results - page 3 / 702 » Searching with numbers |
CG
2002
Springer
13 years 6 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
ICIP
2001
IEEE
14 years 8 months ago
2001
IEEE
WWW
2002
ACM
14 years 7 months ago
2002
ACM
A large fraction of the useful web comprises of specification documents that largely consist of hattribute name, numeric valuei pairs embedded in text. Examples include product in...
BMCBI
2008
13 years 6 months ago
2008
Background: A JavaTM application is presented, which compares large numbers (n > 100) of raw FTICR mass spectra from patients and controls. Two peptide profile matrices can be ...
ACG
2009
Springer
14 years 1 months ago
2009
Springer