3 search results - page 1 / 1 » Improvement Strategies for the F-Race Algorithm: Sampling De... |
HM
2007
Springer
13 years 11 months ago
2007
Springer
DAC
2001
ACM
14 years 5 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
13 years 5 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...