Automatization of Ternary Boolean Algebras.
Wojciech KusmierowskiAdam GrabowskiPublished in: Formaliz. Math. (2021)
Keyphrases
- boolean functions
- real valued
- topological spaces
- spatial reasoning
- distributive lattices
- temporal reasoning
- search algorithm
- machine learning
- neural network
- expert systems
- artificial neural networks
- multiresolution
- image sequences
- case study
- computer vision
- boolean logic
- extended boolean
- threshold functions
- real valued data
- databases