Keyphrases
- acm sigkdd
- naacl hlt
- international conference
- international workshop
- cyber security and information intelligence
- workshop on artificial intelligence
- acm sigmod
- knowledge discovery and data mining
- international symposium
- selected papers
- human computation
- model checking
- annual conference
- natural language processing
- working conference
- artificial intelligence
- lecture notes in artificial intelligence
- student research workshop
- formal verification
- advances in artificial intelligence
- lecture notes
- signature verification
- conference on artificial intelligence
- computer society
- data mining
- computational intelligence
- european conference on machine learning
- advances in information retrieval
- face verification
- search engine
- information technology
- web search and data mining
- international conference on machine learning
- australasian database conference
- knowledge discovery
- pacific rim
- knowledge discovery in databases
- intelligence and security informatics
- asynchronous circuits
- invited paper