Computational Science – ICCS 2007: 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007.

More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes.

According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems.

Author(s): JeongHee Cha, GyeYoung Kim, HyungIl Choi (auth.), Yong Shi, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot (eds.)
Series: Lecture Notes in Computer Science 4488
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007

Language: English
Pages: 1240
Tags: Theory of Computation; Software Engineering/Programming and Operating Systems; Numeric Computing; Information Systems and Communication Service; Simulation and Modeling; Computer Imaging, Vision, Pattern Recognition and Graphics

Front Matter....Pages -
Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm....Pages 1-8
Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization....Pages 9-16
Parameterization of Quadrilateral Meshes....Pages 17-24
Pose Insensitive 3D Retrieval by Poisson Shape Histogram....Pages 25-32
Point-Sampled Surface Simulation Based on Mass-Spring System....Pages 33-40
Sweeping Surface Generated by a Class of Generalized Quasi-cubic Interpolation Spline....Pages 41-48
An Artificial Immune System Approach for B-Spline Surface Approximation Problem....Pages 49-56
Implicit Surface Reconstruction from Scattered Point Data with Noise....Pages 57-64
The Shannon Entropy-Based Node Placement for Enrichment and Simplification of Meshes....Pages 65-72
Parameterization of 3D Surface Patches by Straightest Distances....Pages 73-80
Facial Expression Recognition Based on Emotion Dimensions on Manifold Learning....Pages 81-88
AI Framework for Decision Modeling in Behavioral Animation of Virtual Avatars....Pages 89-96
Studies on Shape Feature Combination and Efficient Categorization of 3D Models....Pages 97-104
A Generalised-Mutual-Information-Based Oracle for Hierarchical Radiosity....Pages 105-113
Rendering Technique for Colored Paper Mosaic....Pages 114-121
Real-Time Simulation of Surface Gravity Ocean Waves Based on the TMA Spectrum....Pages 122-129
Determining Knots with Quadratic Polynomial Precision....Pages 130-137
Interactive Cartoon Rendering and Sketching of Clouds and Smoke....Pages 138-145
Spherical Binary Images Matching....Pages 146-149
Dynamic Data Path Prediction in Network Virtual Environment....Pages 150-153
Modeling Inlay/Onlay Prostheses with Mesh Deformation Techniques....Pages 154-157
Automatic Generation of Virtual Computer Rooms on the Internet Using X3D....Pages 158-161
Stained Glass Rendering with Smooth Tile Boundary....Pages 162-165
Guaranteed Adaptive Antialiasing Using Interval Arithmetic....Pages 166-169
Restricted Non-cooperative Games....Pages 170-177
A New Application of CAS to $\mbox{\LaTeX}$ Plottings....Pages 178-185
JMathNorm: A Database Normalization Tool Using Mathematica....Pages 186-193
Symbolic Manipulation of Bspline Basis Functions with Mathematica ....Pages 194-202
Rotating Capacitor and a Transient Electric Network....Pages 203-210
Numerical-Symbolic Matlab Program for the Analysis of Three-Dimensional Chaotic Systems....Pages 211-218
Safety of Recreational Water Slides: Numerical Estimation of the Trajectory, Velocities and Accelerations of Motion of the Users....Pages 219-226
Computing Locus Equations for Standard Dynamic Geometry Environments....Pages 227-234
Symbolic Computation of Petri Nets....Pages 235-242
Dynaput: Dynamic Input Manipulations for 2D Structures of Mathematical Expressions....Pages 243-250
On the Virtues of Generic Programming for Symbolic Computation....Pages 251-258
Semi-analytical Approach for Analyzing Vibro-Impact Systems....Pages 259-262
Formal Verification of Analog and Mixed Signal Designs in Mathematica....Pages 263-267
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library....Pages 268-271
Characterisation of the Surfactant Shell Stabilising Calcium Carbonate Dispersions in Overbased Detergent Additives: Molecular Modelling and Spin-Probe-ESR Studies....Pages 272-279
Hydrogen Adsorption and Penetration of Cx (x=58-62) Fullerenes with Defects....Pages 280-287
Ab Initio and DFT Investigations of the Mechanistic Pathway of Singlet Bromocarbenes Insertion into C-H Bonds of Methane and Ethane....Pages 288-295
Theoretical Gas Phase Study of the Gauche and Trans Conformers of 1-Bromo-2-Chloroethane and Solvent Effects....Pages 296-303
Dynamics Simulation of Conducting Polymer Interchain Interaction Effects on Polaron Transition....Pages 304-311
Cerium (III) Complexes Modeling with Sparkle/PM3....Pages 312-318
The Design of Blue Emitting Materials Based on Spirosilabifluorene Derivatives....Pages 319-326
Regulative Effect of Water Molecules on the Switches of Guanine-Cytosine (GC) Watson-Crick Pair....Pages 327-330
Energy Partitioning Analysis of the Chemical Bonds in mer -Mq3 (M = Al III , Ga III , In III , Tl III )....Pages 331-334
Ab Initio Quantum Chemical Studies of Six-Center Bond Exchange Reactions Among Halogen and Halogen Halide Molecules....Pages 335-338
Comparative Analysis of the Interaction Networks of HIV-1 and Human Proteins....Pages 339-346
Protein Classification from Protein-Domain and Gene-Ontology Annotation Information Using Formal Concept Analysis....Pages 347-354
A Supervised Classifier Based on Artificial Immune System....Pages 355-362
Ab-origin: An Improved Tool of Heavy Chain Rearrangement Analysis for Human Immunoglobulin....Pages 363-369
Analytically Tuned Simulated Annealing Applied to the Protein Folding Problem....Pages 370-377
Training the Hidden Vector State Model from Un-annotated Corpus....Pages 378-385
Using Computer Simulation to Understand Mutation Accumulation Dynamics and Genetic Load....Pages 386-392
An Object Model Based Repository for Biological Pathways Using XML Database Technology....Pages 393-396
Protein Folding Simulation with New Move Set in 3D Lattice Model....Pages 397-400
A Dynamic Committee Scheme on Multiple-Criteria Linear Programming Classification Method....Pages 401-408
Kimberlites Identification by Classification Methods....Pages 409-414
A Fast Method for Pricing Early-Exercise Options with the FFT....Pages 415-422
Neural-Network-Based Fuzzy Group Forecasting with Application to Foreign Exchange Rates Prediction....Pages 423-430
Credit Risk Evaluation Using Support Vector Machine with Mixture of Kernel....Pages 431-438
Neuro-discriminate Model for the Forecasting of Changes of Companies Financial Standings on the Basis of Self-organizing Maps....Pages 439-446
A New Computing Method for Greeks Using Stochastic Sensitivity Analysis....Pages 447-454
Application of Neural Networks for Foreign Exchange Rates Forecasting with Noise Reduction....Pages 455-461
An Experiment with Fuzzy Sets in Data Mining....Pages 462-469
An Application of Component-Wise Iterative Optimization to Feed-Forward Neural Networks....Pages 470-477
ERM-POT Method for Quantifying Operational Risk for Chinese Commercial Banks....Pages 478-481
Building Behavior Scoring Model Using Genetic Algorithm and Support Vector Machines....Pages 482-485
An Intelligent CRM System for Identifying High-Risk Customers: An Ensemble Data Mining Approach....Pages 486-489
The Characteristic Analysis of Web User Clusters Based on Frequent Browsing Patterns....Pages 490-493
A Two-Phase Model Based on SVM and Conjoint Analysis for Credit Scoring....Pages 494-498
A New Multi-Criteria Quadratic-Programming Linear Classification Model for VIP E-Mail Analysis....Pages 499-502
Efficient Implementation of an Optimal Interpolator for Large Spatial Data Sets....Pages 503-510
Development of an Efficient Conversion System for GML Documents....Pages 511-514
Effective Spatial Characterization System Using Density-Based Clustering....Pages 515-522
MTF Measurement Based on Interactive Live-Wire Edge Extraction....Pages 523-530
Research on Technologies of Spatial Configuration Information Retrieval....Pages 531-537
Modelbase System in Remote Sensing Information Analysis and Service Grid Node....Pages 538-541
Density Based Fuzzy Membership Functions in the Context of Geocomputation....Pages 542-549
A New Method to Model Neighborhood Interaction in Cellular Automata-Based Urban Geosimulation....Pages 550-557
Artificial Neural Networks Application to Calculate Parameter Values in the Magnetotelluric Method....Pages 558-561
Integrating Ajax into GIS Web Services for Performance Enhancement....Pages 562-568
Aerosol Optical Thickness Retrieval over Land from MODIS Data on Remote Sensing Information Service Grid Node....Pages 569-576
Universal Execution of Parallel Processes: Penetrating NATs over the Grid....Pages 577-584
Parallelization of C# Programs Through Annotations....Pages 585-592
Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances....Pages 593-600
Efficient Parallel Tree Reductions on Distributed Memory Environments....Pages 601-608
Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers....Pages 609-616
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids....Pages 617-624
Directed Network Representation of Discrete Dynamical Maps....Pages 625-632
Dynamical Patterns in Scalefree Trees of Coupled 2D Chaotic Maps....Pages 633-640
Simulation of the Electron Tunneling Paths in Networks of Nano-particle Films....Pages 641-648
Classification of Networks Using Network Functions....Pages 649-656
Effective Algorithm for Detecting Community Structure in Complex Networks Based on GA and Clustering....Pages 657-664
Mixed Key Management Using Hamming Distance for Mobile Ad-Hoc Networks....Pages 665-672
An Integrated Approach for QoS-Aware Multicast Tree Maintenance....Pages 673-680
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration....Pages 681-688
An Interval Lattice Model for Grid Resource Searching....Pages 689-695
Topic Maps Matching Computation Based on Composite Matchers....Pages 696-703
Social Mediation for Collective Intelligence in a Large Multi-agent Communities: A Case Study of AnnotGrid....Pages 704-711
Metadata Management in S-OGSA....Pages 712-719
Access Control Model Based on RDB Security Policy for OWL Ontology....Pages 720-727
Semantic Fusion for Query Processing in Grid Environment....Pages 728-735
SOF: A Slight Ontology Framework Based on Meta-modeling for Change Management....Pages 736-743
Data Forest: A Collaborative Version....Pages 744-751
Net’O’Drom– An Example for the Development of Networked Immersive VR Applications....Pages 752-759
Intelligent Assembly/Disassembly System with a Haptic Device for Aircraft Parts Maintenance....Pages 760-767
Generic Control Interface for Networked Haptic Virtual Environments....Pages 768-775
Physically-Based Interaction for Networked Virtual Environments....Pages 776-783
Middleware in Modern High Performance Computing System Architectures....Pages 784-791
Usability Evaluation in Task Orientated Collaborative Environments....Pages 792-798
Developing Motivating Collaborative Learning Through Participatory Simulations....Pages 799-807
A Novel Secure Interoperation System....Pages 808-814
Scalability Analysis of the SPEC OpenMP Benchmarks on Large-Scale Shared Memory Multiprocessors....Pages 815-822
Analysis of Linux Scheduling with VAMPIR....Pages 823-830
An Interactive Graphical Environment for Code Optimization....Pages 831-838
Memory Allocation Tracing with VampirTrace....Pages 839-846
Automatic Memory Access Analysis with Periscope....Pages 847-854
A Regressive Problem Solver That Uses Knowledgelet....Pages 855-863
Resource Management in a Multi-agent System by Means of Reinforcement Learning and Supervised Rule Learning....Pages 864-871
Learning in Cooperating Agents Environment as a Method of Solving Transport Problems and Limiting the Effects of Crisis Situations....Pages 872-879
Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems....Pages 880-887
Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath....Pages 888-895
A Rich Servants Service Model for Pervasive Computing....Pages 896-903
Techniques for Maintaining Population Diversity in Classical and Agent-Based Multi-objective Evolutionary Algorithms....Pages 904-911
Agents Based Hierarchical Parallelization of Complex Algorithms on the Example of hp Finite Element Method....Pages 912-919
Sexual Selection Mechanism for Agent-Based Evolutionary Computation....Pages 920-927
Agent-Based Evolutionary and Immunological Optimization....Pages 928-935
Strategy Description for Mobile Embedded Control Systems Exploiting the Multi-agent Technology....Pages 936-943
Agent-Based Modeling of Supply Chains in Critical Situations....Pages 944-951
Web-Based Integrated Service Discovery Using Agent Platform for Pervasive Computing Environments....Pages 952-955
A Novel Modeling Method for Cooperative Multi-robot Systems Using Fuzzy Timed Agent Based Petri Nets....Pages 956-959
Performance Evaluation of Fuzzy Ant Based Routing Method for Connectionless Networks....Pages 960-965
Service Agent-Based Resource Management Using Virtualization for Computational Grid....Pages 966-969
Fuzzy-Aided Syntactic Scene Analysis....Pages 970-973
Agent Based Load Balancing Middleware for Service-Oriented Applications....Pages 974-977
A Transformer Condition Assessment System Based on Data Warehouse and Data Mining....Pages 978-981
Shannon Wavelet Analysis....Pages 982-989
Wavelet Analysis of Bifurcation in a Competition Model....Pages 990-996
Evolution of a Spherical Universe in a Short Range Collapse/Generation Interval....Pages 997-1003
On the Differentiable Structure of Meyer Wavelets....Pages 1004-1011
Towards Describing Multi-fractality of Traffic Using Local Hurst Function....Pages 1012-1020
A Further Characterization on the Sampling Theorem for Wavelet Subspaces....Pages 1021-1028
Characterization on Irregular Tight Wavelet Frames with Matrix Dilations....Pages 1029-1036
Feature Extraction of Seal Imprint Based on the Double-Density Dual-Tree DWT....Pages 1037-1044
Vanishing Waves on Semi-closed Space Intervals and Applications in Mathematical Physics....Pages 1045-1052
Modelling Short Range Alternating Transitions by Alternating Practical Test Functions....Pages 1053-1059
Different Structural Patterns Created by Short Range Variations of Internal Parameters....Pages 1060-1066
Dynamic Error of Heat Measurement in Transient....Pages 1067-1074
Truncation Error Estimate on Random Signals by Local Average....Pages 1075-1082
A Numerical Solutions Based on the Quasi-wavelet Analysis....Pages 1083-1090
Plant Simulation Based on Fusion of L-System and IFS....Pages 1091-1098
A System Behavior Analysis Technique with Visualization of a Customer’s Domain....Pages 1099-1106
Research on Dynamic Updating of Grid Service....Pages 1107-1114
Software Product Line Oriented Feature Map....Pages 1115-1122
Design and Development of Software Configuration Management Tool to Support Process Performance Monitoring and Analysis....Pages 1123-1130
Data Dependency Based Recovery Approaches in Survival Database Systems....Pages 1131-1138
Usage-Centered Interface Design for Quality Improvement....Pages 1139-1146
Description Logic Representation for Requirement Specification....Pages 1147-1154
Ontologies and Software Engineering....Pages 1155-1161
Epistemological and Ontological Representation in Software Engineering....Pages 1162-1169
Exploiting Morpho-syntactic Features for Verb Sense Distinction in KorLex ....Pages 1170-1177
Chinese Ancient-Modern Sentence Alignment....Pages 1178-1185
A Language Modeling Approach to Sentiment Analysis....Pages 1186-1193
Processing the Mixed Properties of Light Verb Constructions....Pages 1194-1201
Concept-Based Question Analysis for an Efficient Document Ranking....Pages 1202-1209
Learning Classifier System Approach to Natural Language Grammar Induction....Pages 1210-1213
Text Retrieval Oriented Auto-construction of Conceptual Relationship....Pages 1214-1217
Filtering Methods for Feature Selection in Web-Document Clustering....Pages 1218-1221
A Korean Part-of-Speech Tagging System Using Resolution Rules for Individual Ambiguous Word....Pages 1222-1225
An Interactive User Interface for Text Display....Pages 1226-1229
Back Matter....Pages -