Place-Boundedness for Vector Addition Systems with one zero-test.
Rémi BonnetAlain FinkelJérôme LerouxMarc ZeitounPublished in: FSTTCS (2010)
Keyphrases
- building blocks
- data sets
- database
- data mining
- search engine
- image processing
- distributed systems
- systems require
- software testing
- statistical tests
- test cases
- learning systems
- computer systems
- management system
- expert systems
- data structure
- training data
- image segmentation
- website
- knowledge base
- computer vision
- neural network
- databases