Optimal Verification of Operations on Dynamic Sets.
Charalampos PapamanthouRoberto TamassiaNikos TriandopoulosPublished in: CRYPTO (2011)
Keyphrases
- artificial intelligence
- dynamically changing
- asymptotically optimal
- dynamic programming
- optimal solution
- worst case
- dynamic environments
- real time
- case study
- lower bound
- evolutionary algorithm
- hidden markov models
- computer vision
- logic programs
- model checking
- changing environment
- convex sets
- search engine
- finding optimal