Computability of a Map and Decidability of its Graph in the Model of Blum, Shub and Smale.

Corine Ceola Pierre B. A. Lecomte

Published in: Theor. Comput. Sci. (1998)

Keyphrases

computational model
probabilistic model
mathematical model
experimental data
graph model
graph representation
management system
theoretical analysis
data sets
high level
multiscale
maximum a posteriori
formal model
weighted graph