A Formally Verified Model of Web Components.

Achim D. Brucker Michael Herzberg

Published in: FACS (2019)

Keyphrases

cost function
computational model
theoretical analysis
data sets
formal model
search engine
multiscale
autoregressive
database
neural network model
mathematical model
process model
parameter estimation
em algorithm
probability distribution
objective function
high level
decision making
genetic algorithm
databases