Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method.
Pavel GladyshevAndreas EnbackaPublished in: Int. J. Digit. EVid. (2007)
Keyphrases
- detection method
- clustering method
- high precision
- support vector machine svm
- experimental evaluation
- support vector machine
- fully automatic
- high accuracy
- data sets
- pairwise
- computational complexity
- objective function
- neural network
- mathematical model
- main contribution
- theoretical analysis
- preprocessing
- dynamic programming
- computational cost
- significant improvement
- optimization algorithm
- multiscale
- similarity measure
- error rate
- synthetic data
- matching algorithm
- computer vision
- cost function