Parametrized Universality Problems for One-Counter Nets.
Shaull AlmagorUdi BokerPiotr HofmanPatrick TotzkePublished in: CoRR (2020)
Keyphrases
- difficult problems
- problems involving
- real time
- benchmark problems
- application domains
- multiscale
- decision making
- information systems
- databases
- clustering algorithm
- image segmentation
- similarity measure
- bayesian networks
- e learning
- support vector
- search algorithm
- artificial neural networks
- search space
- cellular automata
- decision problems
- mathematical programming
- database