Example-Driven Modeling using Clafer.

Michal Antkiewicz Kacper Bak Krzysztof Czarnecki Zinovy Diskin Dina Zayan Andrzej Wasowski

Published in: MDEBE@MoDELS (2013)

Keyphrases

data sets
wide range
digital libraries
real time
artificial intelligence
decision making
metadata
decision trees
image segmentation
three dimensional
high quality
cooperative
multi agent systems
color images
hidden markov models
statistical modeling