VPSPACE and a Transfer Theorem over the Reals

Pascal Koiran Sylvain Perifel

Published in: CoRR (2006)

Keyphrases

transfer learning
constraint databases
knowledge transfer
real time
transitive closure
data sets
data model
cross domain
real world
case study
artificial neural networks
interactive theorem proving