A Description Methodology for Parameterized Modules in the Boyer-Moore Logic.

Diederik Verkest J. Vandenbergh Luc J. M. Claesen Hugo De Man

Published in: TPCD (1992)

Keyphrases

boyer moore
pattern matching
logic programming
real time
high level
data sets
classical logic
automated reasoning
search algorithm
query language
image sequences
decision trees
conceptual model
temporal logic
decision making
learning algorithm
databases