Knowledge-Based and Intelligent Information and Engineering Systems, Part I
15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I
Published on 15. September 2011
XXII, 615 pages
978-3-642-23851-2 (ISBN)
Description
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Part 1: The total of 244 high-quality papers presented were carefully reviewed and selected from numerous submissions. The 61 papers of Part 1 are organized in topical sections on artificial neural networks, connectionists systems and evolutionary computation, machine learning and classical AI, agent, multi-agentsystems, knowledge based and expert systems, intelligent vision, image processing and signal processing, knowledge management, ontologies, and data mining.
More details
Other editions
Additional editions
Andreas Koenig | Andreas Dengel | Knut Hinkelmann
Knowledge-Based and Intelligent Information and Engineering Systems, Part I
15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I
Book
09/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Title
- Preface
- Organization
- Table of Contents - Part I
- Artificial Neural Networks, Connectionists Systems and Evolutionary Computation
- Adaptive Recurrent Neuro-Fuzzy Networks Based on Takagi-Sugeno Inference for Nonlinear Identification in Mechatronic Systems
- Introduction
- Recurrent Fuzzy Neural Network (RFNN)
- Differential Evolutionary Algorithm for RFNN Optimization
- Experimental Results
- Conclusions
- References
- Evolution of Iterative Formulas Using Cartesian Genetic Programming
- Introduction
- Cartesian Genetic Programming
- Standard CGP
- Extensions of CGP
- Proposed Method
- Iterative Application of Phenotype
- Modifications of CGP
- Test Problems
- Computational Effort
- Results
- Newton-Raphson Iterative Division
- Goldschmidt Division
- Euclidean Algorithm
- Conclusions
- References
- A New Clustering Algorithm with the Convergence Proof
- Introduction
- Related Work
- Proposed Criterion of Clustering
- Search Strategy
- Experimental Results
- Conclusion and Future Work
- References
- On the Comparison of Parallel Island-Based Models for the Multiobjectivised Antenna Positioning Problem
- Introduction
- APP: Mathematical Formulation
- Optimisation Scheme
- Sequential Strategy
- Parallel Strategy
- Experimental Evaluation
- Conclusions and Future Work
- References
- Adaptive Request Distribution in Cluster-Based Web System
- Introduction
- Adaptive Request Distribution
- Web Switch Design
- Server Model
- Simulation Model and Experiment Results
- Summary
- References
- Globally Evolved Dynamic Bee Colony Optimization
- Introduction
- Bee Colony Optimization
- Local Evolution
- Static Parameters
- Three Modifications for Bee Colony Optimization
- Global Evolution
- Dynamic Parameters
- Special Treatment for the Best Bee
- Experiments and Results
- Job Shop Scheduling Problem
- Performance Analysis
- Conclusion
- References
- Polytope Classifier: A Symbolic Knowledge Extraction from Piecewise-Linear Support Vector Machine
- Introduction
- Support Vector Machine
- Multi-Surface Method Tree
- Proposed Method
- Clustering-Based Decomposition and Polytope Classifier
- Optimization Problem
- Generalized Rule Extraction Algorithm
- Experimental Part
- Conclusion
- References
- A Library of Nonlinearities for Modeling and Simulation of Hybrid Systems
- Introduction
- Modeling Static and Dynamic Nonlinearities
- The Library of Nonlinearities
- A General Method to Construct Piece Wise Nonlinearities Using Neuro-Fuzzy Approaches
- Conclusions
- References
- Cluster Validity Measures Based on the Minimum Description Length Principle
- Introduction
- Related Work
- MDL for Clustering
- Results
- Conclusions
- References
- A Trajectory Tracking FLC Tuned with PSO for Triga Mark-II Nuclear Research Reactor
- Introduction
- Structure of ITU Triga Mark-II Research Reactor
- The Trajectory Used in This Study
- Partial Swarm Optimization
- Designing of a PSO-TTFLC
- Simulation Results
- Conclusions
- References
- Machine Learning and Classical AI
- Things to Know about a (dis)similarity Measure
- Introduction
- Preliminaries
- Equivalence
- Equivalence Functions
- Transformation Functions
- Duality
- Application Examples
- Conclusions
- References
- A New Classifier Ensembles Framework
- Introduction
- Related Work
- Proposed Framework
- Experimental Results
- Conclusion and Future Work
- References
- Policy Gradient Reinforcement Learning with Environmental Dynamics and Action-Values in Policies
- Introduction
- Policy Gradient and Learning Rule
- Reinforcement Learning Based on Policy Gradient
- Objective Function and Policy
- Learning Rule
- Separation of Knowledge in an Agent's Policy
- Objective Function in Stochastic Environments
- Characteristic Eligibilities and Learning Rules
- Simulation
- Pursuit Problem with Stochastic Dynamics
- Experimental Conditions
- Experiment with Deterministic Dynamics
- Experiment with Stochastic Dynamics
- Experimental Results
- Conclusion
- References
- Fuzzy c-Means Clustering with Mutual Relation Constraints Construction of Two Types of Algorithms
- Introduction
- Mutual Relation
- Preliminaries
- Mutual Relation
- Fuzzy c-Means Clustering with Mutual Relation Constraints
- Standard FCMMR
- Entropy-Based FCMMR
- Relation to Tolerance
- Conclusion
- References
- Adaptive HTTP Request Distribution in Time-Varying Environment of Globally Distributed Cluster-Based Web System
- Introduction
- GARDiB Method and Algorithm
- Design of the GARDiB Broker
- Local Service Model
- Simulation Model and Experiment Results
- Summary
- References
- Distributed BitTable Multi-Agent Association Rules Mining Algorithm
- Introduction
- Distributed BitTable Multi-Agent Association Rules Algorithm
- The Database Conversion Algorithm
- The Distributed BitTable MAS Algorithm
- The Proposed Algorithm at the First Iteration
- The Proposed Algorithm at the K-Iteration
- Model Experiments and Evaluation
- Conclusion
- References
- Sentiment Analysis of Customer Reviews: Balanced versus Unbalanced Datasets
- Introduction
- Related Work
- Evaluation Procedure
- Dynamic Language Model
- Naïve Bayes
- Experiments
- Results
- Balanced Dataset
- Unbalanced Dataset
- Sampling
- Precision and Recall Results
- Comparison of Datasets
- Conclusion
- References
- Agent, Multi-Agent Systems, Intelligent Robotics and Control
- Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions
- Introduction, Background
- Preliminaries
- Logical Unification, Decidability Algorithm
- Conclusion
- References
- Labelled Transition System Generation from Alvis Language
- Introduction
- Alvis at a Glance
- Models
- Labelled Transition System for Single Active Agent
- Labelled Transition Graphs
- LTS Generation
- Example
- Summary
- References
- Snapshot Reachability Graphs for Alvis Models
- Introduction
- Alvis and Other Programming Languages for Embedded Systems
- Time in Alvis
- Snapshot Reachability Graphs
- Summary
- References
- Merging Belief Bases by Negotiation
- Introduction
- Formal Preliminaries
- Related Works
- Social Contraction Function and Belief Negotiation
- Belief Merging Approach for Bargaining Game
- Approach for Belief Merging by Negotiation
- Negotiation Model for Belief Merging
- Postulates and Logical Properties
- Conclusion
- References
- Semantic Distance Measure between Ontology Concept's Attributes
- Introduction
- Basic Notions
- Related Works
- Semantic Distance between Attributes and Concepts
- Implementation of Experimental Environment
- Future Works and Summary
- References
- Casual Schedule Management and Shared System Using an Avatar
- Introduction
- Related Works
- What Is a User's Motivation in Schedule Management?
- Character Schedule
- Design Policy
- System Configuration
- Evaluation Experiment
- Verification Items
- Experiment
- Results of Questionnaire Survey
- Analysis of Operation Log
- Discussions
- Motivation Maintenance Using Avatar
- Effect of Using a Well-Known SNS
- Relation between the Avatar and the Number of Schedule Inputs
- Conclusions
- References
- Buyer Coalitions on JADE Platform
- Introduction
- JADE Implementation of BC
- JADE Architecture
- BC System Architecture
- Usage Scenarios and Implementation
- Scenario 1: Third-Partyâ??s perspective
- Scenario 1: Implementation
- Scenario 2: Buyersâ?? Perspective
- Scenario 2: Impementation
- Conclusions
- References
- Emotional Agents in a Social Strategic Game
- Introduction
- Diplomacy and StateCraft
- Emotions in Diplomacy
- Identifying Emotions in Diplomacy
- Emotion Intensity
- Implementation of EmotionSynthesizer
- Joy
- Admiration
- Anger
- Fear
- Guilt
- Evaluation
- Simulations
- User Test
- Conclusion
- References
- Modelling Multimodal 3D Virtual Environments with Asynchronous Multi-Agent Abstract State Machine
- Introduction
- Related Work
- The Virtual Environment Model
- Elements of ASM
- Multimodal Interactive Agents
- An Asynchronous Multi Agent ASM for the VE
- Conclusion
- References
- A Serialization Algorithm for Mobile Robots Using Mobile Agents with Distributed Ant Colony Clustering
- Introduction
- Background
- Serializing Robots
- Experimental Results
- Conclusions
- References
- A Muscular Activation Controlled Rehabilitation Robot System
- Introduction
- Robot-Aided Rehabilitation System
- Rehabilitation Robot
- Cybernetic Interface
- Materials and Method
- Conclusion
- References
- Design of a Control System for Robot Shopping Carts
- Introduction
- The Control System That Uses LRS to Follow Its User
- Judging the User Position
- Calculation of the Motor Operation Amount
- Discussion of the Following System
- Collision Avoidance System
- Obstacle Evasion Technique
- Operational Experiments
- Operation Experiment
- Operation Experiment That Uses Store Model
- Conclusions and Future Works
- References
- Implementation of the Integrated Management System for Electric Vehicle Charging Stations
- Introduction
- Integrated Charging Station Management System
- Database Table Design
- Charging Station Agent (CS)
- Aggregator Server (AS)
- Monitoring Client (MC)
- Personal Computer (PC)
- Conclusion
- References
- Knowledge Based and Expert Systems
- Input-Output Conditions for Automatic Program Generation Using Petri Nets
- Introduction
- Basic Idea of Automatic Program Generation in MAPP
- Construction of Conversion Directories
- Statement Directories
- Module Directories
- Automatic Program Generation [4]
- Overview of Code Generation
- Code Generation of Procedures
- Construction of the Head Part of the Main Program
- Consideration of Input-Output Conditions Check
- Reachability of Petri Nets
- An Example of Input-Output Conditions Check Using Petri Nets
- Conclusion
- References
- Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers
- Introduction, Background
- Preliminaries: Language and Semantics of LTLZ,UIA
- Main Results, Decidability Algorithm
- Conclusion, Future Work
- References
- KAMET II: KAMET Plus Knowledge Generation
- Introduction
- KAMET II Life-Cycle Model: The Knowledge Generation Process
- The Strategic Planning of the Project
- Initial Model Building
- Feedback Model Building
- Final Model Building
- The KAMET II Conceptual Modeling Language (CML)
- The KAMET II CML Assumptions
- The KAMET II CML Formalization
- Diagrammatic Conventions
- Postulates
- A Simple Example of Modeling
- KAMET II Architecture
- KAMET II Methodology: Applications and Results
- Conclusions
- References
- Use of Metadata for Access Control and Version Management in RDF Database
- Introduction
- Related Works
- Use of Metadata
- Metadata for Access Control and Version Management
- Rules for Adding Metadata
- Version Management
- Access Control
- Metadata for Access Control
- Query Rewriting for Access Control
- Updating Metadata
- Application to Topic Database
- Conclusion
- References
- Knowledge Elicitation Methods Taxonomy: Russian View
- Introduction
- Classification of Knowledge Elicitation Methods
- Communication-Based Methods
- Passive Communication Methods
- Active Individual-Focused Communication Methods
- Active Group-Based Communication Methods
- Text-Based Methods
- Knowledge Elicitation Session: Case Study
- Conclusion
- References
- A Formal Framework for Declarative Scene Description Transformation into Geometric Constraints
- Introduction
- State of the Art
- Requirements Categorisation
- Description-to-Requirements Mapping Model
- Requirements-to-Constraints Mapping Model
- Constraint Functions: Practical Considerations
- Example Implementation
- Conclusions
- References
- User Movement Prediction Based on Traffic Topology for Value Added Services
- Introduction
- Related Work
- Traffic Topology and
- Movement Prediction Model
- Service Example
- Experimental Evaluation
- Conclusion and Future Work
- References
- Emotion Judgment Method from a Meaning of an Utterance Sentence
- Introduction
- The Existing Emotion Judgment System
- Elemental Technique
- Concept Base
- Degree of Association Algorithm
- Sense Judgment Systemhoriguchi:02,watabe:04
- Proposed Emotion Judgment Method
- Proposed Method of Translating an Utterance Sentence into a Word
- Rebuilding of a Knowledge Base
- Selecting of the Meaning Categories Used for Emotions Judgement
- Performance Evaluation of the Proposed Emotion Judgment Method
- Conclusions
- References
- A Computationally Efficient Fuzzy Logic Parameterisation System for Computer Games
- Introduction
- Hypothesis
- Design of Our Parameterisation
- Method
- The Experiments
- Construction of the System
- Results
- Analysis of Results
- Conclusion
- Further Research
- References
- Representation and Reuse of Design Knowledge: An Application for Sales Call Support
- Introduction
- Problem Statement and Approach
- Related Work
- Representation of Office Design Knowledge
- Application for Sales Call Support
- Conclusions and Future Work
- References
- Intelligent Vision, Image Processing and Signal Processing
- Generic and Specific Object Recognition for Semantic Retrieval of Images
- Introduction
- Related Work
- Overview
- Resource Description Framework
- Knowledge in Image Processing
- Proposed Method
- Problem for Object Recognition
- Proposed Solution on Instance Level
- Proposed Solution on Class Level
- Experiments
- Conclusion
- References
- A Lane Detection and Tracking Method for Driver Assistance System
- Introduction
- Lane Detection and Tracking Process
- Lane Detection
- Lane Tracking
- Adopted Method for Lane Detection and Tracking
- Lane Detection
- Lane Tracking
- Lane Departure Warning
- Experimental Results and Performance Evaluation
- Evaluation of Lane Detection Step
- Evaluation of Lane Tracking Step
- Evaluation of the Lane Departure Warning Step
- Conclusion
- References
- Effective TV Advertising Block Division into Single Commercials Method
- Introduction
- Proposed Solution
- Silence Points Detection
- Signal Parametrization and Start/End Point of a Commercial Selection
- Simulation
- Conclusion
- References
- Robust Depth Camera Based Eye Localization for Human-Machine Interactions
- Introduction
- State-of-the-Art Depth Cameras
- Approach to Single-/Multi-Person Eye Localization
- Foreground Object Segmentation Based on Depth Image
- Face Region Detection and Normalization
- Eye Candidates Searching Based on Predefined Eye Template
- Computation and Extraction of Geometric Features
- Experimental Results
- Conclusion
- References
- Novel Metrics for Face Recognition Using Local Binary Patterns
- Introduction
- Local Binary Patterns, Histogram Feature and CommonMetrics
- Proposed Soft Chi Square Metric
- Proposed Soft Power Metric
- Experiments
- Experiments on AT&T Database
- Experiments on FERET Database
- Conclusion
- References
- Unsupervised Scene Classification Based on Context of Features for a Mobile Robot
- Introduction
- Related Work
- Context-Based Unsupervised Scene Classification
- Description of SIFT Features
- Feature Description of Gist
- Creation of 2D Histograms
- Creation Labels Using ART-2
- Category Map Formation Using CPNs
- Experimental Results Obtained Using KTH-IDOL Datasets
- Experimental Conditions
- Category Formation Results
- Classification Accuracy
- Conclusion
- References
- A Novel Emotion Recognizer from Speech Using Both Prosodic and Linguistic Features
- Introduction
- Emotion Recognition Based on Prosodic and Linguistic Features
- Emotion Recognition Based on Prosodic Features
- Emotion Recognition Based on Linguistic Features
- Integration Method of Two Results
- Experiments
- Training and Testing Samples
- Supervised Signals
- Calculation of Target Result
- Prosodic Features
- Experimental Results
- Conclusion
- References
- Possibilistic Entropy: A New Method for Nonlinear Dynamical Analysis of Biosignals
- Introduction
- Possibilistic Entropy
- Experiment
- Conclusion
- References
- Knowledge Management, Ontologies, and Data Mining
- Necessary Tools Choice in a Particular Situation for Computer Conversation
- Introduction
- The Concept Association[9][10]
- Necessary Tools Choice in a Particular Situation
- Extracting Candidate Words Using the Large Internet Case Frame [12]
- Refining Candidate Words Down to Tool Choices
- Refining Candidate Words Based on Relation to the Input Phrase Noun
- Evaluation
- Output Word Evaluation
- Evaluation of Output Words by Phrase
- Considerations
- Conclusion
- References
- Recommendation and Diagnosis Services with Structure Analysis of Presentation Documents
- Introduction
- Presentation Documents with Metadata
- Presentation Composition Task
- Presentation Structure Framework
- Approaches
- Related Work
- Web Services with Presentation Structure Analysis
- Machine Learning for Presentation Structure Analysis
- Recommendation Service for Slide Metadata
- Diagnosis Service for Presentation Structure and Key
- Web Services Interface
- Case Studies
- Case Study for Recommendation Service
- Case Study for Recommendation Service
- Conclusion
- References
- Topic-Based Recommendations for Enterprise 2.0 Resource Sharing Platforms
- Introduction
- The ALOE System
- Functionalities and Metadata
- Eliciting User Preferences
- Topic-Based Resource Recommendations
- Offline Analysis
- Online Recommendation Generation
- Evaluation
- Data Set
- Results
- Discussion
- Related Work
- Conclusion and Future Work
- References
- Custom Ontologies for an Automated Image Annotation System
- Introduction
- Related Work
- The Annotation Model and Data Sets
- System's Architecture and Experimental Results
- Conclusions and Future Work
- References
- MetaProPOS: A Meta-Process Patterns Ontology for Software Development Communities
- Introduction and Motivation
- Background
- Process Patterns' Formats
- Ontologies and Software Patterns
- MetaProPOS: A Unified Conceptualization of Software Process Patterns
- Mappings between Process Patterns Forms
- Observations and Discussion
- Overview of the Proposed Ontology: MetaProPOS
- Conclusion and Future Work
- References
- An Ontology-Based Framework for Collaborative Maintenance Planning
- Introduction
- Related Work
- One Ontology-Based Framework for Maintenance Planning
- Analysis of Ontology Models for Maintenance Planning
- Ontology Models in Knowledge Category
- Ontology Models in Maintenance Business Category
- Modeling of the Concepts of Maintenance Planning Using Ontology Language
- Conclusions
- References
- A Framework for a Fuzzy Matching between Multiple Domain Ontologies
- Introduction
- Background and Related Work
- Matching Heterogeneous Ontologies
- A Two-Level Multiple Ontologies Matching Architecture
- Experiments
- Conclusion and Future Work
- References
- Agent-Based Semantic Composition of Web Services Using Distributed Description Logics
- Introduction
- Related Works
- Desciption Logics Foundation
- Agent-Based Semantic Composition of Web Services
- Primary Example
- Service Composition Model
- Problem Formalization
- Distributed Composition Algorithm
- Conclusion
- References
- Temporal Reasoning for Supporting Temporal Queries in OWL 2.0
- Introduction
- Background and Related Work
- Temporal Ontology
- Temporal Reasoning
- Temporal Query Language
- Evaluation
- Conclusions and Future Work
- References
- An Algorithm for Finding Gene Signatures Supervised by Survival Time Data
- Introduction
- An Unbiased Procedure for Signature Learning and Discriminative Gene Ranking
- The mSD Algorithmn
- A Heuristic Search for the Signature
- Results
- Analysis of the Signature of Boutros et al.
- Analysis with the Proposed Algorithm
- Conclusions and Future Works
- References
- An Empirical Comparison of Flat and Hierarchical Performance Measures for Multi-Label Classification with Hierarchy Extraction
- Introduction
- Concepts and Notation
- Comparison of PMs
- Cluster Analysis
- Relation to Hierarchy Extraction (HE)
- Degree of Consistency and Degree of Discriminancy
- Conclusion
- Remarks to the Reviewers Comments
- Reviewer One
- Reviewer Two
- Towards a Parallel Approach for Incremental Mining of Functional Dependencies on Multi-core Systems
- Introduction
- Preliminaries
- The MT-IncFDs Algorithm
- Initialization of Cover(Fr') with Winners
- Maintaining Losers
- Experimental Results
- Conclusion
- References
- Paraconsistent Semantics for Description Logics: A Comparison
- Introduction
- Existing Paraconsistent Semantics
- PALC Semantics
- Four-Valued and Quasi-Classical Semantics
- New Paraconsistent Semantics
- QALC Semantics
- SALC Semantics
- Conclusions
- References
- Author Index
