Login / Signup
Embedding the Stable Failures Model of CSP in PVS.
Kun Wei
James Heather
Published in:
IFM (2005)
Keyphrases
</>
computational model
probabilistic model
theoretical analysis
data sets
probability distribution
input data
knowledge base
video sequences
cost function
np hard
management system
digital images
formal model