2656 search results - page 54 / 532 » Design and analysis of algorithms reconsidered |
133
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High resolution mass spectrometry has been employed to rapidly and accurately type and subtype influenza viruses. The detection of signature peptides with unique theor...
131
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
WISDOM++ is a document analysis system whose main design requirements are real-time user interaction and adaptivity. This paper presents the two-phased skew estimation algorithm a...
122
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
137
click to vote
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
Certain manufacturing steps in very deep submicron VLSI involve chemical-mechanical polishing CMP which has varying e ects on device and interconnect features, depending on loca...
151
click to vote
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...