An Implementation of LF with Coercive Subtyping & Universes.

Paul Callaghan Zhaohui Luo

Published in: J. Autom. Reason. (2001)

Keyphrases

efficient implementation
database
machine learning
data sets
feature selection
three dimensional
optimal solution
mobile robot
implementation details