in the π-calculus.

Arnaud Carayol Daniel Hirschkoff Davide Sangiorgi

Published in: EXPRESS (2003)

Keyphrases

computer algebra
algebraic structure
automated deduction
image sequences
provably correct
relational calculus
complex objects
data model
information technology
bayesian networks
neural network
three dimensional
case study
website
computer vision
search engine
genetic algorithm
information retrieval
machine learning