Process Refinement in B.

Steve Dunne Stacey Conroy

Published in: ZB (2005)

Keyphrases

process model
databases
neural network
machine learning
information retrieval
search engine
video sequences
cooperative
expert systems
trade off
probabilistic model