Keyphrases
- software engineering
- international workshop
- programming language
- international conference
- hong kong
- lecture notes
- national university
- artificial intelligence
- international symposium
- computational intelligence
- formal methods
- objective function
- conference on artificial intelligence
- advances in artificial intelligence
- quadratic programming
- knowledge discovery and data mining
- machine learning
- linear programming
- computer science
- reverse engineering
- proceedings of the th international conference
- software systems
- maximum margin
- database applications
- object oriented
- learning algorithm
- working conference
- intelligence and security informatics
- data mining