Keyphrases
- high speed
- power consumption
- multi valued
- hybrid approaches
- data sets
- data mining
- machine learning
- image sequences
- relational databases
- modal logic
- classical logic
- sound and complete axiomatization
- dynamic logic
- asynchronous circuits
- automated reasoning
- artificial neural networks
- artificial intelligence
- neural network