On Boundedness Problems for Pushdown Vector Addition Systems.
Jérôme LerouxGrégoire SutrePatrick TotzkePublished in: CoRR (2015)
Keyphrases
- specific problems
- distributed systems
- management system
- database
- linear systems
- benchmark problems
- multi agent systems
- complex systems
- maintenance activities
- technical issues
- solving problems
- computer systems
- software development
- optimization problems
- scheduling problem
- feature vectors
- artificial neural networks
- digital libraries
- objective function
- feature extraction
- information systems
- social networks
- learning algorithm
- real time