The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds. Together, these far reaching scienti?c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.
Author(s): Yiming Zhao, Mingmin Zhang, Shu Wang, Yefang Chen (auth.), Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganá, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan (eds.)
Series: Lecture Notes in Computer Science 3483 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 1353
Tags: Software Engineering/Programming and Operating Systems; Theory of Computation; Numeric Computing; Information Systems and Communication Service; Simulation and Modeling; Computer Imaging, Vision, Pattern Recognition and Graphics
Front Matter....Pages -
Exploring Constructivist Learning Theory and Course Visualization on Computer Graphics....Pages 1-9
A Program Plagiarism Evaluation System....Pages 10-19
Integrated Development Environment for Digital Image Computing and Configuration Management....Pages 20-29
E-Learning Environment Based on Intelligent Synthetic Characters....Pages 30-37
SCO Control Net for the Process-Driven SCORM Content Aggregation Model....Pages 38-47
Design and Implementation of a Web-Based Information Communication Ethics Education System for the Gifted Students in Computer....Pages 48-55
International Standards Based Information Technology Courses: A Case Study from Turkey....Pages 56-61
Design and Implementation of the KORI: Intelligent Teachable Agent and Its Application to Education....Pages 62-71
A Space-Efficient Flash Memory Software for Mobile Devices....Pages 72-78
Security Threats and Their Countermeasures of Mobile Portable Computing Devices in Ubiquitous Computing Environments....Pages 79-85
A Business Model (BM) Development Methodology in Ubiquitous Computing Environments....Pages 86-95
Developing Business Models in Ubiquitous Era: Exploring Contradictions in Demand and Supply Perspectives....Pages 96-102
Semantic Web Based Intelligent Product and Service Search Framework for Location-Based Services....Pages 103-112
A Study on Value Chain in a Ubiquitous Computing Environment....Pages 113-121
A Study on Authentication Mechanism Using Robot Vacuum Cleaner....Pages 122-127
Design of Inside Information Leakage Prevention System in Ubiquitous Computing Environment....Pages 128-137
Design and Implementation of Home Media Server Using TV-Anytime for Personalized Broadcasting Service....Pages 138-147
Optimal Signal Control Using Adaptive Dynamic Programming....Pages 148-160
Inverse Constrained Bottleneck Problems on Networks....Pages 161-171
Dynamic Scheduling Problem of Batch Processing Machine in Semiconductor Burn-in Operations....Pages 172-181
Polynomial Algorithm for Parallel Machine Mean Flow Time Scheduling Problem with Release Dates....Pages 182-191
Differential Approximation of min sat , max sat and Related Problems....Pages 192-201
Probabilistic Coloring of Bipartite and Split Graphs....Pages 202-211
Design Optimization Modeling for Customer-Driven Concurrent Tolerance Allocation....Pages 212-221
Application of Data Mining for Improving Yield in Wafer Fabrication System....Pages 222-231
Determination of Optimum Target Values for a Production Process Based on Two Surrogate Variables....Pages 232-240
An Evolution Algorithm for the Rectilinear Steiner Tree Problem....Pages 241-249
A Two-Stage Recourse Model for Production Planning with Stochastic Demand....Pages 250-260
A Hybrid Primal-Dual Algorithm with Application to the Dual Transportation Problems....Pages 261-268
Real-Coded Genetic Algorithms for Optimal Static Load Balancing in Distributed Computing System with Communication Delays....Pages 269-279
Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs....Pages 280-289
A Continuation Method for the Linear Second-Order Cone Complementarity Problem....Pages 290-300
Fuzzy Multi-criteria Decision Making Approach for Transport Projects Evaluation in Istanbul....Pages 301-311
An Improved Group Setup Strategy for PCB Assembly....Pages 312-321
A Mixed Integer Programming Model for Modifying a Block Layout to Facilitate Smooth Material Flows....Pages 322-332
An Economic Capacity Planning Model Considering Inventory and Capital Time Value....Pages 333-341
A Quantity-Time-Based Dispatching Policy for a VMI System....Pages 342-349
An Exact Algorithm for Multi Depot and Multi Period Vehicle Scheduling Problem....Pages 350-359
Determining Multiple Attribute Weights Consistent with Pairwise Preference Orders....Pages 360-367
A Pricing Model for a Service Inventory System When Demand Is Price and Waiting Time Sensitive....Pages 368-377
A Bi-population Based Genetic Algorithm for the Resource-Constrained Project Scheduling Problem....Pages 378-387
Optimizing Product Mix in a Multi-bottleneck Environment Using Group Decision-Making Approach....Pages 388-396
Using Bipartite and Multidimensional Matching to Select the Roots of a System of Polynomial Equations....Pages 397-406
Principles, Models, Methods, and Algorithms for the Structure Dynamics Control in Complex Technical Systems....Pages 407-416
Applying a Hybrid Ant Colony System to the Vehicle Routing Problem....Pages 417-426
A Coevolutionary Approach to Optimize Class Boundaries for Multidimensional Classification Problems....Pages 427-436
Analytical Modeling of Closed-Loop Conveyors with Load Recirculation....Pages 437-447
A Multi-items Ordering Model with Mixed Parts Transportation Problem in a Supply Chain....Pages 448-457
Artificial Neural Network Based Life Cycle Assessment Model for Product Concepts Using Product Classification Method....Pages 458-466
New Heuristics for No-Wait Flowshop Scheduling with Precedence Constraints and Sequence Dependent Setup Time....Pages 467-476
Efficient Dual Methods for Nonlinearly Constrained Networks....Pages 477-487
A First-Order ε -Approximation Algorithm for Linear Programs and a Second-Order Implementation....Pages 488-498
Inventory Allocation with Multi-echelon Service Level Considerations....Pages 499-508
A Queueing Model for Multi-product Production System Under Varying Manufacturing Environment....Pages 509-518
Discretization Approach and Nonparametric Modeling for Long-Term HIV Dynamic Model....Pages 519-527
Performance Analysis and Optimization of an Improved Dynamic Movement-Based Location Update Scheme in Mobile Cellular Networks....Pages 528-537
Capacitated Disassembly Scheduling: Minimizing the Number of Products Disassembled....Pages 538-547
Ascent Phase Trajectory Optimization for a Hypersonic Vehicle Using Nonlinear Programming....Pages 548-557
Estimating Parameters in Repairable Systems Under Accelerated Stress....Pages 558-565
Optimization Model for Remanufacturing System at Strategic and Operational Level....Pages 566-576
A Novel Procedure to Identify the Minimized Overlap Boundary of Two Groups by DEA Model....Pages 577-586
A Parallel Tabu Search Algorithm for Optimizing Multiobjective VLSI Placement....Pages 587-595
A Coupled Gradient Network Approach for the Multi Machine Earliness and Tardiness Scheduling Problem....Pages 596-605
An Analytic Model for Correlated Traffics in Computer-Communication Networks....Pages 606-614
Product Mix Decisions in the Process Industry....Pages 615-623
On the Optimal Workloads Allocation of an FMS with Finite In-process Buffers....Pages 624-631
NEOS Server Usage in Wastewater Treatment Cost Minimization....Pages 632-641
Branch and Price Algorithm for Content Allocation Problem in VOD Network....Pages 642-651
Regrouping Service Sites: A Genetic Approach Using a Voronoi Diagram....Pages 652-661
Profile Association Rule Mining Using Tests of Hypotheses Without Support Threshold....Pages 662-669
The Capacitated max-k-cut Problem....Pages 670-679
A Cooperative Multi Colony Ant Optimization Based Approach to Efficiently Allocate Customers to Multiple Distribution Centers in a Supply Chain Network....Pages 680-691
Experimentation System for Efficient Job Performing in Veterinary Medicine Area....Pages 692-701
An Anti-collision Algorithm Using Two-Functioned Estimation for RFID Tags....Pages 702-711
A Proximal Solution for a Class of Extended Minimax Location Problem....Pages 712-721
A Lagrangean Relaxation Approach for Capacitated Disassembly Scheduling....Pages 722-732
DNA-Based Algorithm for 0-1 Planning Problem....Pages 733-742
Clustering for Image Retrieval via Improved Fuzzy-ART....Pages 743-752
Mining Schemas in Semi-structured Data Using Fuzzy Decision Trees....Pages 753-761
Parallel Seismic Propagation Simulation in Anisotropic Media by Irregular Grids Finite Difference Method on PC Cluster....Pages 762-771
The Web Replica Allocation and Topology Assignment Problem in Wide Area Networks: Algorithms and Computational Results....Pages 772-781
Optimal Walking Pattern Generation for a Quadruped Robot Using Genetic-Fuzzy Algorithm....Pages 782-791
Modelling of Process of Electronic Signature with Petri Nets and (Max, Plus) Algebra....Pages 792-801
Evolutionary Algorithm for Congestion Problem in Connection-Oriented Networks....Pages 802-811
Design and Development of File System for Storage Area Networks....Pages 812-825
Transaction Reordering for Epidemic Quorum in Replicated Databases....Pages 826-835
Automatic Boundary Tumor Segmentation of a Liver....Pages 836-842
Fast Algorithms for l1 Norm/Mixed l1 and l2 Norms for Image Restoration....Pages 843-851
Intelligent Semantic Information Retrieval in Medical Pattern Cognitive Analysis....Pages 852-857
FSPN-Based Genetically Optimized Fuzzy Polynomial Neural Networks....Pages 858-866
Unsupervised Color Image Segmentation Using Mean Shift and Deterministic Annealing EM....Pages 867-876
Identity-Based Key Agreement Protocols in a Multiple PKG Environment....Pages 877-886
Evolutionally Optimized Fuzzy Neural Networks Based on Evolutionary Fuzzy Granulation....Pages 887-895
Multi-stage Detailed Placement Algorithm for Large-Scale Mixed-Mode Layout Design....Pages 896-905
Adaptive Mesh Smoothing for Feature Preservation....Pages 906-915
A Fuzzy Grouping-Based Load Balancing for Distributed Object Computing Systems....Pages 916-925
DSP-Based ADI-PML Formulations for Truncating Linear Debye and Lorentz Dispersive FDTD Domains....Pages 926-935
Mobile Agent Based Adaptive Scheduling Mechanism in Peer to Peer Grid Computing....Pages 936-947
Comparison of Global Optimization Methods for Drag Reduction in the Automotive Industry....Pages 948-957
Multiple Intervals Versus Smoothing of Boundaries in the Discretization of Performance Indicators Used for Diagnosis in Cellular Networks....Pages 958-967
Visual Interactive Clustering and Querying of Spatio-Temporal Data....Pages 968-977
Breakdown-Free ML( k )BiCGStab Algorithm for Non-Hermitian Linear Systems....Pages 978-988
On Algorithm for Efficiently Combining Two Independent Measures in Routing Paths....Pages 989-998
Real Time Hand Tracking Based on Active Contour Model....Pages 999-1006
Hardware Accelerator for Vector Quantization by Using Pruned Look-Up Table....Pages 1007-1016
Optimizations of Data Distribution Localities in Cluster Grid Environments....Pages 1017-1027
Abuse-Free Item Exchange....Pages 1028-1035
Transcoding Pattern Generation for Adaptation of Digital Items Containing Multiple Media Streams in Ubiquitous Environment....Pages 1036-1045
Identity-Based Aggregate and Verifiably Encrypted Signatures from Bilinear Pairing....Pages 1046-1054
Element-Size Independent Analysis of Elasto-Plastic Damage Behaviors of Framed Structures....Pages 1055-1064
On the Rila-Mitchell Security Protocols for Biometrics-Based Cardholder Authentication in Smartcards....Pages 1065-1074
On-line Fabric-Defects Detection Based on Wavelet Analysis....Pages 1075-1084
Application of Time-Series Data Mining for Fault Diagnosis of Induction Motors....Pages 1085-1094
Distortion Measure for Binary Document Image Using Distance and Stroke....Pages 1095-1101
Region and Shape Prior Based Geodesic Active Contour and Application in Cardiac Valve Segmentation....Pages 1102-1110
Interactive Fluid Animation Using Particle Dynamics Simulation and Pre-integrated Volume Rendering....Pages 1111-1119
Performance of Linear Algebra Code: Intel Xeon EM64T and ItaniumII Case Examples....Pages 1120-1130
Dataset Filtering Based Association Rule Updating in Small-Sized Temporal Databases....Pages 1131-1139
A Comparison of Model Selection Methods for Multi-class Support Vector Machines....Pages 1140-1148
Fuzzy Category and Fuzzy Interest for Web User Understanding....Pages 1149-1158
Automatic License Plate Recognition System Based on Color Image Processing....Pages 1159-1168
Exploiting Locality Characteristics for Reducing Signaling Load in Hierarchical Mobile IPv6 Networks....Pages 1169-1179
Parallel Feature-Preserving Mesh Smoothing....Pages 1180-1189
On Multiparametric Sensitivity Analysis in Minimum Cost Network Flow Problem....Pages 1190-1202
Mining Patterns of Mobile Users Through Mobile Devices and the Musics They Listens....Pages 1203-1211
Scheduling the Interactions of Multiple Parallel Jobs and Sequential Jobs on a Non-dedicated Cluster....Pages 1212-1221
Feature-Correlation Based Multi-view Detection....Pages 1222-1230
BEST: Buffer-Driven Efficient Streaming Protocol....Pages 1231-1240
A New Neuro-Dominance Rule for Single Machine Tardiness Problem....Pages 1241-1250
Sinogram Denoising of Cryo-Electron Microscopy Images....Pages 1251-1261
Study of a Cluster-Based Parallel System Through Analytical Modeling and Simulation....Pages 1262-1271
Robust Parallel Job Scheduling Infrastructure for Service-Oriented Grid Computing Systems....Pages 1272-1281
SLA Management in a Service Oriented Architecture....Pages 1282-1291
Attacks on Port Knocking Authentication Mechanism....Pages 1292-1300
Marketing on Internet Communications Security for Online Bank Transactions....Pages 1301-1308
A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol....Pages 1309-1318
Distribution Data Security System Based on Web Based Active Database....Pages 1319-1330
Data Protection Based on Physical Separation: Concepts and Application Scenarios....Pages 1331-1340
Some Results on a Class of Optimization Spaces....Pages 1341-1348
Back Matter....Pages -
