Functional Performance Specification with Stochastic Probes.

Ashok Argent-Katwala Jeremy T. Bradley

Published in: EPEW (2006)

Keyphrases

formal specification
formal verification
website
search algorithm
monte carlo
specification language
neural network
information retrieval
artificial intelligence
high level
probability distribution
markov chain
state transition
stochastic optimization
markov processes