Verifying a Quantitative Relaxation of Linearizability via Refinement.
Kiran AdhikariJames StreetChao WangYang LiuShao Jie ZhangPublished in: SPIN (2013)
Keyphrases
- qualitative and quantitative
- probabilistic relaxation
- image processing
- multimedia
- decision trees
- objective function
- database
- quantitative and qualitative
- digital libraries
- lognormal distribution
- iterative algorithms
- convex relaxation
- linear programming
- information technology
- search engine
- artificial intelligence
- neural network