Advanced Computational Methods for Knowledge Engineering: Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

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

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 416
• Series: Advances in Intelligent Systems and Computing 358
• Edition: 1
• Category: Library

✦ Synopsis

This volume contains the extended versions of papers presented at the 3rd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2015) held on 11-13 May, 2015 in Metz, France. The book contains 5 parts: 1. Mathematical programming and optimization: theory, methods and software, Operational research and decision making, Machine learning, data security, and bioinformatics, Knowledge information system, Software engineering. All chapters in the book discuss theoretical and algorithmic as well as practical issues connected with computation methods & optimization methods for knowledge engineering and machine learning techniques.

✦ Table of Contents

Front Matter....Pages 1-14
Front Matter....Pages 1-1
A Cutting Plane Approach for Solving Linear Bilevel Programming Problems....Pages 3-13
A Direct Method for Determining the Lower Convex Hull of a Finite Point Set in 3D....Pages 15-26
A Hybrid Intelligent Control System Based on PMV Optimization for Thermal Comfort in Smart Buildings....Pages 27-36
DC Approximation Approach for ℓ0-minimization in Compressed Sensing....Pages 37-48
DC Programming and DCA Approach for Resource Allocation Optimization in OFDMA/TDD Wireless Networks....Pages 49-56
DC Programming and DCA for a Novel Resource Allocation Problem in Emerging Area of Cooperative Physical Layer Security....Pages 57-68
Scheduling Problem for Bus Rapid Transit Routes....Pages 69-79
Front Matter....Pages 81-81
Application of Recently Proposed Metaheuristics to the Sequence Dependent TSP....Pages 83-94
omparative Study of Extended Kalman Filter and Particle Filter for Attitude Estimation in Gyroless Low Earth Orbit Spacecraft....Pages 95-106
Graph Coloring Tabu Search for Project Scheduling....Pages 107-118
Quality of the Approximation of Ruin Probabilities Regarding to Large Claims....Pages 119-126
Front Matter....Pages 127-127
An Improvement of Stability Based Method to Clustering....Pages 129-140
A Method for Building a Labeled Named Entity Recognition Corpus Using Ontologies....Pages 141-149
A New Method of Virus Detection Based on Maximum Entropy Model....Pages 151-161
A Parallel Algorithm for Frequent Subgraph Mining....Pages 163-173
Combining Random Sub Space Algorithm and Support Vector Machines Classifier for Arabic Opinions Analysis....Pages 175-184
Efficient Privacy Preserving Data Audit in Cloud....Pages 185-196
Incremental Mining Class Association Rules Using Diffsets....Pages 197-208
Mathematical Morphology on Soft Sets for Application to Metabolic Networks....Pages 209-218
Molecular Screening of Azurin-Like Anticancer Bacteriocins from Human Gut Microflora Using Bioinformatics....Pages 219-229
Front Matter....Pages 127-127
Non-linear Classification of Massive Datasets with a Parallel Algorithm of Local Support Vector Machines....Pages 231-241
On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases....Pages 243-254
Parallel Multiclass Logistic Regression for Classifying Large Scale Image Datasets....Pages 255-266
Statistical Features for Emboli Identification Using Clustering Technique....Pages 267-277
Twitter Sentiment Analysis Using Machine Learning Techniques....Pages 279-289
Video Recommendation Using Neuro-Fuzzy on Social TV Environment....Pages 291-298
Front Matter....Pages 299-299
A Two-Stage Consensus-Based Approach for Determining Collective Knowledge....Pages 301-310
Context in Ontology for Knowledge Representation....Pages 311-320
Designing a Tableau Reasoner for Description Logics....Pages 321-333
Granular Floor Plan Representation for Evacuation Modeling....Pages 335-344
Integrated Assessment Model on Global-Scale Emissions of Air Pollutants....Pages 345-354
Query-Subquery Nets with Stratified Negation....Pages 355-366
Front Matter....Pages 367-367
Distributed Hierarchy of Clusters in the Presence of Topological Changes....Pages 369-380
Native Runtime Environment for Internet of Things....Pages 381-390
Searching for Strongly Subsuming Higher Order Mutants by Applying Multi-objective Optimization Algorithm....Pages 391-402
Some Practical Aspects on Modelling Server Clusters....Pages 403-414
Back Matter....Pages 415-416

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics)