Efficient Specification-Based Component Retrieval.
John PenixPerry AlexanderPublished in: Autom. Softw. Eng. (1999)
Keyphrases
- image database
- efficient indexing
- information retrieval systems
- information retrieval
- real time
- retrieval systems
- database systems
- relevance feedback
- neural network
- image retrieval
- high level
- data structure
- multiscale
- computationally efficient
- web services
- model checking
- retrieval accuracy
- efficient retrieval
- search engine
- provably correct