Correctness Verification of Outsourced Inner Product of Vectors with Error Localization.
Gang ShengChunming TangHongyan HanYing YinPublished in: ISPDC (2016)
Keyphrases
- vector space
- localization error
- error rate
- model checking
- third party
- localization method
- error bounds
- formal verification
- weight vector
- object localization
- binary vectors
- localization algorithm
- relative error
- error measure
- error analysis
- hilbert space
- principal components
- similarity search
- feature vectors
- accurate localization
- case study