Planar tree transformation: Results and counterexample.
Selim G. AklKamrul IslamHenk MeijerPublished in: Inf. Process. Lett. (2008)
Keyphrases
- tree structure
- model checking
- tree structures
- binary tree
- linear transformation
- tree construction
- information systems
- formal verification
- index structure
- r tree
- hierarchical tree
- database
- tree nodes
- projective transformations
- tree search
- multi dimensional
- data structure
- computer vision
- search engine
- databases
- real time