The Hoare and Smith Power Domain Constructors Commute under Composition.

Kevin E. Flannery Johannes J. Martin

Published in: J. Comput. Syst. Sci. (1990)

Keyphrases

domain specific
power consumption
random walk
description logics
power distribution
domain models
cross domain
domain independent
hidden markov models
mobile robot
database
domain knowledge
evolutionary algorithm
similarity measure
normal form
website
information systems
neural network