Login / Signup
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