A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling.

Armando B. Matos

Published in: Softw. Pract. Exp. (1994)

Keyphrases

neural network
computational model
theoretical framework
probabilistic model
simulation model
formal model
cost function
mathematical model
learning algorithm
data model
mobile robot
probability distribution
prolog programs