A rho-calculus of explicit constraint application.

Horatiu Cirstea Germain Faure Claude Kirchner

Published in: High. Order Symb. Comput. (2007)

Keyphrases

real world
image processing
neural network
artificial intelligence
social networks
information systems
decision making
metadata
multimedia
search algorithm
digital libraries
expert systems