Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing.
Friedrich SlivovskyPublished in: CAV (1) (2020)
Keyphrases
- interpolation methods
- preprocessing
- image interpolation
- linear interpolation
- semantic web
- semantic description
- post processing
- automatic extraction
- semantic search
- semantic analysis
- feature extraction
- preprocessing phase
- information extraction
- nano scale
- semantic relationships
- semantic features
- satisfiability problem
- semantic network
- semantic annotation
- image retrieval
- search algorithm