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

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