Login / Signup
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process.
Syed Hussein Syed Alwi
Cécile Braunstein
Emmanuelle Encrenaz
Published in:
FDL (Selected Papers) (2012)
Keyphrases
</>
computationally expensive
cost effective
refinement process
real time
databases
real world
three dimensional
video sequences
relational databases
rough sets
computationally efficient
software systems
process model