Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.
Néstor CatañoIjaz AhmedPublished in: FMICS (2011)
Keyphrases
- lightweight
- multi task
- multi task learning
- learning tasks
- multiple tasks
- multitask learning
- authentication protocol
- feature selection
- multi class
- gaussian processes
- transfer learning
- communication infrastructure
- sparse learning
- learning problems
- rfid tags
- image classification
- text mining
- wireless sensor networks
- feature extraction
- data mining