Keyphrases
- lecture notes
- international symposium
- revised selected papers
- formal methods
- computer science
- revised papers
- machine learning for multimodal interaction
- artificial intelligence
- formal specification
- carefully reviewed and selected from submissions
- lecture notes in artificial intelligence
- safety critical
- building blocks
- ambient intelligence
- computational intelligence
- modeling language
- model checking
- international workshop
- data mining
- software engineering
- case study
- wireless networks
- knowledge based systems
- intelligent systems
- book constitutes the refereed proceedings
- association rules
- genetic algorithm