A Logical Reasoning Approach to Automatic Composition of Stateless Components.

Seyyed Vahid Hashemian Farhad Mavaddat

Published in: Fundam. Informaticae (2008)

Keyphrases

logical reasoning
formal semantics
website
neural network
genetic algorithm
artificial intelligence
databases
case study
information technology
multiresolution
hidden markov models
building blocks
software systems
software components