Towards Efficient Parameterized Synthesis.

Ayrat Khalimov Swen Jacobs Roderick Bloem

Published in: VMCAI (2013)

Keyphrases

computationally expensive
wide range
computationally efficient
information systems
image segmentation
database systems
video sequences
multiresolution
cost effective