5962 search results - page 13 / 1193 » Efficient Clustering for Orders |
91
Voted
CLUSTER
2005
IEEE
15 years 7 months ago
2005
IEEE
67
Voted
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
144
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Physical maps are the substrate of genome sequencing and map-based cloning and their construction relies on the accurate assembly of BAC clones into large contigs that...
89
Voted
TCAD
2008
15 years 1 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
118
click to vote
CORR
2008
Springer
15 years 12 days ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...