Autonomous Systems Self-Organization, Management, and Control: Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008

Autonomous Systems – Self-Organization,Management, and Control......Page 2
Cover
......Page 1
Title Page
......Page 3
Copyright......Page 4
Committee......Page 6
Preface......Page 8
Contents......Page 10
1 Introduction......Page 12
2 The Perception Model for Pose Estimation......Page 13
3 Simulations and Results......Page 16
References......Page 20
1 Introduction......Page 22
2 Active Learning by Reduction of Version Space......Page 23
3 Error Bounds for Spherical Subdivision......Page 26
4 Application in Psychoacoustic Experiments......Page 28
References......Page 30
1 Introduction......Page 32
2 Experiment Setup......Page 33
3 Methods......Page 34
4 Results......Page 37
References......Page 39
1 Introduction......Page 40
2 Methods......Page 41
3 Hit Rat Game......Page 45
4 Results......Page 46
References......Page 47
1 Introduction......Page 50
2 Pattern Generation Based on PIPM......Page 52
3 Pattern Generation Extended to Any Desired Terrain......Page 54
4 Experiments......Page 55
References......Page 57
1 Introduction To Slung Load Transportation......Page 60
2 Problem Description......Page 62
3 State of The Art......Page 63
4 Concepts......Page 64
5 Realization......Page 66
6 Experimental Results......Page 67
7 Possible Applications......Page 70
8 Conclusions......Page 71
References......Page 72
1 Introduction......Page 74
2 Related Works......Page 75
3 Wind Tunnel Experiments......Page 76
4 Data Fusion and Management......Page 77
References......Page 81
1 Introduction......Page 82
2 Space Systems......Page 83
3 Properties of Swarm Systems......Page 85
4 Applications......Page 86
Further Reading......Page 87
1 Introduction......Page 90
2 ∈μ-Logics......Page 92
3 Self-Referential Sentences in ∈μ-Logics......Page 96
References......Page 97
1 Introduction......Page 98
2 Preliminaries......Page 99
3 A Theory of Aspects in Isabelle/HOL......Page 101
4 Compositionality and Run-Time Weaving......Page 104
5 Conclusions......Page 105
References......Page 106
1 Introduction......Page 108
2 Chord: A Motivating Challenge......Page 109
4 A Calculus for Peer-to-Peer Systems......Page 112
References......Page 115
1 Introduction......Page 116
2 Architecture......Page 117
3 UML-like Models......Page 119
4 ESPECS......Page 120
5 Using Especs for Autonomic Computing......Page 123
6 Interfaces and Parameterized Especs......Page 126
7 Conclusion......Page 127
References......Page 128
1 Motivation......Page 130
2 Actor-Based Object-Oriented Programming......Page 132
3 Testing Actor Networks......Page 135
References......Page 137
1 Introduction......Page 138
2 Overview of The Approach......Page 139
3 Related Work......Page 140
5 Run-Time Optimization and Architectural Translucency......Page 141
6 Case Study......Page 142
References......Page 144
1 Introduction......Page 146
2 Related Work......Page 147
4 Coordinated Reconfiguratio with Layered Self-Stabilization......Page 148
References......Page 157
1 Introduction......Page 160
2 Information Collection......Page 161
3 Finding User Interests......Page 163
4 Experiments......Page 164
References......Page 167
1 Introduction......Page 168
3 Min-Max Modular Support Vector Machine......Page 169
4 Patent Classificatio Experiments......Page 175
5 Conclusion......Page 177
References......Page 178
1 Introduction......Page 180
2 Related Work and NIL Forms......Page 181
3 Data Source and Corpus Established......Page 182
4 Recognize the NIL Expressions......Page 183
5 Experiment......Page 184
References......Page 185
1 Introduction......Page 188
2 Related Work......Page 189
3 Domain Word Identificatio......Page 190
4 Topic Identificatio......Page 191
5 Experimental Results......Page 193
References......Page 194