72 search results - page 15 / 15 » Approximations and Rough Sets Based on Tolerances |
ALMOB
2008
14 years 11 months ago
2008
Background: Protein structure alignments are usually based on very different techniques to sequence alignments. We propose a method which treats sequence, structure and even combi...
116
click to vote
TVLSI
2008
14 years 11 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...