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