Reasoning about Assignments in Recursive Data Structures.
Alejandro TamaletKen MadlenerPublished in: SBMF (2010)
Keyphrases
- data structure
- spatial reasoning
- artificial intelligence
- quadtree
- databases
- real time
- recursive queries
- database operations
- data types
- nearest neighbor
- multiresolution
- expert systems
- index structure
- similarity measure
- case study
- inverted index
- suffix tree
- decision making
- causal reasoning
- computer vision
- learning algorithm