Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.
Jaime AriasMyriam Desainte-CatherineCamilo RuedaPublished in: ACSD (2014)
Keyphrases
- data processing
- coloured petri nets
- data management
- formal verification
- data analysis
- computer graphics
- computer systems
- user friendly
- website
- genetic algorithm
- data acquisition
- database
- neural network
- video sequences
- data structure
- information systems
- learning algorithm
- ranked list
- information visualization
- interactive learning
- machine learning
- graphical interface
- real time