Localization and Register Sharing for Predicate Abstraction.
Himanshu JainFranjo IvancicAarti GuptaMalay K. GanaiPublished in: TACAS (2005)
Keyphrases
- high level
- information sharing
- localization algorithm
- accurate localization
- information systems
- database systems
- search algorithm
- object localization
- knowledge sharing
- dynamic environments
- source localization
- activity detection
- first order logic
- database
- knowledge representation
- expert systems
- website
- genetic algorithm