Keyphrases
- lecture notes
- computer science
- selected papers
- international workshop
- annual conference
- acm sigkdd
- naacl hlt
- invited paper
- international conference
- cyber security and information intelligence
- workshop on artificial intelligence
- international symposium
- natural language processing
- conference proceedings
- lecture notes in artificial intelligence
- advances in artificial intelligence
- knowledge discovery and data mining
- model checking
- human computation
- student research workshop
- acm sigmod
- safety analysis
- kernel methods
- kernel function
- feature space
- support vector
- invited talk
- artificial intelligence
- united kingdom
- machine learning
- feature selection
- international conference on machine learning
- pacific rim
- computer society
- verification method
- program committee
- computer science education
- data mining