On Logical Method for Counting Dedekind Numbers.
Mati TombakAin IsotammTõnu TammePublished in: FCT (2001)
Keyphrases
- high precision
- synthetic data
- experimental evaluation
- significant improvement
- preprocessing
- optimization method
- mutual information
- high accuracy
- prior knowledge
- computational complexity
- data sets
- similarity measure
- image processing
- theoretical analysis
- main contribution
- detection method
- statistical model
- mathematical model
- fully automatic
- energy function
- probabilistic model
- optimization algorithm
- em algorithm
- computational cost
- cost function
- artificial neural networks
- pairwise
- reinforcement learning
- computer vision