A constructive proof of the phase-type characterization theorem.

Illés Horváth Miklós Telek

Published in: CoRR (2015)

Keyphrases

interactive theorem proving
theorem proving
databases
genetic algorithm
computer vision
information systems
decision making
multiscale
user interface
probabilistic model
least squares
training phase