Modal abstractions of concurrent behavior.

Flemming Nielson Sebastian Nanz Hanne Riis Nielson

Published in: ACM Trans. Comput. Log. (2011)

Keyphrases

high level
search engine
human behavior
databases
neural network
computer vision
metadata
decision trees
face recognition
artificial neural networks
behavior patterns