On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems.
Vincent PenelleSylvain SalvatiGrégoire SutrePublished in: FSTTCS (2018)
Keyphrases
- higher order
- building blocks
- intelligent systems
- distributed systems
- high order
- complex systems
- pairwise
- computing systems
- real time
- learning systems
- knowledge based systems
- sufficient conditions
- feature vectors
- expert systems
- feature extraction
- database systems
- information systems
- computer vision
- learning algorithm
- data sets