An Algebra-Coalgebra Framework for System Specification.

Corina Cîrstea

Published in: CMCS (2000)

Keyphrases

artificial intelligence
artificial neural networks
framework enables
specification language
computational framework
conceptual model
theoretical framework
main contribution
lightweight
probabilistic model
real time
search algorithm
video sequences
image sequences
decision making
computer vision
data sets