Code Verification Hashing for Image Retrieval.
Yinqi ChenZhiyi LuYa LuYangting ZhengPeiwen LiShuo KangPublished in: ICME (2023)
Keyphrases
- image retrieval
- nearest neighbor search
- binary codes
- image database
- model checking
- image collections
- verification method
- nearest neighbor
- image representation
- symbolic execution
- source code
- visual features
- similarity search
- relevance feedback
- image content
- order preserving
- text retrieval
- image annotation
- formal verification
- hamming distance
- face verification
- random projections
- multiple feature fusion
- hash functions
- locality sensitive hashing
- file organization
- content based retrieval
- multimedia retrieval
- data sets
- image search
- feature space
- data structure
- formal methods
- static analysis
- retrieval method
- cross media
- visual words
- open source
- image data
- concurrent systems
- linear hashing