Formal digital license language with OTS/CafeOBJ method.
Jianwen XiangDines BjørnerKokichi FutatsugiPublished in: AICCSA (2008)
Keyphrases
- fully automatic
- high precision
- preprocessing
- significant improvement
- detection method
- objective function
- cost function
- digital content
- pairwise
- neural network
- synthetic data
- support vector machine svm
- experimental evaluation
- optimization method
- detection algorithm
- mutual information
- probabilistic model
- computational complexity
- support vector
- similarity measure
- learning algorithm