On integrating confidentiality and functionality in a formal method.
Michael J. BanksJeremy L. JacobPublished in: Formal Aspects Comput. (2014)
Keyphrases
- theoretical analysis
- cost function
- optimization method
- computational cost
- support vector machine
- high precision
- input data
- genetic algorithm
- clustering method
- computational complexity
- experimental evaluation
- fully automatic
- data sets
- optimization algorithm
- mathematical model
- markov random field
- formal model
- evaluation method
- segmentation method
- detection method
- semi supervised
- probabilistic model
- pairwise
- computer vision
- neural network