A transfer theorem in constructive real algebra.

Philip Scowcroft

Published in: Ann. Pure Appl. Log. (1988)

Keyphrases

real life
real world
knowledge transfer
knowledge base
decision trees
training data
data model
active learning