%{search_type} search results

• Part I. Introduction;
• Chapter 1. Semantic Web; 1.1 Description Logics and Semantic Web; 1.2 The Current Vision of the Semantic Web;
• Chapter 2. Probability; 2.1 Probabilistic Inference; 2.2 Probabilistic Learning;
• Chapter 3. Aims of the Thesis;
• Chapter 4. Structure of the Thesis; Part II. Description Logics;
• Chapter 5. Foundations of Description Logics;
• Chapter 6. Description Logics' Characteristics; 6.1 Concept and Role Constructors; 6.2 Family of DLs; 6.3 Knowledge Base; 6.3.1 TBox; 6.3.2 RBox; 6.3.3 ABox; 6.4 Semantics.

• Chapter 7. Significant Examples of Description Logics;
• Chapter 8. OWL: the Web Ontology Language;
• Chapter 9. Inference in Description Logics; 9.1 Approaches to Compute Explanations; 9.1.1 Solving min-a-enum: The Standard Definition; 9.1.2 Resolving min-a-enum: Pinpointing Formula; Part III. A Probabilistic Semantics for Description Logics;
• Chapter 10. Distribution Semantics; 10.1 Formal Definition; 10.2 PLP Languages under the Distribution Semantics; 10.2.1 Logic Programming; 10.2.2 LPAD; 10.2.3 ProbLog; 10.3 Inference in Probabilistic Logic Programming; 10.3.1 ProbLog Inference System.

• 10.3.2 PITA; 10.4 Learning in Probabilistic Logic Programming;
• Chapter 11. DISPONTE;
• Chapter 12. Probabilistic Description Logics; Part IV. Inference in Probabilistic DLs;
• Chapter 13. Inference; 13.1 Splitting Algorithm; 13.2 Binary Decision Diagrams;
• Chapter 14. BUNDLE;
• Chapter 15. TRILL; 15.1 TRILL on SWISH;
• Chapter 16. TRILL P;
• Chapter 17. Complexity of Inference;
• Chapter 18. Related Inference Systems;
• Chapter 19. Experiments; 19.1 BUNDLE: Comparison with PRONTO; 19.2 BUNDLE: Not Entailed Queries; 19.3 BUNDLE: Inference with Limited Number of Explanations; 19.4 BUNDLE: Scalability.

• 19.5 TRILL, TRILL P & BUNDLE: Comparing Different Approaches; 19.6 Discussion; Part V. Learning in Probabilistic DLs;
• Chapter 20. Learning;
• Chapter 21. EDGE: Parameter Learning; 21.1 Expectation Maximization Algorithm; 21.2 EDGE;
• Chapter 22. LEAP: Structure Learning; 22.1 CELOE; 22.2 LEAP;
• Chapter 23. Distributed Learning; 23.1 Map Reduce Approach; 23.2 The Message Passing Interface Standard; 23.3 EDGE MR; 23.4 LEAP MR;
• Chapter 24. Related Learning Systems;
• Chapter 25. Experiments; 25.1 EDGE: Comparison with Association Rules; 25.2 LEAP & EDGE: a Comparison Between Different Learning Problems.

• 25.3 EDGE MR: Parallelization Speedup; 25.4 EDGE MR: Memory Consumption; 25.5 LEAP MR: Parallelization Speedup; 25.6 Discussion; Part VI. Summary and Future Work;
• Chapter 26. Conclusion;
• Chapter 27. Future Work.

• Machine generated contents note: Survey on Applying Machine Learning Techniques for Behavioral Awareness / Wouter Joosen
• Modelling Spatial and Temporal Context to Support Activity Recognition / Stephen Marsland
• Affect Aware Ambient Intelligence: Current and Future Directions / Anne James
• Behavioral Biometrics and Ambient Intelligence: New Opportunities for Context-Aware Applications / Paulo Novais
• Energy and Environmental Long-Term Monitoring System for Inhabitants' Weil-Being / Filippo Palumbo
• Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems / Adam Sedziwy
• Learning Daily Routines in Smart Office Environments / Stefano Ferilli
• EKRUCAmI Architecture -- Applications in Healthcare Domain / Hyun Yoe
• Qualitative Image Descriptor QIDL+N to Obtain Logics and Narratives Applied to Ambient Intelligent Systems / Zoe Falomir.

Annotation We are moving towards a future where environments respond to human preferences and needs. In this world, smart devices equipped with intelligent features and the capability to sense, communicate with and support humans in daily activities will be unremarkable. We already expect our cars to warn us of hazards, track our location and provide timely route advice, and in future we will speak to simple machines and hold conversations with more complex systems, such as intelligent homes, which will help us to monitor conditions, track routine tasks, and program the heating, lighting, garden watering and entertainment centre. But questions have been raised in recent years as to how intelligent these so called smart systems or ambient intelligence environments really are. This book, State of the Art in AI Applied to Ambient Intelligence, part of the outcome of the Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI) which has now run for 10 consecutive editions, aims to provide a clear picture of what has been achieved after a decade of discussion. It is representative of the diversity of approaches and issues which are currently being considered, and also indicates those avenues which are the most promising for exploration in the next decade. The book provides all those working in the field with an up-to-date reference where they will find inspiration to create better systems for the society of tomorrow.

• Introduction and Related Work
• Optimal State Change Attempts
• Different Kinds of Effect Estimators
• A Comparison with Planning under Uncertainty
• Experimental Evaluation
• Conclusions.

This Springer Brief presents a basic algorithm that provides a correct solution to finding an optimal state change attempt, as well as an enhanced algorithm that is built on top of the well-known trie data structure. It explores correctness and algorithmic complexity results for both algorithms and experiments comparing their performance on both real-world and synthetic data. Topics addressed include optimal state change attempts, state change effectiveness, different kind of effect estimators, planning under uncertainty and experimental evaluation. These topics will help researchers analyze tabular data, even if the data contains states (of the world) and events (taken by an agent) whose effects are not well understood. Event DBs are omnipresent in the social sciences and may include diverse scenarios from political events and the state of a country to education-related actions and their effects on a school system. With a wide range of applications in computer science and the social sciences, the information in this Springer Brief is valuable for professionals and researchers dealing with tabular data, artificial intelligence and data mining. The applications are also useful for advanced-level students of computer science.

• Title Page
• Foreword
• Contents
• List of Contributors
• Part I. Software Engineering Meets Semantic Web: Concepts and Theories
• Motivation and Introduction
• Close Encounters of the Semantic Web and MDA Kinds
• Generating Model Transformations Using Ontology Engineering Space
• Part II. Realize Software Engineering by Semantic Web Technologies
• Towards a Consistent Feature Model using OWL
• Using Semantic Web Technologies for Management Application Integration
• Semantic Web Enabled Software Analysis
• Semantically Enabling Web Service Repositories

• ABC: A methodology for Semantic Web Application DevelopmentModel-driven Design Frameworks for Semantic Web Applications
• Part III. Design Ontologies for Software Engineering
• A Software Process Ontology and Its Application
• Enriching SE Ontologies with Bug Quality
• Learning Ontologies from Software Artifacts: Exploring and Combining Multiple Choices
• References

Over the last decade, ontology has become an important modeling component in software engineering. Semantic Web Enabled Software Engineering presents some critical findings on opening a new direction of the research of Software Engineering, by exploiting Semantic Web technologies. Most of these findings are from selected papers from the Semantic Web Enabled Software Engineering (SWESE) series of workshops starting from 2005. Edited by two leading researchers, this advanced text presents a unifying and contemporary perspective on the field. The book integrates in one volume a unified perspectiv.

• Consequence
• Logics
• Classical Belief Revision
• AGM Contraction in Non-Classical Logics
• AGM Revision in Logics Without Negation
• Base Revision in Logics Without Negation
• Algorithms for Belief Bases
• Conclusion.

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.
(source: Nielsen Book Data)

• Preface.-
• Chapter 1: Introduction.- Part I: Generalized Related Set Based Approach.-
• Chapter 2: Information System for Relational Data.-
• Chapter 3: Properties of Granular-Relational Data Mining Framework.-
• Chapter 4: Association Discovery and Classification Rule Mining.-
• Chapter 5: Rough-Granular Computing.- Part II: Description Language Based Approach.-
• Chapter 6: Compound Information Systems.-
• Chapter 7: From Granular-Data Mining Framework to its Relational Version.-
• Chapter 8: Relation-Based Granules.-
• Chapter 9: Compound Approximation Spaces.- Conclusions.- References.- Index.
• (source: Nielsen Book Data)

This book provides two general granular computing approaches to mining relational data, the first of which uses abstract descriptions of relational objects to build their granular representation, while the second extends existing granular data mining solutions to a relational case. Both approaches make it possible to perform and improve popular data mining tasks such as classification, clustering, and association discovery. How can different relational data mining tasks best be unified? How can the construction process of relational patterns be simplified? How can richer knowledge from relational data be discovered? All these questions can be answered in the same way: by mining relational data in the paradigm of granular computing! This book will allow readers with previous experience in the field of relational data mining to discover the many benefits of its granular perspective. In turn, those readers familiar with the paradigm of granular computing will find valuable insights on its application to mining relational data. Lastly, the book offers all readers interested in computational intelligence in the broader sense the opportunity to deepen their understanding of the newly emerging field granular-relational data mining.
(source: Nielsen Book Data)

• Neurocognitive Robot Assistant for Robust Fall Detection .-Smart Robot Control via Novel Computational Intelligence Methods for Ambient Assisted Living
• Valorization of Assistive Technologies for Cognition: Lessons & Practices
• Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities
• Smart Homes in the Era of Big Data
• An Investigation of The Use of Innovative Biology-based Computational Intelligence in Ubiquitous Robotics Systems: Data Mining Perspective
• Ambient Stupidity
• Security Implementations in Smart Sensor Networks
• Automatic Music Composition from a Self- Learning Algorithm.

This book demonstrates the success of Ambient Intelligence in providing possible solutions for the daily needs of humans. The book addresses implications of ambient intelligence in areas of domestic living, elderly care, robotics, communication, philosophy and others. The objective of this edited volume is to show that Ambient Intelligence is a boon to humanity with conceptual, philosophical, methodical and applicative understanding. The book also aims to schematically demonstrate developments in the direction of augmented sensors, embedded systems and behavioral intelligence towards Ambient Intelligent Networks or Smart Living Technology. It contains chapters in the field of Ambient Intelligent Networks, which received highly positive feedback during the review process. The book contains research work, with in-depth state of the art from augmented sensors, embedded technology and artificial intelligence along with cutting-edge research and development of technologies and applications of Ambient Intelligent Networks. This book is intended to introduce ideas, methods, technologies of the future development of humanity, Science and Technology.

• Introduction to the subject of an agent in computer science.- Agent versus decomposition of an algorithm.- M-agent.- The agent system for balancing the distribution of resources.- The examples of applications of the agent systems.- Conclusion. Introduction to the subject of an agent in computer science.- Agent versus decomposition of an algorithm.- M-agent.- The agent system for balancing the distribution of resources.- The examples of applications of the agent systems.- Conclusion.
• (source: Nielsen Book Data)

This monograph presents the concept of agents and agent systems. It starts with a formal approach and then presents examples of practical applications. In order to form the principles of construction of autonomous agents, a model of the agent is introduced. Subsequent parts of the monograph include several examples of applications of the term agent. Descriptions of different examples of applications of agent systems in such fields as evolution systems, mobile robot systems, artificial intelligence systems are given. The book constitutes an outline of methodology of the design and realization of agent systems based on the M-agent architecture oriented on different areas of applications.
(source: Nielsen Book Data)

• A Performance Analysis of DF Model in the Energy Harvesting Half-duplex and Full-Duplex Relay Networks
• A Model of Swarm Intelligence Based Optimization Framework Adjustable According to Problems
• Domain Model Definition for Domain-Specific RuleGeneration Using Variability Model
• A set-partitioning-based model to save cost on the import processes
• Combining Genetic Algorithm with Variable Neighborhood Search for MAX-SAT
• Enzyme classification on DUD-E database using Logistic Regression Ensemble (Lorens)
• Consolidation of Host-Based Mobility Management Protocols in Wireless Mesh Network
• Application of parallel computing technologies for numerical simulation of air transport in the human nasal cavity
• Genetic Algorithms-based Techniques for Solving Dynamic Optimization Problems with Unknown Active Variables and Boundaries
• Text Segmentation Methods: A Critical Review
• On-Line Power Systems Security Assessment Using Data Stream Random Forest Algorithm Modification
• Enhanced Security of Internet Banking Authentication with Extended Honey Encryption (XHE) Scheme
• An Enhanced Possibilistic Programming Model with Fuzzy Random Confidence-Interval for Multi-Objective Problem
• A Crowdsourcing Approach for Volunteering System
• One Dimensional Vehicle Tracking Analysis in Vehicular Ad hoc Networks
• Parallel Coordinates Visualization Tool on the Air Pollution Data for Northern Malaysia
• Application of Artificial bee colony algorithm for model parameter identification
• A novel weighting scheme applied to improve the text document clustering techniques
• A Methodological Framework To Emulate The Visual Of Malaysian Shadow Play With Computer-Generated Imagery
• Performance Evaluation of Hot Mix Asphalt Concrete by Using Polymeric Waste Polyethylene.

This book presents the latest research of the field of optimization, modeling and algorithms, discussing the real-world application problems associated with new innovative methodologies. The requirements and demands of problem solving have been increasing exponentially and new computer science and engineering technologies have reduced the scope of data coverage worldwide. The recent advances in information communication technology (ICT) have contributed to reducing the gaps in the coverage of domains around the globe. The book is a valuable reference work for researchers in the fields of computer science and engineering with a particular focus on modeling, simulation and optimization as well as for postgraduates, managers, economists and decision makers.
(source: Nielsen Book Data)

• Part I: Main Track.- Long distance in-links for ranking enhancement.- Concept Tracking and Adaptation for Drifting Data Streams under Extreme Verification Latency.- Adversarial Sample Crafting for Time Series Classification with Elastic Similarity Measures.- Slot Co-allocation Optimization in Distributed Computing with Heterogeneous Resources.- About Designing an Observer Pattern-Based Architecture for a Multi-Objective Metaheuristic Optimization Framework.- Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform.- Finding Best Compiler Options for Critical Software Using Parallel Algorithms.- Drift Detection over Non-stationary Data Streams using Evolving Spiking Neural Networks.- Part II: Energy.- A Hybrid Ensemble of Heterogeneous Regressors for Wind Speed Estimation in Wind Farms.- Bio-inspired approximation to MPPT under real irradiation conditions.- Part III: Industry.- Decision Making in Industry 4.0 Scenarios supported by Imbalanced Data Classification.
• (source: Nielsen Book Data)

This book gathers a wealth of research contributions on recent advances in intelligent and distributed computing, and which present both architectural and algorithmic findings in these fields. A major focus is placed on new techniques and applications for evolutionary computation, swarm intelligence, multi-agent systems, multi-criteria optimization and Deep/Shallow machine learning models, all of which are approached as technological drivers to enable autonomous reasoning and decision-making in complex distributed environments. Part of the book is also devoted to new scheduling and resource allocation methods for distributed computing systems. The book represents the peer-reviewed proceedings of the 12th International Symposium on Intelligent Distributed Computing (IDC 2018), which was held in Bilbao, Spain, from October 15 to 17, 2018.
(source: Nielsen Book Data)