Abstraction of Process Specifications.

Artem Polyvyanyy

Published in: AlgoSyn (2010)

Keyphrases

video sequences
high level
decision making
image processing
bounded model checking
database
data abstraction
search algorithm
learning environment
image segmentation
case study
knowledge base
computer vision
social networks
search engine
artificial intelligence
real time