Login / Signup
TOrPEDO: witnessing model correctness with topological proofs.
Claudio Menghi
Alessandro Maria Rizzi
Anna Bernasconi
Paola Spoletini
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
management system
computational model
data mining
computer vision
database
objective function
prior knowledge
statistical model
mathematical model
theoretical framework
autoregressive
formal model
simulation model
theoretical analysis
input data
probabilistic model
mobile robot
feature selection