Predicate Transformers as Power Operations.

Ingrid Rewitzky Chris Brink

Published in: Formal Aspects Comput. (1995)

Keyphrases

first order logic
machine learning
genetic algorithm
artificial intelligence
long term
power consumption
computational power
database
real time
data sets
case study
objective function
digital libraries
power distribution