Login / Signup
Symbolic invariant verification for systems with dynamic structural adaptation.
Basil Becker
Dirk Beyer
Holger Giese
Florian Klein
Daniela Schilling
Published in:
ICSE (2006)
Keyphrases
</>
management system
distributed systems
adaptive systems
computer vision
computer systems
learning systems
dynamic constraints
databases
verification method
changing environment
affine invariant
building blocks
dynamic environments
face recognition
e learning
search engine
learning algorithm
machine learning