Formalisation and Analysis of Objects as CSP Processes.

Renata Kaufman Augusto Sampaio Alexandre Mota

Published in: SBMF (2009)

Keyphrases

neural network
image analysis
formal analysis
multiscale
data analysis
statistical analysis
constraint satisfaction problems
data mining
web services
image sequences
moving objects
special case
constraint satisfaction