3 search results - page 1 / 1 » Improvement Strategies for the F-Race Algorithm: Sampling De... |
HM
2007
Springer
15 years 3 months ago
2007
Springer
DAC
2001
ACM
15 years 10 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
BMCBI
2007
14 years 9 months ago
2007
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...