Computational Science – ICCS 2007

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm
3. Altmetric Badge
   Chapter 2 Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization
4. Altmetric Badge
   Chapter 3 Parameterization of Quadrilateral Meshes
5. Altmetric Badge
   Chapter 4 Pose Insensitive 3D Retrieval by Poisson Shape Histogram
6. Altmetric Badge
   Chapter 5 Point-Sampled Surface Simulation Based on Mass-Spring System
7. Altmetric Badge
   Chapter 6 Sweeping Surface Generated by a Class of Generalized Quasi-cubic Interpolation Spline
8. Altmetric Badge
   Chapter 7 An Artificial Immune System Approach for B-Spline Surface Approximation Problem
9. Altmetric Badge
   Chapter 8 Implicit Surface Reconstruction from Scattered Point Data with Noise
10. Altmetric Badge
    Chapter 9 The Shannon Entropy-Based Node Placement for Enrichment and Simplification of Meshes
11. Altmetric Badge
    Chapter 10 Parameterization of 3D Surface Patches by Straightest Distances
12. Altmetric Badge
    Chapter 11 Facial Expression Recognition Based on Emotion Dimensions on Manifold Learning
13. Altmetric Badge
    Chapter 12 AI Framework for Decision Modeling in Behavioral Animation of Virtual Avatars
14. Altmetric Badge
    Chapter 13 Studies on Shape Feature Combination and Efficient Categorization of 3D Models
15. Altmetric Badge
    Chapter 14 A Generalised-Mutual-Information-Based Oracle for Hierarchical Radiosity
16. Altmetric Badge
    Chapter 15 Rendering Technique for Colored Paper Mosaic
17. Altmetric Badge
    Chapter 16 Real-Time Simulation of Surface Gravity Ocean Waves Based on the TMA Spectrum
18. Altmetric Badge
    Chapter 17 Determining Knots with Quadratic Polynomial Precision
19. Altmetric Badge
    Chapter 18 Interactive Cartoon Rendering and Sketching of Clouds and Smoke
20. Altmetric Badge
    Chapter 19 Spherical Binary Images Matching
21. Altmetric Badge
    Chapter 20 Dynamic Data Path Prediction in Network Virtual Environment
22. Altmetric Badge
    Chapter 21 Modeling Inlay/Onlay Prostheses with Mesh Deformation Techniques
23. Altmetric Badge
    Chapter 22 Automatic Generation of Virtual Computer Rooms on the Internet Using X3D
24. Altmetric Badge
    Chapter 23 Stained Glass Rendering with Smooth Tile Boundary
25. Altmetric Badge
    Chapter 24 Guaranteed Adaptive Antialiasing Using Interval Arithmetic
26. Altmetric Badge
    Chapter 25 Restricted Non-cooperative Games
27. Altmetric Badge
    Chapter 26 A New Application of CAS to $\mbox{\LaTeX}$ Plottings
28. Altmetric Badge
    Chapter 27 JMathNorm: A Database Normalization Tool Using Mathematica
29. Altmetric Badge
    Chapter 28 Symbolic Manipulation of Bspline Basis Functions with Mathematica
30. Altmetric Badge
    Chapter 29 Rotating Capacitor and a Transient Electric Network
31. Altmetric Badge
    Chapter 30 Numerical-Symbolic Matlab Program for the Analysis of Three-Dimensional Chaotic Systems
32. Altmetric Badge
    Chapter 31 Safety of Recreational Water Slides: Numerical Estimation of the Trajectory, Velocities and Accelerations of Motion of the Users
33. Altmetric Badge
    Chapter 32 Computing Locus Equations for Standard Dynamic Geometry Environments
34. Altmetric Badge
    Chapter 33 Symbolic Computation of Petri Nets
35. Altmetric Badge
    Chapter 34 Dynaput: Dynamic Input Manipulations for 2D Structures of Mathematical Expressions
36. Altmetric Badge
    Chapter 35 On the Virtues of Generic Programming for Symbolic Computation
37. Altmetric Badge
    Chapter 36 Semi-analytical Approach for Analyzing Vibro-Impact Systems
38. Altmetric Badge
    Chapter 37 Formal Verification of Analog and Mixed Signal Designs in Mathematica
39. Altmetric Badge
    Chapter 38 Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
40. Altmetric Badge
    Chapter 39 Characterisation of the Surfactant Shell Stabilising Calcium Carbonate Dispersions in Overbased Detergent Additives: Molecular Modelling and Spin-Probe-ESR Studies
41. Altmetric Badge
    Chapter 40 Hydrogen Adsorption and Penetration of Cx (x=58-62) Fullerenes with Defects
42. Altmetric Badge
    Chapter 41 Ab Initio and DFT Investigations of the Mechanistic Pathway of Singlet Bromocarbenes Insertion into C-H Bonds of Methane and Ethane
43. Altmetric Badge
    Chapter 42 Theoretical Gas Phase Study of the Gauche and Trans Conformers of 1-Bromo-2-Chloroethane and Solvent Effects
44. Altmetric Badge
    Chapter 43 Dynamics Simulation of Conducting Polymer Interchain Interaction Effects on Polaron Transition
45. Altmetric Badge
    Chapter 44 Cerium (III) Complexes Modeling with Sparkle/PM3
46. Altmetric Badge
    Chapter 45 The Design of Blue Emitting Materials Based on Spirosilabifluorene Derivatives
47. Altmetric Badge
    Chapter 46 Regulative Effect of Water Molecules on the Switches of Guanine-Cytosine (GC) Watson-Crick Pair
48. Altmetric Badge
    Chapter 47 Energy Partitioning Analysis of the Chemical Bonds in mer-Mq3 (M = AlIII, GaIII, InIII, TlIII)
49. Altmetric Badge
    Chapter 48 Ab Initio Quantum Chemical Studies of Six-Center Bond Exchange Reactions Among Halogen and Halogen Halide Molecules
50. Altmetric Badge
    Chapter 49 Comparative Analysis of the Interaction Networks of HIV-1 and Human Proteins
51. Altmetric Badge
    Chapter 50 Protein Classification from Protein-Domain and Gene-Ontology Annotation Information Using Formal Concept Analysis
52. Altmetric Badge
    Chapter 51 A Supervised Classifier Based on Artificial Immune System
53. Altmetric Badge
    Chapter 52 Ab-origin: An Improved Tool of Heavy Chain Rearrangement Analysis for Human Immunoglobulin
54. Altmetric Badge
    Chapter 53 Analytically Tuned Simulated Annealing Applied to the Protein Folding Problem
55. Altmetric Badge
    Chapter 54 Training the Hidden Vector State Model from Un-annotated Corpus
56. Altmetric Badge
    Chapter 55 Using Computer Simulation to Understand Mutation Accumulation Dynamics and Genetic Load
57. Altmetric Badge
    Chapter 56 An Object Model Based Repository for Biological Pathways Using XML Database Technology
58. Altmetric Badge
    Chapter 57 Protein Folding Simulation with New Move Set in 3D Lattice Model
59. Altmetric Badge
    Chapter 58 A Dynamic Committee Scheme on Multiple-Criteria Linear Programming Classification Method
60. Altmetric Badge
    Chapter 59 Kimberlites Identification by Classification Methods
61. Altmetric Badge
    Chapter 60 A Fast Method for Pricing Early-Exercise Options with the FFT
62. Altmetric Badge
    Chapter 61 Neural-Network-Based Fuzzy Group Forecasting with Application to Foreign Exchange Rates Prediction
63. Altmetric Badge
    Chapter 62 Credit Risk Evaluation Using Support Vector Machine with Mixture of Kernel
64. Altmetric Badge
    Chapter 63 Neuro-discriminate Model for the Forecasting of Changes of Companies Financial Standings on the Basis of Self-organizing Maps
65. Altmetric Badge
    Chapter 64 A New Computing Method for Greeks Using Stochastic Sensitivity Analysis
66. Altmetric Badge
    Chapter 65 Application of Neural Networks for Foreign Exchange Rates Forecasting with Noise Reduction
67. Altmetric Badge
    Chapter 66 An Experiment with Fuzzy Sets in Data Mining
68. Altmetric Badge
    Chapter 67 An Application of Component-Wise Iterative Optimization to Feed-Forward Neural Networks
69. Altmetric Badge
    Chapter 68 ERM-POT Method for Quantifying Operational Risk for Chinese Commercial Banks
70. Altmetric Badge
    Chapter 69 Building Behavior Scoring Model Using Genetic Algorithm and Support Vector Machines
71. Altmetric Badge
    Chapter 70 An Intelligent CRM System for Identifying High-Risk Customers: An Ensemble Data Mining Approach
72. Altmetric Badge
    Chapter 71 The Characteristic Analysis of Web User Clusters Based on Frequent Browsing Patterns
73. Altmetric Badge
    Chapter 72 A Two-Phase Model Based on SVM and Conjoint Analysis for Credit Scoring
74. Altmetric Badge
    Chapter 73 A New Multi-Criteria Quadratic-Programming Linear Classification Model for VIP E-Mail Analysis
75. Altmetric Badge
    Chapter 74 Efficient Implementation of an Optimal Interpolator for Large Spatial Data Sets
76. Altmetric Badge
    Chapter 75 Development of an Efficient Conversion System for GML Documents
77. Altmetric Badge
    Chapter 76 Effective Spatial Characterization System Using Density-Based Clustering
78. Altmetric Badge
    Chapter 77 MTF Measurement Based on Interactive Live-Wire Edge Extraction
79. Altmetric Badge
    Chapter 78 Research on Technologies of Spatial Configuration Information Retrieval
80. Altmetric Badge
    Chapter 79 Modelbase System in Remote Sensing Information Analysis and Service Grid Node
81. Altmetric Badge
    Chapter 80 Density Based Fuzzy Membership Functions in the Context of Geocomputation
82. Altmetric Badge
    Chapter 81 A New Method to Model Neighborhood Interaction in Cellular Automata-Based Urban Geosimulation
83. Altmetric Badge
    Chapter 82 Artificial Neural Networks Application to Calculate Parameter Values in the Magnetotelluric Method
84. Altmetric Badge
    Chapter 83 Integrating Ajax into GIS Web Services for Performance Enhancement
85. Altmetric Badge
    Chapter 84 Aerosol Optical Thickness Retrieval over Land from MODIS Data on Remote Sensing Information Service Grid Node
86. Altmetric Badge
    Chapter 85 Universal Execution of Parallel Processes: Penetrating NATs over the Grid
87. Altmetric Badge
    Chapter 86 Parallelization of C# Programs Through Annotations
88. Altmetric Badge
    Chapter 87 Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances
89. Altmetric Badge
    Chapter 88 Efficient Parallel Tree Reductions on Distributed Memory Environments
90. Altmetric Badge
    Chapter 89 Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers
91. Altmetric Badge
    Chapter 90 SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids
92. Altmetric Badge
    Chapter 91 Directed Network Representation of Discrete Dynamical Maps
93. Altmetric Badge
    Chapter 92 Dynamical Patterns in Scalefree Trees of Coupled 2D Chaotic Maps
94. Altmetric Badge
    Chapter 93 Simulation of the Electron Tunneling Paths in Networks of Nano-particle Films
95. Altmetric Badge
    Chapter 94 Classification of Networks Using Network Functions
96. Altmetric Badge
    Chapter 95 Effective Algorithm for Detecting Community Structure in Complex Networks Based on GA and Clustering
97. Altmetric Badge
    Chapter 96 Mixed Key Management Using Hamming Distance for Mobile Ad-Hoc Networks
98. Altmetric Badge
    Chapter 97 An Integrated Approach for QoS-Aware Multicast Tree Maintenance
99. Altmetric Badge
    Chapter 98 A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
100. Altmetric Badge
     Chapter 99 An Interval Lattice Model for Grid Resource Searching
101. Altmetric Badge
     Chapter 100 Topic Maps Matching Computation Based on Composite Matchers
102. Altmetric Badge
     Chapter 101 Social Mediation for Collective Intelligence in a Large Multi-agent Communities: A Case Study of AnnotGrid
103. Altmetric Badge
     Chapter 102 Computational Science – ICCS 2007
104. Altmetric Badge
     Chapter 103 Access Control Model Based on RDB Security Policy for OWL Ontology
105. Altmetric Badge
     Chapter 104 Semantic Fusion for Query Processing in Grid Environment
106. Altmetric Badge
     Chapter 105 SOF: A Slight Ontology Framework Based on Meta-modeling for Change Management
107. Altmetric Badge
     Chapter 106 Data Forest: A Collaborative Version
108. Altmetric Badge
     Chapter 107 Net’O’Drom– An Example for the Development of Networked Immersive VR Applications
109. Altmetric Badge
     Chapter 108 Intelligent Assembly/Disassembly System with a Haptic Device for Aircraft Parts Maintenance
110. Altmetric Badge
     Chapter 109 Generic Control Interface for Networked Haptic Virtual Environments
111. Altmetric Badge
     Chapter 110 Physically-Based Interaction for Networked Virtual Environments
112. Altmetric Badge
     Chapter 111 Middleware in Modern High Performance Computing System Architectures
113. Altmetric Badge
     Chapter 112 Usability Evaluation in Task Orientated Collaborative Environments
114. Altmetric Badge
     Chapter 113 Developing Motivating Collaborative Learning Through Participatory Simulations
115. Altmetric Badge
     Chapter 114 A Novel Secure Interoperation System
116. Altmetric Badge
     Chapter 115 Computational Science – ICCS 2007
117. Altmetric Badge
     Chapter 116 Analysis of Linux Scheduling with VAMPIR
118. Altmetric Badge
     Chapter 117 An Interactive Graphical Environment for Code Optimization
119. Altmetric Badge
     Chapter 118 Memory Allocation Tracing with VampirTrace
120. Altmetric Badge
     Chapter 119 Automatic Memory Access Analysis with Periscope
121. Altmetric Badge
     Chapter 120 A Regressive Problem Solver That Uses Knowledgelet
122. Altmetric Badge
     Chapter 121 Resource Management in a Multi-agent System by Means of Reinforcement Learning and Supervised Rule Learning
123. Altmetric Badge
     Chapter 122 Learning in Cooperating Agents Environment as a Method of Solving Transport Problems and Limiting the Effects of Crisis Situations
124. Altmetric Badge
     Chapter 123 Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems
125. Altmetric Badge
     Chapter 124 Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath
126. Altmetric Badge
     Chapter 125 A Rich Servants Service Model for Pervasive Computing
127. Altmetric Badge
     Chapter 126 Techniques for Maintaining Population Diversity in Classical and Agent-Based Multi-objective Evolutionary Algorithms
128. Altmetric Badge
     Chapter 127 Agents Based Hierarchical Parallelization of Complex Algorithms on the Example of hp Finite Element Method
129. Altmetric Badge
     Chapter 128 Sexual Selection Mechanism for Agent-Based Evolutionary Computation
130. Altmetric Badge
     Chapter 129 Agent-Based Evolutionary and Immunological Optimization
131. Altmetric Badge
     Chapter 130 Strategy Description for Mobile Embedded Control Systems Exploiting the Multi-agent Technology
132. Altmetric Badge
     Chapter 131 Agent-Based Modeling of Supply Chains in Critical Situations
133. Altmetric Badge
     Chapter 132 Web-Based Integrated Service Discovery Using Agent Platform for Pervasive Computing Environments
134. Altmetric Badge
     Chapter 133 A Novel Modeling Method for Cooperative Multi-robot Systems Using Fuzzy Timed Agent Based Petri Nets
135. Altmetric Badge
     Chapter 134 Performance Evaluation of Fuzzy Ant Based Routing Method for Connectionless Networks
136. Altmetric Badge
     Chapter 135 Service Agent-Based Resource Management Using Virtualization for Computational Grid
137. Altmetric Badge
     Chapter 136 Fuzzy-Aided Syntactic Scene Analysis
138. Altmetric Badge
     Chapter 137 Agent Based Load Balancing Middleware for Service-Oriented Applications
139. Altmetric Badge
     Chapter 138 A Transformer Condition Assessment System Based on Data Warehouse and Data Mining
140. Altmetric Badge
     Chapter 139 Shannon Wavelet Analysis
141. Altmetric Badge
     Chapter 140 Wavelet Analysis of Bifurcation in a Competition Model
142. Altmetric Badge
     Chapter 141 Evolution of a Spherical Universe in a Short Range Collapse/Generation Interval
143. Altmetric Badge
     Chapter 142 On the Differentiable Structure of Meyer Wavelets
144. Altmetric Badge
     Chapter 143 Towards Describing Multi-fractality of Traffic Using Local Hurst Function
145. Altmetric Badge
     Chapter 144 A Further Characterization on the Sampling Theorem for Wavelet Subspaces
146. Altmetric Badge
     Chapter 145 Characterization on Irregular Tight Wavelet Frames with Matrix Dilations
147. Altmetric Badge
     Chapter 146 Feature Extraction of Seal Imprint Based on the Double-Density Dual-Tree DWT
148. Altmetric Badge
     Chapter 147 Vanishing Waves on Semi-closed Space Intervals and Applications in Mathematical Physics
149. Altmetric Badge
     Chapter 148 Modelling Short Range Alternating Transitions by Alternating Practical Test Functions
150. Altmetric Badge
     Chapter 149 Different Structural Patterns Created by Short Range Variations of Internal Parameters
151. Altmetric Badge
     Chapter 150 Dynamic Error of Heat Measurement in Transient
152. Altmetric Badge
     Chapter 151 Truncation Error Estimate on Random Signals by Local Average
153. Altmetric Badge
     Chapter 152 A Numerical Solutions Based on the Quasi-wavelet Analysis
154. Altmetric Badge
     Chapter 153 Plant Simulation Based on Fusion of L-System and IFS
155. Altmetric Badge
     Chapter 154 A System Behavior Analysis Technique with Visualization of a Customer’s Domain
156. Altmetric Badge
     Chapter 155 Research on Dynamic Updating of Grid Service
157. Altmetric Badge
     Chapter 156 Software Product Line Oriented Feature Map
158. Altmetric Badge
     Chapter 157 Design and Development of Software Configuration Management Tool to Support Process Performance Monitoring and Analysis
159. Altmetric Badge
     Chapter 158 Data Dependency Based Recovery Approaches in Survival Database Systems
160. Altmetric Badge
     Chapter 159 Usage-Centered Interface Design for Quality Improvement
161. Altmetric Badge
     Chapter 160 Description Logic Representation for Requirement Specification
162. Altmetric Badge
     Chapter 161 Ontologies and Software Engineering
163. Altmetric Badge
     Chapter 162 Epistemological and Ontological Representation in Software Engineering
164. Altmetric Badge
     Chapter 163 Exploiting Morpho-syntactic Features for Verb Sense Distinction in KorLex
165. Altmetric Badge
     Chapter 164 Chinese Ancient-Modern Sentence Alignment
166. Altmetric Badge
     Chapter 165 A Language Modeling Approach to Sentiment Analysis
167. Altmetric Badge
     Chapter 166 Processing the Mixed Properties of Light Verb Constructions
168. Altmetric Badge
     Chapter 167 Concept-Based Question Analysis for an Efficient Document Ranking
169. Altmetric Badge
     Chapter 168 Learning Classifier System Approach to Natural Language Grammar Induction
170. Altmetric Badge
     Chapter 169 Text Retrieval Oriented Auto-construction of Conceptual Relationship
171. Altmetric Badge
     Chapter 170 Filtering Methods for Feature Selection in Web-Document Clustering
172. Altmetric Badge
     Chapter 171 A Korean Part-of-Speech Tagging System Using Resolution Rules for Individual Ambiguous Word
173. Altmetric Badge
     Chapter 172 An Interactive User Interface for Text Display