Translating Hierarchical Block Diagrams into Composite Predicate Transformers.

Iulia Dragomir Viorel Preoteasa Stavros Tripakis

Published in: CoRR (2015)

Keyphrases

hierarchical structure
real time
multiscale
coarse to fine
fixed size
genetic algorithm
computer vision
information systems
image sequences
first order logic
image coding
hierarchical clustering
image blocks
hierarchical model
block wise
graphical representations