Computation Calculus - Bridging a Formalization Gap.

Rutger M. Dijkstra

Published in: MPC (1998)

Keyphrases

knowledge representation
data mining
formal model
databases
data structure
evolutionary algorithm
probabilistic model
description logics
efficient computation