A Framework for Certified Self-Stabilization.

Karine Altisen Pierre Corbineau Stéphane Devismes

Published in: FORTE (2016)

Keyphrases

main contribution
lightweight
probabilistic model
decision making
database
website
theoretical framework
software engineering
multi class
lower bound
preprocessing
image sequences
image processing
information systems
computer vision
learning algorithm
genetic algorithm
real world
real time