Agile Validation of Higher Order Transformations Using F-Alloy.

Loïc Gammaitoni Pierre Kelsen Qin Ma

Published in: TASE (2016)

Keyphrases

higher order
high order
project management
natural images
software development
markov random field
information retrieval
pairwise
case study
conditional random fields
databases
supply chain management
software engineering
graphical models
genetic algorithm
markov models
low order
lower order
room temperature