Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.
Margarita V. KorovinaOleg V. KudinovPublished in: CCA (2000)
Keyphrases
- real valued
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- complex valued
- background knowledge
- constructive induction
- training examples
- case base
- real valued data
- integer valued
- version space
- ranking functions
- active learning
- concept learning
- case based reasoning
- low level
- distributed representations
- prior knowledge
- keywords