Advanced Computational Methods for Knowledge Engineering: Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

✍ Scribed by Thanh Binh Nguyen, Tien van Do, Hoai An Le Thi, Ngoc Thanh Nguyen (eds.)

• Publisher: Springer International Publishing
• Year: 2016
• Tongue: English
• Leaves: 289
• Series: Advances in Intelligent Systems and Computing 453
• Edition: 1
• Category: Library

✦ Synopsis

This proceedings consists of 20 papers which have been selected and invited from the submissions to the 4^th International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2016) held on 2-3 May, 2016inLaxenburg, Austria. The conference is organized into 5 sessions: Advanced Optimization Methods and Their Applications, Models for ICT applications, Topics on discrete mathematics, Data Analytic Methods and Applications and Feature Extractio, respectively. All chapters in the book discuss theoretical and practical issues connected with computational methods and optimization methods for knowledge engineering. The editors hope that this volume can be useful for graduate and Ph.D. students and researchers in Applied Sciences, Computer Science and Applied Mathematics.

✦ Table of Contents

Front Matter....Pages i-xi
Front Matter....Pages 1-1
A DC Programming Approach to the Continuous Equilibrium Network Design Problem....Pages 3-16
A Method for Reducing the Number of Support Vectors in Fuzzy Support Vector Machine....Pages 17-27
DC Programming and DCA for Transmit Beamforming and Power Allocation in Multicasting Relay Network....Pages 29-41
Solving an Infinite-Horizon Discounted Markov Decision Process by DC Programming and DCA....Pages 43-55
Front Matter....Pages 57-57
A Method for Transforming TimeER Model-Based Specification into Temporal XML....Pages 59-73
Job Scheduling in a Computational Cluster with Multicore Processors....Pages 75-84
Modeling Multidimensional Data Cubes Based on MDA (Model-Driven Architecture)....Pages 85-97
Time Series Methods for Synthetic Video Traffic....Pages 99-111
Front Matter....Pages 113-113
A Constraint Solver for Equations over Sequences and Contexts....Pages 115-127
Hyperpath Centers....Pages 129-137
Front Matter....Pages 139-139
Analysis Techniques for Feedback-Based Educational Systems for Programming....Pages 141-152
Exploring Drivers of Urban Expansion....Pages 153-165
The Cropland Capture Game: Good Annotators Versus Vote Aggregation Methods....Pages 167-180
The Formal Models for the Socratic Method....Pages 181-193
Using Local Weather and Geographical Information to Predict Cholera Outbreaks in Hanoi, Vietnam....Pages 195-212
Front Matter....Pages 213-213
Effect of the Text Size on Stylometry—Application on Arabic Religious Texts....Pages 215-228
Personalized Facets for Faceted Search Using Wikipedia Disambiguation and Social Network....Pages 229-241
Readiness Measurement Model (RMM): Mathematical-Based Evaluation Technique for the Quantification of Knowledge Acquisition, Individual Understanding, and Interface Acceptance Dimensions of Software Applications on Handheld Devices....Pages 243-263
Triple Extraction Using Lexical Pattern-based Syntax Model....Pages 265-279
Using Mathematical Tools to Reduce the Combinatorial Explosion During the Automatic Segmentation of the Symbolic Musical Text....Pages 281-293
Back Matter....Pages 295-296

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics)