Task management strategies for automatic task generation and verification.
Kazuma AbeRuth CortezAlexander VazheninPublished in: iCAST/UMEDIA (2013)
Keyphrases
- management system
- fully automatic
- information systems
- data processing
- information management
- machine learning
- semi automatic
- knowledge management
- functional verification
- model checking
- decision support
- data driven
- data management
- decision making
- multiscale
- learning algorithm
- neural network
- search strategies
- generation process
- selection strategies
- signature verification
- formal verification
- database