Complexity results in revising UNITY programs.

Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni

Published in: ACM Trans. Auton. Adapt. Syst. (2009)

Keyphrases

computational complexity
search engine
belief revision
information retrieval
computer programs
case study
face recognition
search algorithm
data model
special case
decision problems
memory requirements
complexity measures
provably correct