General Theory and Tools for Proving Algorithms in Nominative Data Systems.
Adrian JaszczakPublished in: Formaliz. Math. (2020)
Keyphrases
- data sets
- general theory
- data analysis
- statistical methods
- data sources
- database
- data structure
- data mining algorithms
- computer systems
- software packages
- data mining techniques
- learning algorithm
- multiresolution
- background knowledge
- pattern recognition
- high level
- mathematical models
- morphological operators
- data mining tools
- image segmentation