Login / Signup
Definition and Correct Refinement of Operation Specifications.
Thomas Baar
Slavisa Markovic
Frédéric Fondement
Alfred Strohmeier
Published in:
Research Results of the DICS Program (2006)
Keyphrases
</>
operational semantics
high level
artificial intelligence
formal specification
feature selection
decision trees
evolutionary algorithm
specification language
delay insensitive
computer vision
decision making
knowledge base
multiscale
multi agent
multi agent systems
written in natural language