Keyphrases
- advances in artificial intelligence
- international conference
- international workshop
- databases and information systems
- lecture notes
- selected papers
- annual conference
- computer science
- intelligence and security informatics
- acm conference
- centre for advanced studies
- acm sigkdd
- knowledge discovery and data mining
- conference on artificial intelligence
- symbolic execution
- real time
- conference proceedings
- learning analytics and knowledge
- low cost
- formal verification
- progress in artificial intelligence
- hardware and software
- koli calling
- international symposium
- hardware designs
- artificial intelligence and law
- lecture notes in artificial intelligence
- invited paper
- association for artificial intelligence
- invited talk
- student research workshop
- test generation
- computer personnel
- model checking
- computer society
- annual computer personnel research conference
- proceedings of the th international conference
- test cases
- embedded systems
- hardware implementation
- web intelligence
- web search and data mining
- acm sigmis cpr
- field programmable gate array
- san diego supercomputer center
- computational intelligence