Symbolic verification of digital hardware designs
Mutual nearest neighbourhood concept in pattern recognition metodology
Pattern classification using heuristic clustering procedures