Observing Success in the Pi-Calculus.

David Sabel Manfred Schmidt-Schauß

Published in: WPTE@RTA/TLCA (2015)

Keyphrases

neural network
machine learning
genetic algorithm
databases
computer vision
image processing
web services
multi agent
information technology
automated deduction