Login / Signup
A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.
Arthur Kalsing
Laurent Fesquet
Chouki Aktouf
Published in:
FDL (Selected Papers) (2017)
Keyphrases
</>
consistency checking
stochastic search
power consumption
semi automated
query answering
temporal reasoning
temporal constraints
high level
decision making
case study
video sequences
object oriented
path consistency