Efficient Mergesort.

Christian Sternagel

Published in: Arch. Formal Proofs (2011)

Keyphrases

data sets
pattern recognition
special case
cost effective
real time
data mining
machine learning
information systems
decision making
search algorithm