Concurrent Abstract Predicates.

Thomas Dinsdale-Young Mike Dodds Philippa Gardner Matthew J. Parkinson Viktor Vafeiadis

Published in: ECOOP (2010)

Keyphrases

high level
data sets
database
user defined
information retrieval
learning algorithm
computer vision
decision trees
first order logic
mutual exclusion
state machines