Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.
Nicolas GuzyCédric RivièrePublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- theoretical framework
- computational model
- high level
- statistical model
- mathematical model
- information systems
- formal model
- similarity measure
- computational models
- neural network model
- cost function
- mobile robot
- analytical model
- machine learning
- multi agent systems
- objective function
- decision trees
- information retrieval