Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position.
Nicodemus Msafiri John MbwamboYu-Shan SunJoan KroneMurali SitaramanPublished in: SAI (1) (2022)
Keyphrases
- binary space partitioning
- binary tree
- formal verification
- asynchronous circuits
- model checking
- learning objects
- high level
- information integration
- e learning
- position information
- design patterns
- neural network
- hierarchical structure
- distributed systems
- face verification
- formal methods
- association rules
- search algorithm
- decision trees
- metadata