Mechanising Partiality With Re-implementation.

Manfred Kerber Michael Kohlhase

Published in: KI (1997)

Keyphrases

database
genetic algorithm
web services
real time
databases
neural network
decision trees
image segmentation
reinforcement learning
information technology
trade off
mobile devices
efficient implementation
implementation issues