Descriptional Complexity of Formal Systems (DCFS 2019).
Galina JiráskováStavros KonstantinidisPublished in: Inf. Comput. (2022)
Keyphrases
- formal methods
- intelligent systems
- management system
- computer systems
- artificial neural networks
- space complexity
- retrieval systems
- learning systems
- hidden markov models
- learning algorithm
- digital libraries
- computational complexity
- bayesian networks
- similarity measure
- clustering algorithm
- information systems
- computer vision