Model Driven Development Of Advanced User Interfaces

✍ Scribed by Hussmann, Heinrich(Editor);Meixner, Gerrit(Editor);Zuehlke, Detlef(Editor)

• Publisher: Springer
• Year: 2011
• Tongue: English
• Leaves: 186
• Series: Studies In Computational Intelligence
• Category: Library

✦ Synopsis

MDD, which uses models as primary tools in the development process, is now an important paradigm in software creation. This book provides an outstanding overview as well as deep insights into the emerging topic of MDD s application to advanced user interfaces.

"

✦ Table of Contents

Cover......Page 1
Types of Reduced A-Sources......Page 3
Examples......Page 5
Problems of Unconditional Optimization......Page 6
Main Definitions......Page 9
Conclusions......Page 11
Diagnosis of Iteration-Free Circuits......Page 12
Global Shannon Function h^l_U for Two-Valued Finite Information Systems......Page 14
Conclusions......Page 15
Problems......Page 16
Main Result......Page 4
Basic Notions......Page 7
Complexity of Decision Trees for Diagnosis of Faults......Page 10
Front Matter......Page 2
Introduction......Page 13
Decision Tables......Page 18
Diagnosis of One-Gate Circuit......Page 21
Problems of Conditional Optimization......Page 8
Approximate Algorithm for α-Decision Tree Optimization......Page 17
Three Cups and Small Ball......Page 20
Conclusions......Page 22
Problem of Three Post-Offices......Page 24
Recognition of Digits......Page 26
Traveling Salesman Problem with Four Cities......Page 27
Traveling Salesman Problem with n ≥ 4 Cities......Page 29
Data Table with Experimental Data......Page 30
Conclusions......Page 31
Part I: Tools......Page 32
Decision Tables, Trees, Rules and Tests......Page 33
Monotone Boolean Functions......Page 35
Set of Tests......Page 36
Set of Decision Rules......Page 39
Set of Decision Trees......Page 42
Relationships among Decision Trees, Rules and Tests......Page 44
Conclusions......Page 46
Lower Bounds......Page 47
Upper Bounds......Page 53
Conclusions......Page 56
Approximate Algorithms for Optimization of Tests and Decision Rules......Page 57
Set Cover Problem......Page 58
Tests: From Decision Table to Set Cover Problem......Page 60
From Set Cover Problem to Decision Table......Page 62
Approximate Algorithm for Decision Tree Optimization......Page 65
Optimization of Decision Trees......Page 69
Optimization of Decision Rules......Page 71
Optimization of Tests......Page 74
Conclusions......Page 77
Examples Connected with Applications......Page 78
Main Notions......Page 81
Relationships among Decision Trees, Rules and Tests......Page 83
Lower Bounds......Page 85
Upper Bounds......Page 86
Optimization of Tests......Page 87
Optimization of Decision Rules......Page 88
Approximate Algorithms for Decision Tree Optimization......Page 90
Example......Page 92
Conclusions......Page 95
Main Notions......Page 96
Relationships among α-Trees, α-Rules and α-Tests......Page 98
Lower Bounds......Page 100
Upper Bounds......Page 105
Approximate Algorithm for α-Decision Rule Optimization......Page 109
Approximate Algorithm for α-Decision Tree Optimization......Page 112
Algorithms for α-Test Optimization......Page 115
Conclusions......Page 117
Part II: Applications......Page 119
Supervised Learning......Page 120
Classifiers Based on Decision Trees......Page 121
Use of Greedy Algorithms......Page 122
Use of Dynamic Programming Approach......Page 123
Simplification of Rule System......Page 124
Pruning......Page 125
Lazy Learning Algorithms......Page 126
Lazy Decision Trees and Rules......Page 127
Lazy Learning Algorithm Based on Decision Rules......Page 129
Lazy Learning Algorithm Based on Reducts......Page 131
Conclusions......Page 132
Basic Notions......Page 134
Local Approach to Study of Decision Trees and Rules......Page 136
Local Shannon Functions for Arbitrary Information Systems......Page 137
Restricted Binary Information Systems......Page 139
Local Shannon Functions for Finite Information Systems......Page 142
Infinite Information Systems......Page 143
Global Shannon Function h^l_U for Two-Valued Finite Information Systems......Page 147
Conclusions......Page 148
Decision Trees and Rules over Quasilinear Information Systems......Page 150
Quasilinear Information Systems......Page 151
Linear Information Systems......Page 152
Optimization Problems over Quasilinear Information Systems......Page 154
Some Definitions......Page 155
Problems of Unconditional Optimization of Absolute Values......Page 156
Problems of Conditional Optimization......Page 157
Main Definitions......Page 158
Relationships between Depth of Deterministic and Nondeterministic Acyclic Programs......Page 159
Conclusions......Page 160
Problem of Recognition of Words......Page 161
A-Sources......Page 162
Types of Reduced A-Sources......Page 163
Main Result......Page 164
Examples......Page 165
Basic Notions......Page 167
Complexity of Decision Trees for Diagnosis of Faults......Page 170
Diagnosis of Iteration-Free Circuits......Page 172
Approach to Circuit Construction and Diagnosis......Page 175
Back Matter......Page 177