Concurrent Pattern Calculus.

Thomas Given-Wilson Daniele Gorla Barry Jay

Published in: IFIP TCS (2010)

Keyphrases

pattern matching
machine learning
pattern discovery
database
neural network
artificial intelligence
relational databases
hidden markov models
pattern detection
similar patterns
automated deduction
provably correct