Formal aspects of classifying and selecting business services.

Yathiraj B. Udupi Munindar P. Singh

Published in: AAMAS (2) (2009)

Keyphrases

formal specification
formal analysis
databases
database
real time
neural network
information retrieval
natural language
automatic classification
formal methods