• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Embedding the Stable Failures Model of CSP in PVS.

Kun WeiJames 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