Verifying a Decision Procedure for Pattern Completeness.

René Thiemann Akihisa Yamada

Published in: Arch. Formal Proofs (2024)

Keyphrases

decision making
pattern matching
decision makers
model checking
machine learning
pattern detection
decision model
decision process
data structure
database systems
database
computational complexity
hidden markov models
multiscale
decision rules
website
decision theory
image processing