Structuring Retrenchments in B by Decomposition.

Michael Poppleton Richard Banach

Published in: FME (2003)

Keyphrases

decomposition method
neural network
database
data sets
information retrieval
knowledge base
computer vision
decision trees
expert systems
artificial neural networks
mobile devices
shape decomposition