- Zheng, George.
- New York ; London : Springer, ©2010.
- Description
- Book — 1 online resource (xvi, 136 pages) : illustrations Digital: text file.PDF.
- Summary
-
- An Ontological Perspective of Web Services.- Hints from A Molecular Analogy.- Web Service Mining Framework.- Application: Biological Pathway Discovery.- Related Work.- Conclusions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
202. Support vector machines [2008]
- Steinwart, Ingo.
- 1st ed. - New York : Springer, ©2008.
- Description
- Book — 1 online resource (xvi, 601 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Preface.- Introduction.- Loss functions and their risks.- Surrogate loss functions.- Kernels and reproducing kernel Hilbert spaces.- Infinite samples versions of support vector machines.- Basic statistical analysis of SVMs.- Advanced statistical analysis of SVMs.- Support vector machines for classification.- Support vector machines for regression.- Robustness.- Computational aspects.- Data mining.- Appendix.- Notation and symbols.- Abbreviations.- Author index.- Subject index.- References.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Vlassis, Nikos.
- 1st ed. - Cham, Switzerland : Springer, ©2007.
- Description
- Book — 1 online resource (xii, 71 pages)
- Summary
-
- Introduction Rational Agents Strategic Games Coordination Partial Observability Mechanism Design Learning.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
204. Sequence data mining [2007]
- Dong, Guozhu, 1957-
- New York : Springer, 2007.
- Description
- Book — 1 online resource (xv, 150 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Frequent and Closed Sequence Patterns.- Classification, Clustering, Features and Distances of Sequence Data.- Sequence Motifs: Identifying and Characterizing Sequence Families.- Mining Partial Orders from Sequences.- Distinguishing Sequence Patterns.- Related Topics.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Understanding sequence data, and the ability to utilize this hidden knowledge, will create a significant impact on many aspects of our society. Examples of sequence data include DNA, protein, customer purchase history, web surfing history, and more. This book provides thorough coverage of the existing results on sequence data mining as well as pattern types and associated pattern mining methods. It offers balanced coverage on data mining and sequence data analysis, allowing readers to access the state-of-the-art results in one place.
(source: Nielsen Book Data)
205. Swarm intelligent systems [2006]
- Berlin : Springer-Verlag, ©2006.
- Description
- Book — 1 online resource (xx, 184 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Methodologies Based on Particle Swarm Intelligence.- Swarm Intelligence: Foundations, Perspectives and Applications.- Waves of Swarm Particles (WoSP).- Grammatical Swarm: A Variable-Length Particle Swarm Algorithm.- SWARMs of Self-Organizing Polymorphic Agents.- Experiences Using Particle Swarm Intelligence.- Swarm Intelligence - Searchers, Cleaners and Hunters.- Ant Colony Optimisation for Fast Modular Exponentiation using the Sliding Window Method.- Particle Swarm for Fuzzy Models Identification.- A Matlab Implementation of Swarm Intelligence based Methodology for Identification of Optimized Fuzzy Models.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
206. Shape recognition [1999]
- Exeter, Eng. : Intellect, ©1999.
- Description
- Book — 1 online resource (235 pages) : illustrations
- Summary
-
- Cortical images, self-organising neural networks and object classification / Nikolay Petkov
- Parallel implementation of a neural network ensemble on the connection machine / Daijin Kim, Minsoo Suk
- Boolean neural networks trained with simulated annealing / Jarkko Niittylahti
- On the computational complexity of analyzing the Hopfield-Clique network / Arun Jagota
- A harmony-maximisation network implementation of a compound labeling scheme for scene analysis / Tatiana Tambouratzis
- Optimal image boundary via Hopfield net and tunneling / William Cheung, Roland Chin, Tong Lee
- Shape matching based on invariants / Stan Z. Li.
- IEEE International Workshop on Soft Computing Applications (8th : 2018 : Arad, Romania)
- Cham : Springer, [2021]
- Description
- Book — 1 online resource (460 pages) Digital: text file.PDF.
- Summary
-
- Intro
- Preface
- Invited Speakers
- DSS, Classifications, Trends and Enabling Modern Information and Communication Technologies
- Distorted Statistics based on Choquet Calculus
- Overview of QUasi-Affine TRansformation Evolutionary (QUATRE) Algorithm
- Nature-Inspired Optimization of Type-2 Fuzzy Logic Controllers
- Seeing Is Believing
- Contents
- Short CVs of Guest Editors
- I Soft Computing and Conventional Techniques in Power Engineering Methods and Applications in Electrical Engineering I
- Daily Load Curve Forecasting. Comparative Analysis: Conventional vs. Unconventional Methods
- Abstract
- 1 Introduction
- 2 Developed Algorithms
- 2.1 Artificial Neural Networks (ANN)
- 2.2 Multiple Linear Regression (MLR)
- 2.3 Curve Fitting (CF)
- 2.4 Decision Trees (DT)
- 3 Numerical Results. Discussions
- 3.1 Forecast Performed for 2017 Year
- 3.2 Forecast Performed for 2018 Year
- 3.3 Comparative Analysis for Several Forecasts
- 4 Conclusion
- Acknowledgment
- References
- LoRaWAN Based Airport Runway Lights Monitoring System
- Abstract
- 1 Introduction
- 2 LoRa Technology
- 3 Case Study and Results
- 4 Conclusions
- Acknowledgment
- References
- The Enhanced Crow Search Algorithm for Fuel-Cost Function Parameters Assessment of the Cogeneration Units from Thermal Power Plants
- Abstract
- 1 Introduction
- 2 Estimating the Fuel-Cost Function Parameters
- 3 The Crow Search Algorithm (CS)
- 4 The Enhanced CS Algorithm (ECS)
- 5 Case Studies and Results
- 6 Conclusions
- References
- Modelling a Photovoltaic Power Station
- Abstract
- 1 Introduction
- 2 Simulation of the Photovoltaic Panels Using MatLAB Software
- 2.1 Simulink: Modelling of a PV Solar Cell
- 2.2 The Intensity of the Induced Electrical Current by the Sun
- 2.3 Dependence on the Temperature
- 3 The Simulation of a PV Power Station
- 4 Conclusions
- References
- Identification of Fault Locations on Tree Structure Systems
- 1 Introduction
- 2 Description of the Troubleshooting System Currently Used by the Power Suppliers
- 3 Mathematical Background of the Proposed Method
- 4 Fault Probability Data Bank
- 5 SGFI Algorithm
- 5.1 Localization of the Fault Zone (Procedure 1)
- 5.2 Fault Position Localization in the Fault Zone (Procedure 2)
- 5.3 Result of the Proposed Algorithm
- 5.4 Simulation Analysis of the SGFI Algorithm
- 6 Conclusions
- References
- Probability Distribution Functions for Short-Term Wind Power Forecasting
- 1 Introduction
- 2 Wind Probability Distribution Functions
- 2.1 Weibull Distribution
- 2.2 Lindley Distribution for Random Variables
- 2.3 Joint Probability Distribution Function for Wind Forecasting
- 3 Short-Term Wind Power Forecasting Using SVR and ANN
- 3.1 Wind Power Forecasting Using Support Vector Regressors
- 3.2 Wind Power Forecasting Using ANN.
(source: Nielsen Book Data)
- Marconi, Francesco, author.
- New York Columbia University Press [2020]
- Description
- Book — 1 online resource illustrations
- Summary
-
- Frontmatter
- CONTENTS
- PREFACE
- WHAT IS THIS BOOK ABOUT, ACCORDING TO AI?
- INTRODUCTION: TECHNOLOGY MOVES FASTER THAN JOURNALISTIC STANDARDS
- 1. THE PROBLEM: A JOURNALISTIC MODEL IN TRANSITION
- 2. ENABLERS: THE AI TECHNOLOGIES DRIVING JOURNALISTIC CHANGE
- 3. WORKFLOW: A SCALABLE PROCESS FOR NEWSROOM TRANSFORMATION
- CONCLUSION
- ACKNOWLEDGMENTS
- NOTES
- BIBLIOGRAPHY
- INDEX
(source: Nielsen Book Data)
209. Artificial intelligence research and development : current challenges, new trends and applications [2018]
- Catalonian Conference on AI (21st : 2018 : Alt Empordà, Spain)
- Amsterdam, Netherlands : IOS Press, 2018.
- Description
- Book — 1 online resource
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xi, 330 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Mathematical Analysis of Nature-Inspired Algorithms.- A Review of No Free Lunch Theorems, and their Implications for Metaheuristic Optimisation.- Global Convergence Analysis of Cuckoo Search Using Markov Theory.- On Effeciently Solving the Vehicle Routing Problem with Time Windows Using the Bat Algorithm.- Variants of the Flower Pollination Algorithm: A Review.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource
- Summary
-
- Analyzing the Effects of Alternative Decisions in a Multiagent System with Stigmergy-Based Interactions
- Modelling of Emotional Contagion in Soccer Fans
- An approach for Web Service selection and dynamic composition based on Linked Open Data
- Linguistic rules for ontology population from customer request
- Evolutionary Harmony Search Algorithm for sport scheduling problem
- Performance Analysis of Different Learning Algorithms of Feed Forward Neural Network Regarding Fetal Abnormality Detection
- DWIaaS: Data Warehouse Infrastructure as a Service for Big Data Analytics
- Hybrid Soft Computing for Atmospheric Pollution-Climate Change Data Mining
- Hiring Expert Consultants in E-Healthcare: An Analytics-Based Two Sided Matching Approach
- A fuzzy logic-based anticipation car-following model
- Fault-Tolerance in XJAF Agent Middleware.
- Kaipa, Krishnanand N., author.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxvi, 248 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Preface.- Acknowledgements.- 1 From Natural to Synthetic Swarms.- 2 Glowworm Swarm Optimization: Algorithm Development.- 3 Theoretical Foundations.- 4 Multimodal Function Optimization.- 5 Experiments using Physical Simulations and Real Robots.- 6 Applications to Ubiquitous Computing Environments.- 7 Pursuit of Multiple Mobile Signal Sources.- 8 GSO Applications and Extensions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (xi, 752 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Part I Physical Security and Surveillance.- Part II: Cyber Security and Intrusion Detection Systems.- Part III: Biometric Security and Authentication Systems.- Part IV: Situational Awareness and Threat Assessment.- Part V: Strategic/Mission Planning and Resource Management.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xv, 335 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Toward a Restriction-Centered Theory of Truth and Meaning
- A Note on Logical Connectives with Weak Duality
- Residual Implications from Discrete Uninorms. A Characterization
- A Classiffication Theorem for Continuous Quasi-Uninorms
- Globally Monotone Extended Aggregation Functions
- A Survey of Contributions To Fuzzy Logic and its Applications to Artificial Intelligence at the IIIA
- Gradual Structures of Oppositions
- Generation of Interval-Valued Fuzzy Negations from Trillas' Theorem. The Case of Interval Type-2 Fuzzy Sets
- On Conjectures in T-Norm Based Fuzzy Logics
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry
- A Metasemantic Interpretation of Mamdani Systems
- Experimental Modeling for a Natural Landing of Fuzzy Sets in New Domains
- On Linguistic Variables and Sparse Representations
- Activating Generalized Fuzzy Implications from Galois Connections
- Randomness and Fuzziness: Combined Better than Unified
- Interpretability, a Silver Lining to a Fuzzy Cloud
- Prototype based Fuzzy Clustering Algorithms in High-Dimensional Feature Spaces
- Computing with Words for Decision Making versus Linguistic Decision Making: A Reflection on Both Scenarios
- Classification Validity Index
- On Fuzzy Modus Ponens to Assess Fuzzy Association Rules.-Applying Random Linear Oracles with Fuzzy Classifier Ensembles on WiFi Indoor Localization Problem
- Fuzzy Waves. Interference and Holography
- Fuzziness in CAR: Fuzzy Procedures for Robots and Cars
- Fuzzy Deformable Prototypes and Forest Fires Prediction and Prevention
- Hardware Implementation of Fuzzy Logic in Early Days of "Fuzzy" Era. Applying Random Linear Oracles with Fuzzy Classifier Ensembles on WiFi Indoor Localization Problem
- Fuzzy Waves. Interference and Holography
- Fuzziness in CAR: Fuzzy Procedures for Robots and Cars
- Fuzzy Deformable Prototypes and Forest Fires Prediction and Prevention
- Hardware Implementation of Fuzzy Logic in Early Days of "Fuzzy" Era. Generation of Interval-Valued Fuzzy Negations from Trillas' Theorem. The Case of Interval Type-2 Fuzzy Sets
- On Conjectures in T-Norm Based Fuzzy Logics
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry
- A Metasemantic Interpretation of Mamdani Systems
- Experimental Modeling for a Natural Landing of Fuzzy Sets in New Domains
- On Linguistic Variables and Sparse Representations
- Activating Generalized Fuzzy Implications from Galois Connections
- Randomness and Fuzziness: Combined Better than Unified
- Interpretability, a Silver Lining to a Fuzzy Cloud
- Prototype based Fuzzy Clustering Algorithms in High-Dimensional Feature Spaces
- Computing with Words for Decision Making versus Linguistic Decision Making: A Reflection on Both Scenarios
- Classification Validity Index
- On Fuzzy Modus Ponens to Assess Fuzzy Association Rules.-Applying Random Linear Oracles with Fuzzy Classifier Ensembles on WiFi Indoor Localization Problem
- Fuzzy Waves. Interference and Holography
- Fuzziness in CAR: Fuzzy Procedures for Robots and Cars
- Fuzzy Deformable Prototypes and Forest Fires Prediction and Prevention
- Hardware Implementation of Fuzzy Logic in Early Days of "Fuzzy" Era. On Fuzzy Modus Ponens to Assess Fuzzy Association Rules.-Applying Random Linear Oracles with Fuzzy Classifier Ensembles on WiFi Indoor Localization Problem
- Fuzzy Waves. Interference and Holography
- Fuzziness in CAR: Fuzzy Procedures for Robots and Cars
- Fuzzy Deformable Prototypes and Forest Fires Prediction and Prevention
- Hardware Implementation of Fuzzy Logic in Early Days of "Fuzzy" Era.
- SERA (Conference) (12th : 2014 : Kitakyushu, Japan)
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xvi, 306 pages) : illustrations
- Summary
-
- Performance Impact of New Interface for Non-Volatile Memory Storage
- Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information
- Design Pattern for Self-adaptive RTE Systems monitoring
- Changing the Software Engineering Education: A Report from Current Situation in Mexico
- Analysis of Mouth Shape Deformation Rate for Generation of Japanese Utterance Images Automatically
- Predicting Fault-prone Modules by Word Occurrence in Identifiers
- The Influence of Alias and References Escape on Java Program Analysis
- Preliminary Evaluation of a Software Security Learning Environment
- Expression Strength for the Emotional Scene Detection from Lifelog Videos
- A Procedure for the Development of Mobile Applications Software
- The Relationships between Conversation Skill and Feeling of Load on Youth in Communicate with Elderly Persons using Video Image and Photographs
- Automatic Matching on Fracture Surface of Quarried Stone Using the Features of Plug-and-Feather Holes
- A Route Recommender System based on the User?s Visit Duration at Sightseeing Locations
- Predicting Access to Healthcare Using Data Mining Techniques
- Object Tracking Method Using PTAMM and Estimated Foreground Regions
- Application of Detecting Blinks for Communication Support Tool.
- Amsterdam ; Washington, D.C. : IOS Press, 2012.
- Description
- Book — 1 online resource.
- Summary
-
- pt. 1. Ethical and philosophical issues of agent-based AmI systems
- pt. 2. Methods for development of agent-based AmI systems
- pt. 3. Towards more intelligent and adaptive agent-based AmI systems
- pt. 4. Applications of agent-based AmI systems.
- Berlin ; Heidelberg : Springer-Verlag, ©2011.
- Description
- Book — 1 online resource (xi, 542 pages) Digital: text file.PDF.
- Summary
-
- Part A: Particle Swarm Optimization. From Theory to Practice in Particle Swarm Optimization / Maurice Clerc
- What Makes Particle Swarm Optimization a Very Interesting and Powerful Algorithm? / J.L. Fernández-Martínez, E. García-Gonzalo
- Developing Niching Algorithms in Particle Swarm Optimization / Xiaodong Li
- Test Function Generators for Assessing the Performance of PSO Algorithms in Multimodal Optimization / Julio Barrera, Carlos A. Coello Coello
- Linkage Sensitive Particle Swarm Optimization / Deepak Devicharan, Chilukuri K. Mohan
- Parallel Particle Swarm Optimization Algorithm Based on Graphic Processing Units / Ying Tan, You Zhou
- Velocity Adaptation in Particle Swarm Optimization / Sabine Helwig, Frank Neumann, Rolf Wanka
- Integral-Controlled Particle Swarm Optimization / Zhihua Cui, Xingjuan Cai, Ying Tan, Jianchao Zeng
- Particle Swarm Optimization for Markerless Full Body Motion Capture / Zheng Zhang, Hock Soon Seah, Chee Kwang Quah
- An Adaptive Multi-Objective Particle Swarm Optimization Algorithm with Constraint Handling / Praveen Kumar Tripathi, Sanghamitra Bandyopadhyay, Sankar Kumar Pal
- Multiobjective Particle Swarm Optimization for Optimal Power Flow Problem / M.A. Abido
- A Multi-objective Resource Assignment Problem in Product Driven Supply Chain Using Quantum Inspired Particle Swarm Algorithm / Sri Krishna Kumar, S.G. Ponnambalam, M.K. Tiwari
- Part B: Bee Colony Optimization. Honeybee Optimisation -- An Overview and a New Bee Inspired Optimisation Scheme / Konrad Diwold, Madeleine Beekman, Martin Middendorf
- Parallel Approaches for the Artificial Bee Colony Algorithm / Rafael Stubs Parpinelli, César Manuel Vargas Benitez, Heitor Silvério Lopes
- Bumble Bees Mating Optimization Algorithm for the Vehicle Routing Problem / Yannis Marinakis, Magdalene Marinaki
- Part C: Ant Colony Optimization. Ant Colony Optimization: Principle, Convergence and Application / Haibin Duan
- Optimization of Fuzzy Logic Controllers for Robotic Autonomous Systems with PSO and ACO / Oscar Castillo, Patricia Melin, Fevrier Valdez, Ricardo Martínez-Marroquín
- Part D: Other Swarm Techniques. A New Framework for Optimization Based-On Hybrid Swarm Intelligence / Pei-Wei Tsai, Jeng-Shyang Pan, Peng Shi, Bin-Yih Liao
- Glowworm Swarm Optimization for Multimodal Search Spaces / K.N. Krishnanand, D. Ghose
- Direct and Inverse Modeling of Plants Using Cat Swarm Optimization / Ganapati Panda, Pyari Mohan Pradhan, Babita Majhi
- Reliability-Redundancy Optimization Using a Chaotic Differential Harmony Search Algorithm / Leandro dos Santos Coelho, Diego L. de A. Bernert, Viviana Cocco Mariani
- Gene Regulatory Network Identification from Gene Expression Time Series Data Using Swarm Intelligence / Debasish Datta, Amit Konar, Swagatam Das, B.K. Panigrahi.
218. Soft computing in economics and finance [2011]
- Dymowa, Ludmila.
- Berlin ; Heidelberg : Springer, ©2011.
- Description
- Book — 1 online resource (xii, 295 pages) Digital: text file.PDF.
- Summary
-
- Introduction
- Convex Probabilistic Wavelet like Approximation
- Bidimensional Constrained Wavelet like Approximation
- Multidimensional Probabilistic Scale Approximation
- Multidimensional probabilistic approximation in wavelet like structure.- About L-Positive Approximations: About Shape Preserving Weighted Uniform Approximation
- Jackson-Type Nonpositive Approximations for Definite Integrals.- Discrete Best L1 Approximation using the Gauges Way
- Quantitative Uniform Convergence of Smooth Picard Singular Integral Operators
- Global Smoothness and Simultaneous Approximation by Smooth Picard Singular Operators
- Convergence Results.- Approximation with Rates by Fractional Smooth Picard
- Singular Operators
- Multivariate Generalized Picard Singular Integral Operators
- Approximation by q-Gauss-Weierstrass Singular Integral Operators.- Quantitative Approximation by Univariate Shift-Invariant
- Integral Operators.
219. Genetic programming theory and practice VI [2009]
- New York : Springer, ©2009.
- Description
- Book — 1 online resource (xiv, 271 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Contributing Authors.- Preface.- Foreword.- Genetic Programming: Theory and Practice.- A Population Based Study of Evolutionary Dynamics in Genetic Programming.- An Application of Information Theoretic Selection to Evolution of Models with Continuous-valued Inputs.- Pareto Cooperative-Competitive Genetic Programming: A Classification Benchmarking Study.- Genetic Programming with Historically Assessed Hardness.- Crossover and Sampling Biases on Nearly Uniform Landscapes.- Analysis of the Effects of Elitism on Bloat in Linear and Tree-based Genetic Programming.- Automated Extraction of Expert Domain Knowledge from Genetic Programming Synthesis Results.- Does Complexity Matter? Artificial Evolution, Computational Evolution and the Genetic Analysis of Epistasis in Common Human Diseases.- Exploiting Trustable Models via Pareto GP for Targeted Data Collection.- Evolving Effective Incremental SAT Solvers with GP.- Constrained Genetic Programming To Minimize Overfitting in Stock Selection.- Co-Evolving Trading Strategies to Analyze Bounded Rationality.- Profiling Symbolic Regression-Classification.- Accelerating Genetic Programming through Graphics Processing Units.- Genetic Programming for Incentive-Based Design within a Cultural Algorithms Framework.- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Dordrecht ; New York ; London : Springer, 2009.
- Description
- Book — 1 online resource (xxx, 389 pages) : illustrations
- Summary
-
- I Languages.- Executing Logical Agent Specifications.- IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents.- Brahms An Agent-Oriented Language for Work Practice Simulation and Multi-Agent Systems Development.- ProgrammingRationalAgents in GOAL.- Merging Agents and Services - the JIAC Agent Platform.- Towards Pervasive Intelligence: Reflections on the Evolution of the Agent Factory Framework.- II Tools.- Debugging and Testing of Multi-Agent Systems using Design Artefacts.- Environment Programming in CArtAgO.- A Survey of Agent-oriented Development Tools.- III Applications.- A Multi-Agent Environment for Negotiation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
221. Rigid flexibility : the logic of intelligence [2006]
- Wang, Pei, 1958-
- Dordrecht : Springer, ©2006.
- Description
- Book — 1 online resource (xviii, 412 pages) : some illustrations Digital: text file.PDF.
- Summary
-
- Preface Acknowledgment PART I. Theoretical Foundation
- Chapter 1. The Goal of Artificial Intelligence 1.1 To define intelligence 1.2 Various schools in AI research 1.3 AI as a whole
- Chapter 2. A New Approach Toward AI 2.1 To define AI 2.2 Intelligent reasoning systems 2.3 Major design issues of NARS PART II. Non-Axiomatic Reasoning System
- Chapter 3. The Core Logic 3.1 NAL-0: binary inheritance 3.2 The language of NAL-1 3.3 The inference rules of NAL-1
- Chapter 4. First-Order Inference 4.1 Compound terms 4.2 NAL-2: sets and variants of inheritance 4.3 NAL-3: intersections and differences 4.4 NAL-4: products, images, and ordinary relations
- Chapter 5. Higher-Order Inference 5.1 NAL-5: statements as terms 5.2 NAL-6: statements with variables 5.3 NAL-7: temporal statements 5.4 NAL-8: procedural statements
- Chapter 6. Inference Control 6.1 Task management 6.2 Memory structure 6.3 Inference processes 6.4 Budget assessment . PART III. Comparison and Discussion
- Chapter 7. Semantics 7.1 Experience vs. model 7.2 Extension and intension 7.3 Meaning of term 7.4 Truth of statement
- Chapter 8. Uncertainty 8.1 The non-numerical approaches 8.2 The fuzzy approach 8.3 The Bayesian approach 8.4 Other probabilistic approaches 8.5 Unified representation of uncertainty
- Chapter 9. Inference Rules 9.1 Deduction 9.2 Induction 9.3 Abduction 9.4 Implication
- Chapter 10. NAL as a Logic 10.1 NAL as a term logic 10.2 NAL vs. predicate logic 10.3 Logic and AI
- Chapter 11. Categorization and Learning 11.1 Concept and categorization 11.2 Learning in NARS
- Chapter 12. Control and Computation 12.1 NARS and theoretical computer science 12.2 Various assumptions about resources 12.3 Dynamic natures of NARS PART IV. Conclusions
- Chapter 13. Current Results 13.1 Theoretical foundation 13.2 Formal model 13.3 Computer implementation
- Chapter 14. NARS in the Future 14.1 Next steps of the project 14.2 What NARS is not 14.3 General implications Bibliography Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ma, Lu.
- London ; Hackensack, NJ : Imperial College Press, ©2006.
- Description
- Book — 1 online resource (xii, 200 pages) : illustrations.
- Summary
-
- Cover
- Contents
- Preface
- 1 Introduction
- 1.1 Background
- 2 Mobile Agent System
- 2.1 Components of a Mobile Agent System
- 2.2 Characteristics and Advantages of a Mobile Agent System
- 3 Attacks and Countermeasures of Software System Security
- 3.1 General Security Objectives
- 3.2 Types of Attacks
- 3.2.1 Attacks against availability
- 3.2.2 Attacks against confidentiality
- 3.2.3 Attacks against integrity
- 3.2.4 Attacks against miscellaneous security objectives
- 3.3 Countermeasures of Attacks
- 3.3.1 Authentication
- 3.3.2 Access control
- 3.3.3 Audit and intrusion detection
- 3.3.4 Cryptography
- 3.3.5 Firewall
- 3.3.6 Anti-virus software
- 4 Security Issues in a Mobile Agent System
- 4.1 Security Issues in a Mobile Agent System
- 4.1.1 Possible attacks to a mobile agent system
- 4.1.2 Security requirements for a secure mobile agent system &
- Ma, Lu.
- London ; Hackensack, NJ : Imperial College Press, c2006.
- Description
- Book — 1 online resource (xii, 200 p.) : ill.
- Summary
-
- Mobile Agent System
- Attack and Countermeasure
- Security Issues in a Mobile Agent System
- Formal Models
- A Formal Framework of a Generic Secure Mobile Agent System
- Translating the EEOS Model to Colored Petri Net Model
- Simulation and Analysis of the Extended Elementary Object System Model of a Secure Mobile Agent System
- A Case Study in Electronic Commerce
- A Case Study in E-Auction System.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
224. Active mining : new directions of data mining [2002]
- Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2002.
- Description
- Book — 1 online resource (x, 291 pages) : illustrations Digital: data file.
- Summary
-
- Cover; Title page; Preface; Acknowledgments; Contents; I. Data Collection; Toward Active Mining from On-line Scientific Text Abstracts Using Pre-existing Sources; Data Mining on the WAVEs
- Word-of-mouth-Assisting Virtual Environments; Immune Network-based Clustering for WWW Information Gathering/Visualization; Interactive Web Page Retrieval with Relational Learning-based Filtering Rules; Monitoring Partial Update of Web Pages by Interactive Relational Learning; Context-based Classification of Technical Terms Using Support Vector Machines.
225. Fundamentals of artificial intelligence [2020]
- Chowdhary, K. R.
- New Delhi : Springer (India) Private Limited, 2020.
- Description
- Book — 1 online resource (730 pages)
- Summary
-
- Introduction.- Logic and Inferencing.- First Order Predicate Logic.- Rule Based Reasoning.- Introduction to Prolog Language.- Knowledge Representation and Reasoning.- Networks Based Representation.- State Space Search.- Heuristic Search.- Constraint Satisfaction Problems.- Search and Game Playing.- Reasoning in Uncertain Environments.- Planning.- Natural Language Processing.- Machine Learning.- Machine Vision.- Bibliography.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 147 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Combined Approach for Ontology Enrichment from Textual and Open Data.- C-SPARQL Extension for Sampling RDF Graphs Streams.- Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
227. Fuzzy dual numbers : theory and applications [2018]
- Mora-Camino, Felix, author.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 62 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Fuzzy Numbers.- Dual Numbers.- Fuzzy Dual Numbers.- Fuzzy Dual Linear Matrix Inequalities.- Fuzzy Estimation of Distribution Matrices.- Fuzzy Dual Entropy and Applications.- Fuzzy Dual Programming.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Krejčí, Jana, author.
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xviii, 273 pages) Digital: text file.PDF.
- Summary
-
- Introduction.- Pairwise Comparison Matrices.- Fuzzy Set Theory.- Fuzzy Pairwise Comparison Matrices.- Incomplete Large-dimensional Pairwise Comparison Matrices.- Discussion and Future Research. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Deibe, Maribel Acosta, author.
- Karlsruhe, Germany : IOS Press, 2018.
- Description
- Book — 1 online resource
- Summary
-
- Intro; Title Page; Contents; Introduction; Motivation; Problem Statement; Challenges and Overview of the State-of-the-Art; Challenges for Efficient SPARQL Query Processing; Challenges for Effective SPARQL Query Processing; Hypotheses and Research Questions; Contributions; Outline; Foundations of Linked Data Management; Linked Data; The Resource Description Framework (RDF); Querying RDF Data: The SPARQL Query Language; Querying RDF Data on the Web; URI Dereferencing and Link Traversal; SPARQL Endpoints; Linked Data Fragments; Foundations of Query Processing; Query Optimization
- Adaptive Query ProcessingAdaptive Query Processing over Linked Data; Introduction; Research Questions; Contributions; Structure of the Chapter; Motivating Example; Related Work; Adaptive Link Traversal Approaches; Adaptive Query Processing Against SPARQL Endpoints; Query Processing Approaches Against TPF Servers; The nLDE Approach; nLDE Query Optimizer; Estimation of Query Plan Cardinalities; Placing Physical Operators; Building Query Tree Plans; nLDE Optimizer: Algorithm Description; Complexity of the nLDE Query Optimizer; nLDE Adaptive Routing Query Engine; Adaptive Operators; Eddies
- Network of Linked Data Eddies (nLDE)Termination of nLDE; Correctness of nLDE; Routing Policies; Routing Policy from Eddies to Adaptive Operators; Routing Policy from Adaptive Operators to Eddies; Experimental Study; Experimental Settings; Efficiency of the nLDE Optimizer; Effectiveness of the nLDE Optimizer; Impact of the nLDE Routing-based Adaptivity on Execution Time in Perfect Networks; Effectiveness of the nLDE Routing-based Adaptivity Under the Presence of Network Delays; Summary and Future Work; Foundations of Crowdsourcing; Overview; Types of Crowdsourcing; Microtasks; Contests
- Crowdsourcing WorkflowsHybrid Crowdsourcing Workflows; Human-based Workflow: Find-Fix-Verify; Crowdsourcing Query Answer Completeness over Linked Data; Introduction; Research Questions; Contributions; Structure of the Chapter; Motivating Example; Related Work; Hybrid Query Processing for Relational Data; Crowd-based Linked Data Management Applications; Web Data Quality Assessment; The HARE Approach; Problem Definition; Proposed Solution; RDF Completeness Model; Representation of the Crowd Knowledge; Crowd Contradiction; Crowd Unknownness; HARE Microtask Manager; User Interface Generator
- Microtask ExecutorHARE Query Optimizer; Complexity of the HARE Query Optimizer; HARE Query Engine; A SPARQL Fuzzy Set Semantics; HARE BGP Executor; Complexity of HARE Query Evaluation; Experimental Study; Experimental Settings; HARE Crowdsourcing Capabilities; Size of Query Answer; Quality of Crowd Answers; Crowd Response Time; Summary and Future Work; Crowdsourcing Linked Data Quality Issues; Introduction; Research Questions; Contributions; Structure of the Chapter; Preliminaries: Linked Data Quality Issues; Related Work; Crowdsourcing in Linked Data Management; Web Data Quality Assessment
- Workshop on Computational Optimization (9th : 2016 : Gdansk, Poland)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (x, 235 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Sequential Predictive Scheduling in Partitioned Data Domains.- Wildfire Optimizations in Modeling and Calibrations for Bulgarian Test Cases.- Process Control with the Variability Constraints.- Comparison of Different ACO Start Strategies Based on InterCriteria Analysis.- Evolutionary Approach for Tuning of Longwall Scraper Conveyor Model.- Solving Graph Partitioning Problems with Parallel Metaheuristics.- Comparison of Selected Fuzzy PSO Algorithms.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xv, 308 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Review of Soft Computing Techniques in Maritime Logistics and its Related Fields.- Intelligent Data Analysis, Soft Computing and Imperfect Data.- Soft Computing Methods in Transport and Logistics.- Applications of Soft Computing in Intelligent Transportation Systems.- Fuzzy Cognitive Maps based Models for Pattern Classification: Advances and Challenges.- A proposal of on-line detection of new faults and automatic learning in fault diagnosis.- Fuzzy Portfolio Selection Models for dealing with Investor's Preferences.- Gradual numbers and fuzzy solutions to fuzzy optimization problems.- A modal account of preference in a fuzzy setting.- The single parameter family of Gini Bonferroni welfare functions and the binomial decomposition, transfer sensitivity and positional transfer sensitivity.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
232. Software engineering, artificial intelligence, networking and parallel/distributed computing [2018]
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xi, 215 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Sequence Classification based on Active Learning.- Using MongoDB Databases For Training and Combining Intrusion Detection Datasets.- Service Oriented Network Management with Knowledge-Based Network Management System in Fluctuating Environment.- A Topic Structuration Method on Time Series for a Meeting from Text Data.- Joint Embedding of Hierarchical Structure and Context for Entity Disambiguation.- Automatic Optimization of OpenCL-Based Stencil Codes for FPGAs.- Should Duration and Team Size be Used for Effort Estimation?.- A Lifelog Data Portfolio for Privacy Protection based on Dynamic Data Attributes in a Lifelog Service.- Estimation of Emotional Scene from Lifelog Videos in Consideration of Intensity of Various Facial Expressions.- Developing a Framework to Support Designing of Active Learning Class.- Where Do Drivers Look When Driving in a Foreign Country?.- On Password Strength: A Survey and Analysis.- Probabilistic Model-Based Multistep Crossover Considering Dependency between Nodes in Tree Optimization.- Digital Watermark Design for Two-dimensional Codes Displayed on Smart Phone Screen Using Multi-Objective Optimization and Optical Simulation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ogiela, Lidia, author.
- London, United Kingdom : Academic Press is an imprint of Elsevier, 2017.
- Description
- Book — 1 online resource Digital: text file.
- Summary
-
- 1. Introduction
- 2. Intelligence computer data analysis techniques
- 3. The fundamentals of Cognitive Informatics
- 4. Cognitive information systems
- 5. The fundamentals of management sciences
- 6. Intelligent cognitive information systems in management application
- 7. Summary.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- IEEE Symposium Series on Computational Intelligence (2016 : Athens, Greece)
- Piscataway, NJ : IEEE [2016]
- Description
- Book — 1 online resource : illustrations (some color) Digital: text file; PDF.
- Summary
-
Annotation The Symposium series refers to all apects of theory, algorithm design, applications and emerging techniques related to computational intelligence.
- Cham, Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xxi, 278 pages) : illustrations (some color)
- Summary
-
- Part I: Online learning of a weighted selective naive Bayes classifier with non-convex optimization
- On making skyline queries resistant to outliers
- Adaptive Down-Sampling and Dimension Reduction in Time Elastic Kernel Machines for Efficient Recognition of Isolated Gestures
- Exact and Approximate Minimal Pattern Mining
- Part II: Comparison of proximity measures for a topological discrimination
- Comparison of linear modularization criteria using the relational formalism, an approach to easily identify resolution limit
- A novel approach to feature selection based on quality estimation metrics
- Ultrametricity of Dissimilarity Spaces and Its Significance for Data Mining
- Part III: SMERA: Semantic Mixed Approach for Web Query Expansion and Reformulation
- Multi-layer ontologies for integrated 3D shape segmentation and annotation
- Ontology Alignment Using Web Linked Ontologies as Background Knowledge
- LIAISON: reconciLIAtion of Individuals profiles across SOcial Networks
- Clustering of Links and Clustering of Nodes: Fusion of Knowledge in Social Networks.
- Di Nola, Antonio, author.
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (vi, 116 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Introduction
- Basic Notions
- Classical Sentential Calculus and Lukasiewicz Sentential Calculus
- MV -Algebras: Generalities
- Local MV -algebras
- Perfect MV -algebras
- The Variety Generated by Perfect MV -algebras
- Representations of Perfect MV -algebras
- The Logic of Perfect Algebras
- The Logic of Quasi True
- Perfect Pavelka Logic.
- CIMA 2012 (2012 : Montpellier, France)
- Berlin ; New York : Springer, ©2013.
- Description
- Book — 1 online resource Digital: text file.PDF.
- Summary
-
- Intelligent Agents: Integrating Multiple Components Through a Symbolic Structure / Razvan Dinu, Tiberiu Stratulat
- An Architecture for Multi-Dimensional Temporal Abstraction Supporting Decision Making in Oil-Well Drilling / Odd Erik Gundersen, Frode Sørmo
- A New Impulse Noise Filtering Algorithm Based on a Neuro-Fuzzy Network / Yueyang Li, Haichi Luo, Jun Sun
- A Fuzzy System for Educational Tasks for Children with Reading and Writing Disabilities / Adalberto Bosco C. Pereira
- Optimizing the Performance of a Refrigeration System Using an Invasive Weed Optimization Algorithm / Roozbeh Razavi-Far, Vasile Palade, Jun Sun
- A New Cooperative Evolutionary Multi-Swarm Optimizer Algorithm Based on CUDA Architecture Applied to Engineering Optimization / Daniel Leal Souza, Otávio Noura Teixeira
- Hybrid Approach of Genetic Programming and Quantum-Behaved Particle Swarm Optimization for Modeling and Optimization of Fermentation Processes / Jun Sun, Vasile Palade, Zhenyu Wang
- Hybrid Client Specific Discriminant Analysis and its Application to Face Verification / Xiao-Qi Sun, Xiao-Jun Wu, Jun Sun.
238. Practical web analytics for user experience : how analytics can help you understand your users [2013]
- Beasley, Michael, 1980-
- Amsterdam : Morgan Kaufmann, an imprint of Elsevier, [2013]
- Description
- Book — 1 online resource (xv, 234 pages) : illustrations
- Summary
-
- Chapter 1 Introduction
- Chapter 2 Analysis Process
- Chapter 3 How it Works
- Chapter 4 Goals
- Chapter 5 Visitor Analysis
- Chapter 6 Traffic Analysis
- Chapter 7 How People Use Content
- Chapter 8 Clickpath Analysis
- Chapter 9 Segmentation
- Chapter 10 Putting it Together
- Chapter 11 Testing
- Chapter 12 Measuring Behavior within Pages
- Chapter 13 AB Testing
- Chapter 14 Profiles
- Chapter 15 Culture
- Chapter 16 Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Catalonian Conference on AI (15th : 2012 : Universitat d'Alacant)
- Amsterdam ; Washington, D.C. : IOS Press, ©2012.
- Description
- Book — 1 online resource
- Summary
-
- Title Page; Preface; Conference Organization; Contents; Invited Talks; Some Real-World Applications of Soft Artificial Intelligence: Scientogram Mining, Assembly Line Balancing, and Forensic Identification; Challenges of Automation and Safety in Field Robotics; KDD, DM and Machine Learning; Data Mining and Query Answer Techniques Applied to a Bio-Nutritional Trials Focused Expert System; The Use of the Traffic Lights Panel as a Goodness-of-Clustering Indicator: An Application to Financial Assets
- Using Gabriel Graphs in Borderline-SMOTE to Deal with Severe Two-Class Imbalance Problems on Neural NetworksActive Learning of Actions Based on Support Vector Machines; Towards the Formalization of Re-Identification for Some Data Masking Methods; Natural Language Processing and Recommenders; Towards Object Descriptions in Natural Language from Qualitative Models; Semantically-Enhanced Recommenders; Computer Vision; Supervised Texture Classification Using Optimization Techniques; Modelling Facial Expressions Dynamics with Gaussian Process Regression; Survey on 2D and 3D Human Pose Recovery
- A Study of Registration Techniques for 6DoF SLAMRobotics; Object Detection Methods for Robot Grasping: Experimental Assessment and Tuning; The Role of i-Walker in Post-Stroke Training; Using a RGB-D Camera for 6DoF SLAM; Learning Topological SLAM Using Visual Information; AI for Optimization Problems; Exploring Genetic Algorithms and Simulated Annealing for Immobile Location-Allocation Problem; Analysis and Generation of Pseudo-Industrial MaxSAT Instances; A SAT-Based Approach to MinSAT; Multicast Session Protection Planner
- Tool to Plan and Deploy Protection Infrastructure: A SPEA Approach
- AI Applications to Real WorldA Case-Based Hybrid System for Injection Molding Sensorization; First Studies on Self-Preserving Digital Objects; Intelligent Building Energy Management Through Holistic Knowledge Based Approach; Quantitative and Qualitative Approaches for Stock Movement Prediction; Subject Index; Author Index
240. Density ratio estimation in machine learning [2012]
- Sugiyama, Masashi, 1974-
- New York : Cambridge University Press, 2012.
- Description
- Book — 1 online resource (xii, 329 pages) : illustrations
- Summary
-
- Part I. Density Ratio Approach to Machine Learning: 1. Introduction
- Part II. Methods of Density Ratio Estimation: 2. Density estimation
- 3. Moment matching
- 4. Probabilistic classification
- 5. Density fitting
- 6. Density-ratio fitting
- 7. Unified framework
- 8. Direct density-ratio estimation with dimensionality reduction
- Part III. Applications of Density Ratios in Machine Learning: 9. Importance sampling
- 10. Distribution comparison
- 11. Mutual information estimation
- 12. Conditional probability estimation
- Part IV. Theoretical Analysis of Density Ratio Estimation: 13. Parametric convergence analysis
- 14. Non-parametric convergence analysis
- 15. Parametric two-sample test
- 16. Non-parametric numerical stability analysis
- Part V. Conclusions: 17. Conclusions and future directions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
241. Machine Learning for Financial Engineering [2012]
- Gyorfi, Laszlo.
- Singapore : World Scientific, 2012.
- Description
- Book — 1 online resource (261 pages)
- Summary
-
- On the History of the Growth Optimal Portfolio (M M Christensen)
- Empirical Log-Optimal Portfolio Selections: A Survey (L Gyorfi et al.)
- Log-Optimal Portfolio Selection with Proportional Transaction Costs (L Gyorfi & H Walk)
- Log-Optimal Portfolio with Short Selling and Leverage (M Horvath & A Urban)
- Nonparametric Sequential Prediction of Stationary Time Series (L Gyorfi & G Ottuscak)
- Empirical Pricing American Put Options (L Gyorfi & A Telcs).
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
242. Machine Learning for Financial Engineering [2012]
- Gyorfi, Laszlo.
- Singapore : World Scientific, 2012.
- Description
- Book — 1 online resource (261 pages)
- Summary
-
- On the History of the Growth Optimal Portfolio (M M Christensen)
- Empirical Log-Optimal Portfolio Selections: A Survey (L Gyorfi et al.)
- Log-Optimal Portfolio Selection with Proportional Transaction Costs (L Gyorfi & H Walk)
- Log-Optimal Portfolio with Short Selling and Leverage (M Horvath & A Urban)
- Nonparametric Sequential Prediction of Stationary Time Series (L Gyorfi & G Ottuscak)
- Empirical Pricing American Put Options (L Gyorfi & A Telcs).
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Catalonian Conference on AI (14th : 2011 : Universitat de Lleida)
- Amsterdam ; Washington, D.C. : IOS Press, ©2011.
- Description
- Book — 1 online resource (x, 239 pages) Digital: data file.
- Summary
-
- Tile Page; Preface; Organization; Contents; An Assistance Infrastructure for Open MAS; On the Modularity of Industrial SAT Instances; On 2SAT-MaxOnes with Unbalanced Polarity: From Easy Problems to Hard MaxClique Problems; Experimenting with the Instances of the MaxSAT Evaluation; Lazy Learning Methods for Quality of Life Assessment in People with Intellectual Disabilities; Probabilistic Appearance-Based Mapping and Localization Using the Feature Stability Histogram; Towards an Efficient Use of Resources in All-Optical Networks; Depth of Valleys Accumulation Algorithm for Object Detection.
- Lyons, Damian M.
- Singapore ; Hackensack, NJ : World Scientific, ©2011.
- Description
- Book — 1 online resource (xxi, 212 pages) : illustrations
- Summary
-
- 1. Introduction
- 2. Clusters and robots
- 3. Cluster programming
- 4. Robot motion
- 5. Sensors
- 6. Mapping and localization
- 7. Vision and tracking
- 8. Learning landmarks
- 9. Robot architectures
- Appendix I: Summary of OpenMPI man page for mpirun
- Appendix II: MPI datatypes
- Appendix III: MPI reduction operations
- Appendix IV: MPI application programmer interface.
(source: Nielsen Book Data)
- Scandinavian Conference on Artificial Intelligence (11th : 2011 : Trondheim, Norway)
- Amsterdam : IOS, ©2011.
- Description
- Book — 1 online resource (xiii, 197 pages) : illustrations
- Summary
-
- Machine generated contents note: Invited Talks
- Playing Games with Games / Michael Wooldridge
- User-Generated AI for Interactive Digital Entertainment / Ashwin Ram
- Perspectives on Artificial Intelligence in a Business Environment / Peter Nordin
- Tutorials
- Probabilistic Decision Graphs for Optimization Under Uncertainty / Finn Verner Jensen
- Coordinating Multi-Agent Systems Using Social Laws / Thomas Agotnes
- Full Papers
- Machine Learning
- User-Oriented Assessment of Classification Model Understandability / Niklas Lavesson
- Concurrent Learning of Large-Scale Random Forests / Henrik Bostrom
- Learning Multi-Label Predictors Under Sparsity Budget / Tapio Salakoski
- Machine Learning Methods for Spatial Clustering on Precision Agriculture Data / Rudolf Kruse
- Planning
- On Constraint Models for Parallel Planning: The Novel Transition Scheme / Roman Bartak
- Trajectory Planning on Grids: Considering Speed Limit Constraints / Lukas Chrpa
- Safe Reinforcement Learning for Continuous Spaces Through Lyapunov-Constrained Behavior / Erik Kyrkjebø
- Parallel Monte Carlo Tree Search on GPU / Reiji Suda
- Exploiting Global Properties in Path-Consistency Applied on SAT / Pavel Surynek
- Applications
- Incremental Stream Clustering for Anomaly Detection and Classification / Jan Ekman
- Respiratory Motion Prediction: A Fuzzy Logic Approach / Manish Kakar
- Case-Based Reasoning in a System Architecture for Intelligent Fish Farming / Agnar Aamodt
- Overview of Fault Detection Techniques in Automated Monitoring Systems / Shengtong Zhong
- Robotics and Cognition
- View-Independent Human Gait Recognition Using CBR and HMM / Odd Erik Gundersen
- Self-Exploration of Autonomous Robots Using Attractor-Based Behavior Control and ABC-Learning / Matthias Kubisch.
246. Swarm stability and optimization [2011]
- Gazi, Veysel.
- New York : Springer, ©2011.
- Description
- Book — 1 online resource (xvii, 299 pages)
- Summary
-
- pt. 1. Basic principles
- pt. 2. Continuous time swarms
- pt. 3. Discrete time swarms
- pt. 4. Swarm based optimization methods.
247. Agent-based computing [2010]
- New York : Nova Science Publishers, [2010].
- Description
- Book — 1 online resource.
- Summary
-
- Preface
- Agent-Based Genetic Algorithm for Global Numerical Optimization & Feature Selection
- Multi-Agent Enterprise Sustainability Performance Measurement System
- A Modular Artificial Neural Network Based Decision Making in a Multi-Agent Robot Soccer System
- Security & Privacy in Track & Trace Infrastructures
- A Challenge to Develop Large-Scale Agent Simulation Software
- A Framework of an Agent-Based Model Using Social & Physical Interaction for Vulnerability Analysis on Flood Events
- An Investigation into the Issues of Multi-Agent Data Mining
- Agent-Based Discovery, Composition & Orchestration of Grid Web Services
- An Efficient Mobile-Agent-Based Platform for Dynamic Service Provisioning in 3G/UMTs
- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Catalonian Conference on AI (13th : 2010 : Espluga de Francolí, Spain)
- Amsterdam ; Washington, DC : IOS Press, ©2010.
- Description
- Book — 1 online resource (xv, 344 pages) Digital: data file.
- Summary
-
- Title page; Preface; Conference Organization; Contents; Invited Talks; Agents and Multi-Agents Systems; AI Real-World Applications; Data Mining, Machine Learning and Soft Computing; Logics, Constraint Satisfaction and Reasoning; Robotics, Vision and Perception; Subject Index; Author Index.
- Berlin ; Heidelberg : Springer-Verlag, ©2010.
- Description
- Book — 1 online resource (412 pages) Digital: text file; PDF.
- Summary
-
- New Hybrid Intelligent Systems to Solve Linear and Quadratic Optimization Problems and Increase Guaranteed Optimal Convergence Speed of Recurrent ANN
- A Novel Optimization Algorithm Based on Reinforcement Learning
- The Use of Opposition for Decreasing Function Evaluations in Population-Based Search
- Search Procedure Exploiting Locally Regularized Objective Approximation. A Convergence Theorem for Direct Search Algorithms
- Optimization Problems with Cardinality Constraints
- Learning Global Optimization Through a Support Vector Machine Based Adaptive Multistart Strategy
- Multi-Objective Optimization Using Surrogates
- A Review of Agent-Based Co-Evolutionary Algorithms for Multi-Objective Optimization
- A Game Theory-Based Multi-Agent System for Expensive Optimisation Problems
- Optimization with Clifford Support Vector Machines and applications
- A Classification method based on principal component analysis and differential evolution algorithm applied for prediction diagnosis from clinical EMR heart data sets
- An Integrated Approach to Speed Up GA-SVM Feature Selection Model
- Computation in Complex Environments;
- Project Scheduling: Time-Cost Tradeoff Problems
- Systolic VLSI and FPGA Realization of Artificial Neural Networks
- Application of Coarse-Coding Techniques for Evolvable Multirobot Controllers.
- International Conference on Security with Intelligent Computing and Big Data Services (2nd : 2018 : Guilin, China)
- Cham, Switzerland : Springer, [2020]
- Description
- Book — 1 online resource
- Summary
-
This book presents the proceedings of the 2018 International Conference on Security with Intelligent Computing and Big-data Services (SICBS 2018). With the proliferation of security with intelligent computing and big-data services, the issues of information security, big data, intelligent computing, blockchain technology, and network security have attracted a growing number of researchers. Discussing topics in areas including blockchain technology and applications; multimedia security; information processing; network, cloud and IoT security; cryptography and cryptosystems; as well as learning and intelligent computing and information hiding, the book provides a platform for researchers, engineers, academics and industrial professionals from around the globe to present their work in security-related areas. It not only introduces novel and interesting ideas, but also stimulates discussions and inspires new ideas.
- Berlin : Springer, ©2009.
- Description
- Book — 1 online resource (xxxi, 533 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Part I Fuzzy, Neuro-Fuzzy and Rough Sets Applications.- Part II Neural Network Applications.- Part III Applications of Evolutionary Computations.- Part IV Other Soft Computing Applications.- Part V Design of Fuzzy, Neuro-Fuzzy and Rough Sets Techniques.- Part VI Design of Evolutionary Computation Techniques.- Part VII Design for other Soft Computing Techniques.- Part VIII Computer Graphics, Imaging, Vision and Signal Processing.
- (source: Nielsen Book Data)
- London : Springer, ©2009.
- Description
- Book — 1 online resource (xvii, 211 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Intelligent Environments: Methods, Algorithms and Applications.- A Pervasive Sensor System for Evidence-Based Nursing Care Support.- Anomalous Behavior Detection: Supporting Independent Living.- Sequential PatternMining for Cooking-Support Robot.- Robotic, Sensory and Problem-Solving Ingredients for the Future Home.- Ubiquitous Stereo Vision for Human Sensing.- Augmenting Professional Training, an Ambient Intelligence Approach.- Stereo Omnidirectional System (SOS) and Its Applications.- Video Analysis for Ambient Intelligence in Urban Environments.- From Monomodal to Multimodal: Affect Recognition Using Visual Modalities.- Importance of Vision in Human-Robot Communication Understanding Speech Using Robot Vision and Demonstrating Proper Actions to Human Vision.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- New York ; London : Springer, 2008.
- Description
- Book — 1 online resource (xx, 670 pages) : illustrations Digital: text file.PDF.
- Summary
-
- A Metamodel-Assisted Steady-State Evolution Strategy for Simulation-Based Optimization.- Automatically Defined Groups for Knowledge Acquisition from Computer Logs and Its Extension for Adaptive Agent Size.- Robust Hybrid Sliding Mode Control for Uncertain Nonlinear Systems Using Output Recurrent CMAC.- A Dynamic GA-Based Rhythm Generator.- Evolutionary Particle Swarm Optimization: A Metaoptimization Method with GA for Estimating Optimal PSO Models.- Human-Robot Interaction as a Cooperative Game.- Swarm and Entropic Modeling for Landmine Detection Robots.- Iris Recognition Based on 2D Wavelet and AdaBoost Neural Network.- An Improved Multiclassifier for Soft Fault Diagnosis of Analog Circuits.- The Effect of Background Knowledge in Graph-Based Learning in the Chemoinformatics Domain.- Clustering Dependencies with Support Vectors.- A Comparative Study of Gender Assignment in a Standard Genetic Algorithm.- PSO Algorithm for Primer Design.- Genetic Algorithms and Heuristic Rules for Solving the Nesting Problem in the Package Industry.- MCSA-CNN Algorithm for Image Noise Cancellation.- An Integrated Approach Providing Exact SNP IDs from Sequences.- Pseudo-Reverse Approach in Genetic Evolution.- Microarray Data Feature Selection Using Hybrid GA-IBPSO.- Discrete-Time Model Representations for Biochemical Pathways.- Performance Evaluation of Decision Tree for Intrusion Detection Using Reduced Feature Spaces.- Novel and Efficient Hybrid Strategies for Constraining the Search Space in Frequent Itemset Mining.- Detecting Similar Negotiation Strategies.- Neural Networks Applied to Medical Data for Prediction of Patient Outcome.- Prediction Method for Real Thai Stock Index Based on Neurofuzzy Approach.- Innovative Technology Management System with Bibliometrics in the Context of Technology Intelligence.- Cobweb/IDX: Mapping Cobweb to SQL.- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC).- Partitioning Strategy for Embedded Multiprocessor FPGA Systems.- Interpretation of Sound Tomography Image for the Recognition of Ganoderma Infection Level in Oil Palm.- A Secure Multiagent Intelligent Conceptual Framework for Modeling Enterprise Resource Planning.- On Generating Algebraic Equations for A5-Type Key Stream Generator.- A Simulation-Based Study on Memory Design Issues for Embedded Systems.- SimDiv: A New Solution for Protein Comparison.- Using Filtering Algorithm for Partial Similarity Search on 3D Shape Retrieval System.- Topic-Specific Language Model Based on Graph Spectral Approach for Speech Recognition.- Automatic Construction of FSA Language Model for Speech Recognition by FSA DP-Matching.- Density: A Context Parameter of Ad Hoc Networks.- Integrating Design by Contract Focusing Maximum Benefit.- Performance Engineering for Enterprise Applications.- A Framework for UML-Based Software Component Testing.- Extending the Service Domain of an Interactive Bounded Queue.- A Hybrid Evolutionary Approach to Cluster Detection.- Transforming the Natural Language Text for Improving Compression Performance.- Compression Using Encryption.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Amsterdam ; Washington, DC : IOS Press, 2007.
- Description
- Book — 1 online resource (ix, 407 pages) : illustrations.
- Summary
-
- Title page; Preface; Contents; Part I: General Purpose Applications of AI; Supervised Machine Learning: A Review of Classification Techniques; Dimension Reduction and Data Visualization Using Neural Networks; Recommender System Technologies Based on Argumentation; Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development; A Semantic-Based Navigation Approach for Information Retrieval in the Semantic Web; Ontology-Based Management of Pervasive Systems; A DIYD (Do It Yourself Design) e-Commerce System for Vehicle Design Based on Ontologies and 3D Visualization.
- Conference on Learning Theory (20th : 2007 : San Diego, Calif.)
- Berlin ; New York : Springer, ©2007.
- Description
- Book — 1 online resource (xii, 634 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Invited Presentations.- Property Testing: A Learning Theory Perspective.- Spectral Algorithms for Learning and Clustering.- Unsupervised, Semisupervised and Active Learning I.- Minimax Bounds for Active Learning.- Stability of k-Means Clustering.- Margin Based Active Learning.- Unsupervised, Semisupervised and Active Learning II.- Learning Large-Alphabet and Analog Circuits with Value Injection Queries.- Teaching Dimension and the Complexity of Active Learning.- Multi-view Regression Via Canonical Correlation Analysis.- Statistical Learning Theory.- Aggregation by Exponential Weighting and Sharp Oracle Inequalities.- Occam's Hammer.- Resampling-Based Confidence Regions and Multiple Tests for a Correlated Random Vector.- Suboptimality of Penalized Empirical Risk Minimization in Classification.- Transductive Rademacher Complexity and Its Applications.- Inductive Inference.- U-Shaped, Iterative, and Iterative-with-Counter Learning.- Mind Change Optimal Learning of Bayes Net Structure.- Learning Correction Grammars.- Mitotic Classes.- Online and Reinforcement Learning I.- Regret to the Best vs. Regret to the Average.- Strategies for Prediction Under Imperfect Monitoring.- Bounded Parameter Markov Decision Processes with Average Reward Criterion.- Online and Reinforcement Learning II.- On-Line Estimation with the Multivariate Gaussian Distribution.- Generalised Entropy and Asymptotic Complexities of Languages.- Q-Learning with Linear Function Approximation.- Regularized Learning, Kernel Methods, SVM.- How Good Is a Kernel When Used as a Similarity Measure?.- Gaps in Support Vector Optimization.- Learning Languages with Rational Kernels.- Generalized SMO-Style Decomposition Algorithms.- Learning Algorithms and Limitations on Learning.- Learning Nested Halfspaces and Uphill Decision Trees.- An Efficient Re-scaled Perceptron Algorithm for Conic Systems.- A Lower Bound for Agnostically Learning Disjunctions.- Sketching Information Divergences.- Competing with Stationary Prediction Strategies.- Online and Reinforcement Learning III.- Improved Rates for the Stochastic Continuum-Armed Bandit Problem.- Learning Permutations with Exponential Weights.- Online and Reinforcement Learning IV.- Multitask Learning with Expert Advice.- Online Learning with Prior Knowledge.- Dimensionality Reduction.- Nonlinear Estimators and Tail Bounds for Dimension Reduction in l 1 Using Cauchy Random Projections.- Sparse Density Estimation with ?1 Penalties.- ?1 Regularization in Infinite Dimensional Feature Spaces.- Prediction by Categorical Features: Generalization Properties and Application to Feature Ranking.- Other Approaches.- Observational Learning in Random Networks.- The Loss Rank Principle for Model Selection.- Robust Reductions from Ranking to Classification.- Open Problems.- Rademacher Margin Complexity.- Open Problems in Efficient Semi-supervised PAC Learning.- Resource-Bounded Information Gathering for Correlation Clustering.- Are There Local Maxima in the Infinite-Sample Likelihood of Gaussian Mixture Estimation?.- When Is There a Free Matrix Lunch?.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ECAI 2006 (2006 : Riva, Italy)
- Amsterdam ; Washington, DC : IOS Press, ©2006.
- Description
- Book — 1 online resource (xxvi, 865 pages) : illustrations.
- Summary
-
- Title page; ECCAI Member Societies; Conference Organization; ECAI Programme Committee; Additional Reviewers; Preface; Contents; Invited Talks; Socially Intelligent Robots; Managing Diversity in Knowledge; The Truth About Defaults; SmartWeb: Getting Answers on the Go; Papers; Cognitive Modelling; Constraints and Search; Distributed AI/Agents; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; PAIS; Perception; Robotics; Posters; Cognitive Modeling; Constraints and Search; Distributed AI/Agents; Knowledge Representation and Reasoning.
- Braun, Peter, Dr.
- San Francisco, CA : Elsevier : Morgan Kaufmann ; Heidelberg : Dpunkt.verlag, ©2005.
- Description
- Book — 1 online resource (xxi, 441 pages) : illustrations
- Summary
-
- Part I Motivation for and Introduction to Mobile Agents
- 1 Designing Innovative Distributed Systems
- 2 From Client-Server to Mobile Agents
- Part II Mobile Agents Concepts, Functions, and Possible Problems
- 3 Mobile Agent Migration
- 4 Mobile Agent Communication
- 5 Mobile Agent Security
- Part III The Kalong Mobility Model Specification and Implementation
- Chapter 6 Specifications of the Kalong Mobility Model
- Chapter 7 Using Kalong
- Chapter 8 Evaluation
- Part IV The Tracy Mobile Agent Toolkit
- Chapter 9 Running a Tracy Agency
- Chapter 10 Programming Agents with Tracy
- Bibliography
- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Braun, Peter, Dr.
- San Francisco, CA : Elsevier : Morgan Kaufmann ; Heidelberg : Dpunkt.verlag, ©2005.
- Description
- Book — 1 online resource (xxi, 441 pages) : illustrations
- Summary
-
- Part I Motivation for and Introduction to Mobile Agents
- 1 Designing Innovative Distributed Systems
- 2 From Client-Server to Mobile Agents
- Part II Mobile Agents Concepts, Functions, and Possible Problems
- 3 Mobile Agent Migration
- 4 Mobile Agent Communication
- 5 Mobile Agent Security
- Part III The Kalong Mobility Model Specification and Implementation
- Chapter 6 Specifications of the Kalong Mobility Model
- Chapter 7 Using Kalong
- Chapter 8 Evaluation
- Part IV The Tracy Mobile Agent Toolkit
- Chapter 9 Running a Tracy Agency
- Chapter 10 Programming Agents with Tracy
- Bibliography
- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
259. Advances in genetic programming. Volume III [1999]
- Cambridge, Mass. : MIT Press, [1999]
- Description
- Book — 1 online resource (476 pages) : illustrations
- Summary
-
- Contributors
- Acknowledgments
- 1. An Introduction to the Third Volume / Lee Spector, William B. Langdon, Una-May O'Reilly, Peter J. Angelino
- I. Applications
- 2. An Automatic Software Re-Engineering Tool Based on Genetic Programming / Conor Ryan and Laur Ivan
- 3. CAD Surface Reconstruction from Digitized 3D Point Data with a Genetic Programming/Evolution Strategy Hybrid / Robert E. Keller, Wolfgang Banzhaf, Jorn Mehnen and Klaus Weinert
- 4. A Genetic Programming Approach for Robust Language Interpretation / Carolyn Penstein Rose
- 5. Time Series Modeling Using Genetic Programming: An Application to Rainfall-Runoff Models / Peter A. Whigham and Peter F. Crapper
- 6. Automatic Synthesis, Placement, and Routing of Electrical Circuits by Means of Genetic Programming / John R. Koza and Forest H. Bennett III
- 7. Quantum Computing Applications of Genetic Programming / Lee Spector, Howard Barnum, Herbert J. Bernstein and Nikhil Swamy
- II. Theory
- II. Theory
- 8. The Evolution of Size and Shape / William B. Langdon, Terry Soule, Riccardo Poli and James A. Foster
- 9. Fitness Distributions: Tools for Designing Efficient Evolutionary Computations / Christian Igel and Kumar Chellapilla
- 10. Analysis of Single-Node (Building) Blocks in Genetic Programming / Jason M. Daida, Robert R. Bertram, John A. Polito 2 and Stephen A. Stanhope
- 11. Rooted-Tree Schemata in Genetic Programming / Justinian P. Rosca and Dana H. Ballard
- III. Extensions
- III. Extensions
- 12. Efficient Evolution of Machine Code for CISC Architectures Using Instruction Blocks and Homologous Crossover / Peter Nordin, Wolfgang Banzhaf and Frank D. Francone
- 13. Sub-machine-code Genetic Programming / Riccardo Poli and William B. Langdon
- 14. The Internal Reinforcement of Evolving Algorithms / Astro Teller
- 15. Inductive Genetic Programming with Immune Network Dynamics / Nikolay I. Nikolaev, Hitoshi Iba and Vanio Slavov
- 16. A Self-Tuning Mechanism for Depth-Dependent Crossover / Takuyo Ito, Hitoshi Iba and Satoshi Sato
- 17. Genetic Recursive Regression for Modeling and Forecasting Real-World Chaotic Time Series / Geum Yong Lee
- 18. Co-evolutionary Fitness Switching: Learning Complex Collective Behaviors Using Genetic Programming / Byoung-Tak Zhang and Dong-Yeon Cho
- 19. Evolving Multiple Agents by Genetic Programming / Hitoshi Iba
- Index.
(source: Nielsen Book Data)
Genetic programming is a form of evolutionary computation that evolves programs and program-like executable structures for developing reliable time -- and cost-effective applications. It does this by breeding programs over many generations, using the principles of natural selection, sexual recombination, and mutuation. This third volume of "Advances in Genetic Programming" highlights many of the recent technical advances in this increasingly popular field.
(source: Nielsen Book Data)
260. Soft computing in systems and control technology [1999]
- Singapore ; River Edge, N.J. : World Scientific, ©1999.
- Description
- Book — 1 online resource (xxv, 479 pages) : illustrations
- Summary
-
- Neural networks in systems identification and control - supervised learning in multilayer perceptions - the back-propagation algorithm
- identification of two-dimensional state space discrete systems using neural networks
- neural networks for control
- neuro-based adaptive regulator
- local model networks and self-tuning predictive control
- fuzzy and neuro-fuzzy systems in modelling, control and robot path planning - an on-line self constructing fuzzy modelling architecture based on neural and fuzzy concepts and techniques
- neuro-fuzzy model-based control
- fuzzy and neurofuzzy approaches to mobile robot path and motion planning under uncertainty
- genetic-evolutionary algorithms - a tutorial overview of genetic algorithms and their applications
- results from a variety of genetic algorithm applications showing the robustness of the approach
- evolutionary algorithms in computer-aided design of integrated circuits
- soft computing applications - soft data fusion
- application of neural networks to computer gaming
- coherent neural networks and their applications to control and signal processing
- neural, fuzzy and evolutionary reinforcement learning systems - an application case study
- neural networks in industrial and environmental applications.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
261. Artificial intelligence and automation [1998]
- Singapore ; River Edge, NJ : World Scientific, ©1998.
- Description
- Book — 1 online resource (xix, 536 pages) : illustrations
- Summary
-
- A new way to acquire knowledge, H.-Y. Wang
- an SPN knowledge representation scheme, J. Gattiker and N. Bourbakis
- on the deep structures of word problems and their construction, F. Gomez
- resolving conflicts in inheritance reasoning with statistical approach, C. Lee
- integrating high and low level computer vision for scene understanding, R. Malik and S. So
- the evolution of commercial AI tools - the first decade, F. Hayes-Roth
- reengineering - the AT generation - billions on the table, J.S. Minor, Jr.
- an intelligent tool for discovering data dependencies in relational DBS, P. Gavaskar and F. Golshani
- a case-based reasoning (CBR) tool to assist traffic flow, B. Das and S. Bayles
- a study of financial expert system based on flops, T. Kaneko and K. Takenaka
- an associative data parallel compilation model for tight integration of high performance knowledge retrieval and computation, A. Bansal
- software automation - from silly to intelligent, X. Jiafu et al
- software engineering using artificial intelligence - the knowledge based software assistant, D. White
- knowledge based derivation of programmes from specs, T. Weight et al
- automatic functional model generation for parallel fault design error simulations, S.E. Chang and S. Szygenda
- visual reverse engineering using SPN for automated diagnosis and functional simulation of digital circuits, J. Gattiker and S. Mertoguno
- the impact of AI in VLSI design automation, M. Mortazavi and N. Bourbakis
- the automated acquisition of subcategorization of verbs, nouns and adjectives from sample sentences, F. Gomez
- general method for planning and rendezvous problems, K. Trovato
- learning to improve path planning performance, P.C. Chen
- incremental adaptation as a method to improve reactive behaviour, A.J. Hendriks and D.M. Lyons
- an SPN-neural planning methodology for coordination of multiple robotic arms with constrained placement, N. Bourbakis and A. Tascillo.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Singapore ; Teaneck, N.J. : World Scientific, ©1990.
- Description
- Book — 1 online resource (vi, 222 pages) : illustrations
- Summary
-
- An intelligent image-based computer-aided education system: the prototype BIRDS / A.A. David, O. Thiery & M. Crehange
- PLAYMAKER: a knowledge-based approach to characterizing hydrocarbon plays / G. Biswas [and others]
- An expert system for interpreting mesoscale features in oceanographic satellite images / N. Krishnakumar [and others]
- An expert system for tuning particle beam accelerators / D.L. Lager, H.R. Brand & W.J. Maurer
- Expert system approach to assessments of bleeding predispositions in tonsillectomy/adenoidectomy patients / N.J. Pizzi & J.M. Gerrard
- Expert system approach using graph representation and analysis for variable-stroke internal-combustion engine design / S.N.T. Shen, M.S. Chew & G.F. Issa
- A comparison of two new techniques for conceptual clustering / S.L. Crawford & S.K. Souders
- Querying an object-oriented database using free language / P. Trigano [and others]
- Adaptive planning for air combat maneuvering / I.C. Hayslip, J.P. Rosenking & J. Filbert
- AM/AG model: a hierarchical social system metaphor for distributed problem solving / D.G. Shin & J. Leone
- CAUSA
- A tool for model-based knowledge acquisition / W. Dilger & J. Moller
- PRIOPS: a real-time production system architecture for programming and learning in embedded systems / D.E. Parson & G.D. Blank.
(source: Nielsen Book Data)
- Matthews, Peter.
- [United States] : Apress, 2020.
- Description
- Book — 1 online resource Digital: text file.PDF.
- Summary
-
- Part 1: Preparing for the Future of Work
- Chapter 1: Will Robots Replace You?
- Chapter 2: Technology Definitions
- Part 2: Robots are Working
- Chapter 3: Robotic Process Automation
- Chapter 4: Robots in Teams
- Chapter 5: Robots Without Arms
- Part 3: Making Sense for Robots and Society
- Chapter 6: Robots in a World of Data
- Chapter 7: Robots in Society
- Chapter 8: Work in the Future.
(source: Nielsen Book Data)
264. Visual guidance of unmanned aerial manipulators [2019]
- Santamaria-Navarro, Angel, author.
- Cham, Switzerland : Springer, [2019]
- Description
- Book — 1 online resource (xix, 140 pages) : color illustrations Digital: text file.PDF.
- Summary
-
- I ntroduction.- Robot State Estimation.- Visual Servo.- Task Control.- Closing remarks.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
265. Artificial intelligence and robotics [2018]
- International Symposium on Artificial Intelligence and Robotics (2nd : 2017 : Kitakyūshū-shi, Japan)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XIV, 326 pages) : 154 illustrations Digital: text file.PDF.
- Summary
-
- Identification of the Conjugate Pair to Estimating Object Distance: An Application of the Ant Colony Algorithm.-Design of Palm Acupuncture Points Indicator.- Low-rank Representation and Locality-constrained Regression for Robust Low-Resolution Face Recognition.- Face Recognition Benchmark with ID Photos.- Scene Relighting using a Single Reference Image through Material Constrained Layer Decomposition.- Applying Adaptive Actor-critic Learning to Human Upper Lime Lifting Motion.- A Demand-based Allocation Mechanism for Virtual Machine.- A Joint Hierarchy Model for Action Recognition Using Kinect.- QoS-Based Medical Program Evolution.- An Improved 3D Surface Reconstruction Method based on Three Wavelength Phase Shift Profilometry.- The Research on the Lung Tumor Imaging based on the Electrical Impedance Tomography.- Combining CNN and MRF for Road Detection.- The Increasing of Discrimination Accuracy of Waxed Apples based on Hyperspectral Imaging Optimized by Spectral Correlation Analysis.- A Diffeomorphic Demons Approach to Statistical Shape Modeling.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- European Conference on Computer Vision (15th : 2018 : Munich, Germany)
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xxxi, 831 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- European Conference on Computer Vision (15th : 2018 : Munich, Germany)
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xxx, 733 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- European Conference on Computer Vision (15th : 2018 : Munich, Germany)
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xxxi, 855 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
269. Intelligent distributed computing XI [2018]
- International Symposium on Intelligent and Distributed Computing (11th : 2017 : Belgrade, Serbia)
- Cham : Springer, [2018]
- Description
- Book — 1 online resource (x, 334 pages) Digital: text file.PDF.
- Summary
-
- Part I: Distributed Algorithms and Optimization.- A Performance Analysis of Self-* Evolutionary Algorithms on Networks with Correlated Failures.- Spatially Structured Evolutionary Algorithms: Graph Degree, Population Size and Convergence Speed.- Heuristic of Anticipation for Fair Scheduling and Resource Allocation in Grid VOs.- On the Applications of Dijkstra's Shortest Path Algorithm in Software Defined Networks.- Part II: Reasoning and Decision Making in Distributed Environments.- Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments.- A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions.- Lightweight Cooperative Self-Localization as Support to Traffic Regulation for Autonomous Car Driving.- A New Approach for Vertical Handover between LTE and WLAN Based on Fuzzy Logic and Graph Theory.- Part III: Multi-agent Systems.- Programming the Interaction Space Effectively with ReSpecTX.- Multi-Agent System to Design Next Generation of Airborne Platform.- A Drone-based Building Inspection System using Software-Agents.- Part IV: Data Analysis, Mining and Integration.- Connecting Social Media Data with Observed Hybrid Data for Environment Monitoring.- EUStress: a Human Behaviour Analysis System for Monitoring and Assessing Stress during Exams.- Post Sharing-based Credibility Network for Social Network.- Ontological Hybrid Storage for Security Data.- Part V: Machine Learning.- Wind Power Production Forecasting using Ant Colony Optimization and Extreme Learning Machines.- Convolutional Neural Networks for Four-Class Motor Imagery Data Classification.- Binary Classification of Images for Applications in Intelligent 3D Scanning.- Part VI: Internet of Things and Cloud Computing.- Context Aware Resource and Service Provisioning Management in Fog Computing Systems.- An Argumentative Approach to Smart Home Office Ambient Lighting.- A Recommender System Based on Hierarchical Clustering for Cloud e-Learning.- A Taxonomy of Anomalies in Distributed Cloud Systems: The CRI-Model.- Modeling and Analysis of IoT Energy Resource Exhaustion Attacks.- Part VII: Service-based Distributed Systems.- Service Discovery in Megascale Distributed Systems.- Context-Aware Access Control Model for Services Provided from Cloud Computing.- Reference Architecture for Self-Adaptive Microservice Systems.- Part VIII: WASA 2017 (7th Workshop on Applications of Software Agents).- Agent-Based Computing in the Internet of Things: a Survey.- Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Sukhodolov, Alexander P., author.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (vii, 75 pages) Digital: text file.PDF.
- Summary
-
- Production and Economic Relations on the Internet: Another Level of Development of Economic Science.- Internet Economy: Existence from the Point of View of Micro-Economic Aspect.- Perspectives of Internet Economy Creation.- Modern Foundations of Internet Economy.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
271. Parametric interval algebraic systems [2018]
- Skalna, Iwona, author.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XXIV, 191 pages) : 26 illustrations Digital: text file; PDF.
- Summary
-
- Introduction.- Interval arithmetic.- Alternative arithmetic.- Interval and parametric interval matrices.- Linear systems.- Methods for solving parametric interval linear systems.- Methods for computing parametric solution.- Parametric interval linear programming problem.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Pal, Sankar K., author.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xix, 227 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Introduction to Granular Computing, Pattern Recognition and Data Mining.- Classification using Fuzzy Rough Granular Neural Networks.- Clustering using Fuzzy Rough Granular Self-Organizing Map.- Fuzzy Rough Granular Neural Network and Unsupervised Feature Selection.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ciaburro, Giuseppe, author.
- Birmingham, UK : Packt Publishing, 2017.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
Extract patterns and knowledge from your data in easy way using MATLAB About This Book * Get your first steps into machine learning with the help of this easy-to-follow guide * Learn regression, clustering, classification, predictive analytics, artificial neural networks and more with MATLAB * Understand how your data works and identify hidden layers in the data with the power of machine learning. Who This Book Is For This book is for data analysts, data scientists, students, or anyone who is looking to get started with machine learning and want to build efficient data processing and predicting applications. A mathematical and statistical background will really help in following this book well. What You Will Learn * Learn the introductory concepts of machine learning. * Discover different ways to transform data using SAS XPORT, import and export tools, * Explore the different types of regression techniques such as simple & multiple linear regression, ordinary least squares estimation, correlations and how to apply them to your data. * Discover the basics of classification methods and how to implement Naive Bayes algorithm and Decision Trees in the Matlab environment. * Uncover how to use clustering methods like hierarchical clustering to grouping data using the similarity measures. * Know how to perform data fitting, pattern recognition, and clustering analysis with the help of MATLAB Neural Network Toolbox. * Learn feature selection and extraction for dimensionality reduction leading to improved performance. In Detail MATLAB is the language of choice for many researchers and mathematics experts for machine learning. This book will help you build a foundation in machine learning using MATLAB for beginners. You'll start by getting your system ready with t he MATLAB environment for machine learning and you'll see how to easily interact with the Matlab workspace. We'll then move on to data cleansing, mining and analyzing various data types in machine learning and you'll see how to display data values on a plot. Next, you'll get to know about the different types of regression techniques and how to apply them to your data using the MATLAB functions. You'll understand the basic concepts of neural networks and perform data fitting, pattern recognition, and clustering analysis. Finally, you'll explore feature selection and extraction techniques for dimensionality reduction for performance improvement. At the end of the book, you will learn to put it all together into real-world cases covering major machine learning algorithms and be comfortable in performing machine learning with MATLAB. Style and approach The book takes a very comprehensive approach to enhance your understanding of machine learning using MATLAB. Sufficient real-world examples and use cases are included in the book to help you grasp the concepts quickly and apply them easily in your day-to-day work.
(source: Nielsen Book Data)
274. Theory and applications of ordered fuzzy numbers : a tribute to Professor Witold Kosiński [2017]
- Cham, Switzerland : SpringerOpen, 2017.
- Description
- Book — 1 online resource (xviii, 322 pages) : illustrations (some color)
- Summary
-
- Introduction to fuzzy sets.- Introduction to fuzzy systems.- Ordered fuzzy numbers: sources and intuitions.- Ordered fuzzy numbers: definitions and operations.- Processing the direction with ordered fuzzy numbers.- Some cases of comparing fuzzy numbers using defuzzificators on the catalog of OFN shapes.- Two approaches to fuzzy implication.- The approach to capital budgeting under uncertainty and risk based on Ordered Fuzzy Numbers.- Input-Output Model Based on Ordered Fuzzy Numbers.- Ordered Fuzzy Candlesticks - financial data representation and analysis using Ordered Fuzzy Numbers.- Application of Ordered Fuzzy Numbers to detect trends in the Nasdaq composite index.- The OFNAnt method based on Ant Colony Optimization used to solve the TSP.- A new OFNBee method as an example of fuzzy observance applied for ABC optimization.- Fuzzy observation of DDoS attack.- Fuzzy control for secure TCP transfer.- Fuzzy Numbers applied to a heat furnace control.- Traditional vs OFN-based analysis of temporo-spatial gait parameters.- OFN-based brain function modeling.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
275. Artificial intelligence and computer vision [2017]
- Cham : Springer, [2016]
- Description
- Book — 1 online resource (x, 211 pages) : illustrations (some color)
- Summary
-
- Computer Vision for Ocean Observing
- Fault Diagnosis and Classification of Mine Motor based on RS and SVM
- Particle Swarm Optimization based Image Enhancement of Visual Cryptography Shares
- Fast Level set Algorithm for Extraction and Evaluation of Weld Defects in Radiographic Images
- Efficient Combination of Color, Texture and Shape Descriptor, using SLIC Segmentation for Image Retrieval
- DEPO: Detecting Events of Public Opinion in Microblog
- Hybrid Cuckoo Search based Evolutionary Vector Quantization for Image Compression
- Edge and Fuzzy Transform based Image Compression Algorithm: edgeFuzzy
- Real-Time Implementation of Moving Object Action Recognition System Based on Motion Analysis
- Cross-modal Learning with Images, Texts and Their Semantics
- Light Field Vision for Artificial Intelligence
- Author Index.
276. Granular, soft and fuzzy approaches for intelligent systems : dedicated to Professor Ronald R. Yager [2017]
- Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xviii, 248 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Part I: Information Theoretic and Aggregation Issues.- Part II: Applications in Modeling, Decision Making, Control, and Other Areas.- Part III: Some Bibliometric Remarks.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
277. Image analysis for ophthalmological diagnosis : image processing of Corvis® ST images using Matlab® [2016]
- Koprowski, Robert, author.
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (xiii, 125 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Introduction
- Image pre-processing
- Main Image processing
- Additional Image Processing and Measurement
- Impact of Image Acquisition and Selection of Algorithm Parameters on the Results
- Summary of Measured Features
- Conclusions.
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (ix, 450 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Hybrid Intelligent Approach for Metal-Loss Defect Depth Prediction in Oil and Gas Pipelines.- Predicting Financial Time Series Data Using Hybrid Model.- Diagnosis System for Predicting Bladder Cancer Recurrence using Association Rules and Decision Trees.- An Unsupervised Text-Mining Approach and a Hybrid Methodology to Improve Early Warnings in Construction Project Management.- Quantitative Assessment of Anomaly Detection Algorithms in Annotated Datasets from the Maritime Domain.- Using Fuzzy PROMETHEE to Select Countries for Developmental Aid.- Self-Reconfiguring Robotic Framework Using Fuzzy and Ontological Decision Making.- Design and Optimization of Permanent Magnet Based Adhesion Module for Robots Climbing on Reinforced Concrete Surfaces.- Implementation of PID, Bang-bang and Backstepping con-trollers on 3D Printed Ambidextrous Robot Hand.- Multiple Robots Task Allocation for Cleaning and Delivery.- Optimal Tuning of Multivariable Centralized Fractional Order PID Controller using Bat Optimization and Harmony Search Algorithms for Two Interacting Conical Tank Process.- Entity Configuration and Context-Aware reasoNer (CAN) towards Enabling an Internet of Things Controller.- Track-Based Forecasting of Pedestrian Behavior by Polynomial Approximation and Multilayer Perceptrons.- Assembly Assisted by Augmented Reality (A3R).- Maximising Overlap Score in DNA Sequence Assembly Problem by Stochastic Diffusion Search.- A Comparative Analysis of Detecting Symmetries in Toroidal Topology.- Power Quality Enhancement in Off-Grid Hybrid Renewable Energy Systems Using Type-2 Fuzzy Control of Shunt Active Filter.- Fast Intra Mode Decision for HEVC.- WSN Efficient Data Management and Intelligent Communication for Load Balancing Based on Khalimsky Topology and Mobile Agents.- Indirect Method of Learning Weights Parameters of Intuitionistic Statement Networks.- Combined Data and Execution Flow Host Intrusion Detection using Machine Learning.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
279. Medical robotics [2015]
- Schweikard, Achim, author.
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xiii, 424 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Introduction.- Describing Spatial Position and Orientation.- Robot Kinematics.- Joint Velocities and Jacobi-Matrices.- Navigation and Registration.- Treatment Planning.- Motion Correlation and Tracking.- Motion Prediction.- Motion Replication.- Applications of Surgical Robotics.- Rehabilitation, Neuroprosthetics and Brain-Machine Interfaces.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Bozonier, Justin, author.
- Birmingham, UK : Packt Publishing, 2015.
- Description
- Book — 1 online resource : illustrations.
- Summary
-
- Cover ; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface;
- Chapter 1: Introducing Test-Driven Machine Learning; Test-driven development; The TDD cycle; Red; Green; Refactor; Behavior-driven development; Our first test; The anatomy of a test; Given; When; Then; TDD applied to machine learning; Dealing with randomness; Different approaches to validating the improved models; Classification overview; Regression; Clustering; Quantifying the classification models; Summary;
- Chapter 2: Perceptively Testing a Perceptron; Getting started; Summary
- Chapter 3: Exploring the Unknown with Multi-armed BanditsUnderstanding a bandit; Testing with simulation; Starting from scratch; Simulating real world situations; A randomized probability matching algorithm; A bootstrapping bandit; The problem with straight bootstrapping; Multi-armed armed bandit throw down; Summary;
- Chapter 4: Predicting Values with Regression; Refresher on advanced regression; Regression assumptions; Quantifying model quality; Generating our own data; Building the foundations of our model; Cross-validating our model; Generating data; Summary
- Chapter 5: Making Decisions Black and White with Logistic RegressionGenerating logistic data; Measuring model accuracy; Generating a more complex example; Test driving our model; Summary;
- Chapter 6: You're So Naïve, Bayes; Gaussian classification by hand; Beginning the development; Summary;
- Chapter 7: Optimizing by Choosing a New Algorithm; Upgrading the classifier; Applying our classifier; Upgrading to Random Forest; Summary;
- Chapter 8: Exploring Scikit-learn Test First; Test-driven design; Planning our journey
- Creating a classifier chooser (it needs to run tests to evaluate classifier performance)Getting choosey; Developing testable documentation; Decision trees; Summary;
- Chapter 9: Bringing It All Together; Starting at the highest level; The real world; What we've accomplished; Summary; Index
(source: Nielsen Book Data)
- Angelov, Plamen P.
- Chichester, West Sussex, United Kingdom : John Wiley & Sons Inc., 2013.
- Description
- Book — 1 online resource
- Summary
-
- Prologue 7 1. Introduction 10 1.1 Autonomous Systems 13 1.2 The Role of Machine Learning in Autonomous Systems 15 1.3 System Identification 20 1.3.3 Novelty detection, outliers and the link to structure innovation 20 1.4 On-line versus Off-line Identification 21 1.5 Adaptive and Evolving Systems 22 1.6 Evolving or Evolutionary Systems 23 1.7 Supervised versus Un-supervised Learning 25 1.8 Structure of the Book 26 PART I: Fundamentals 29 2. Fundamentals of Probability Theory 29 2.1 Randomness and Determinism 30 2.2 Frequentistic versus Belief-based Approach 33 2.3 Probability Densities and Moments 33 2.4 Density Estimation
- Kernel-based Approach 37 2.5 Recursive Density Estimation (RDE) 40 2.6 Detecting Novelties/Anomalies/Outliers using RDE 45 2.7 Conclusion 49 3. Fundamentals of Machine Learning and Pattern Recognition 51 3.1 Pre-processing 51 3.1.1 Normalisation and standardisation 52 3.1.2 Orthogonalization of inputs/features
- rPCA method 53 3.2 Clustering 56 3.2.1 Proximity measures and clusters shape 59 3.2.2 Off-line methods 60 3.2.3 Evolving clustering methods 65 3.3 Classification 73 3.3.1 Recursive LDA, rLDA 74 3.4 Conclusion 74 4. Fundamentals of Fuzzy Systems Theory 77 4.1 Fuzzy Sets 77 4.2 Fuzzy Systems, Fuzzy Rules 80 4.2.1 Fuzzy Systems of Zadeh-Mamdani Type 81 4.2.2 Takagi-Sugeno Fuzzy Systems 83 4.3 Fuzzy Systems with Non-parametric Antecedents (AnYa) 87 4.3.1 Architecture 87 4.3.2 Analysis of AnYa 90 4.4 FRB (Off-line) classifiers 91 4.5 Neuro-Fuzzy Systems 94 4.5.1 Neuro-fuzzy system architecture 94 4.5.2 Evolving NFS as a framework for autonomous learning and knowledge extraction from data streams 97 4.5.3 Linguistic interpretation of the NFS 98 4.6 State Space Perspective 99 4.7 Conclusions 100 Part II Methodology of Autonomous Learning Systems 101 5 Evolving System Structure from Streaming Data 101 5.1 Defining system structure based on prior knowledge 101 5.2 Data Space Partitioning 102 5.2.1 Regular partitioning of the data space 103 5.2.2 Data space partitioning through clustering 104 5.2.3. Data space partitioning based on data clouds 105 5.2.4. Importance of partitioning the joint input-output data space 105 5.2.5 Principles of data space partitioning for autonomous machine learning 107 5.2.6 Dynamic data space partitioning
- evolving system structure autonomously 108 5.3 Normalisation and Standardisation of Streaming Data in Evolving Environments 114 5.3.1 Standardization in an Evolving Environment 115 5.3.2 Normalisation in an Evolving Environment 116 5.4 Autonomous Monitoring of the Structure Quality 117 5.4.1 Autonomous Input Variables Selection 117 5.4.2 Autonomous Monitoring of the Age of the Local Sub-model 120 5.4.3 Autonomous Monitoring of the Utility of the Local Sub-model 122 5.4.4 Update of the Cluster Radii 123 5.5 Short- and Long-term Focal Points and Sub-models 124 5.6 Simplification and Interpretability Issues 125 5.7 Conclusion 127 6 Autonomous Learning Parameters of the Local Sub-models 129 6.1 Learning Parameters of Local Sub-models 130 6.2 Global versus Local Learning 131 6.3 Evolving Systems Structure Recursively 133 6.4 Learning Modes 137 6.5 Robustness to Outliers in Autonomous Learning 140 6.6 Conclusions 140 7 Autonomous Predictors, Estimators, Filters, Inferential Sensors 142 7.1 Predictors, Estimators, Filters
- Problem Formulation 142 7.2 Non-linear Regression 144 7.3 Time series 145 7.4 Autonomous Learning Sensors 146 7.4.1 Autonomous Sensors
- Problem Definition 146 7.4.2 A brief Overview of Soft/Intelligent/Inferential Sensors 147 7.4.3 Autonomous Intelligent Sensors (AutoSense) 149 7.4.4 AutoSense Architecture 151 7.4.5 Modes of Operation of AutoSense 152 7.4.6 Autonomous Input Variable Selection 152 7.5 Conclusions 153 8. Autonomous Learning Classifiers 155 8.1 Classifying data streams 155 8.2 Why adapt the classifier structure? 155 8.3 Architecture of Autonomous Classifiers of the Family AutoClassify 157 8.3.1 AutoClassify0 159 8.3.2 AutoClassify1 159 8.4 Learning AutoClassify from Streaming Data 162 8.4.1 Learning AutoClassify0 162 8.4.2 Learning AutoClassify1 163 8.5 Analysis of AutoClassify methods 163 8.6 Conclusions 164 9. Autonomous Learning Controllers 166 9.1 Indirect Adaptive Control Scheme 167 9.2 Evolving Inverse Plant Model from On-line Streaming Data 169 9.3 Evolving Fuzzy Controller Structure from On-line Streaming Data 170 9.4 Examples of using AutoControl 172 9.5 Conclusion 177 10. Collaborative Autonomous Learning Systems 179 10.1 Distributed Intelligence Scenarios 179 10.2 Autonomous Collaborative Learning 181 10.3 Collaborative Autonomous Clustering, AutoCluster by a team of ALSs 183 10.4 Collaborative Autonomous Predictors, Estimators, Filters and AutoSense by a team of ALSs 184 10.5 Collaborative Autonomous Classifiers AutoClassify by a team of ALSs 184 10.6 Superposition of Local Sub-models 185 10.7 Conclusion 186 PART III: Applications of ALS 187 11. Autonomous Learning Sensors for Chemical and Petro-chemical Industries 187 11.1 Case Study 1: Quality of the Products in an Oil Refinery 187 11.1.1 Introduction 187 11.1.2 The current state of the art 188 11.1.3 Problem description 189 11.1.4 The data set 189 11.1.5 AutoSesnse for kerosene quality prediction 191 11.1.6 AutoSense for Abel inflammability test 193 11.2 Case Study 2: Polypropylene Manufacturing 194 11.2.1 Problem description 194 11.2.2 Drift and shift detection by cluster age derivatives 198 11.2.3 Input variables selection 200 11.3 Conclusion 201 12. Autonomous Learning Systems in Mobile Robotics 203 12.1 The mobile robot Pioneer 3DX 203 12.2 Autonomous Classifier for Landmark Recognition 205 12.2.1 Corner detection and simple mapping of an indoor environment through wall following 207 12.2.2 Outdoor landmark detection based on visual input information 210 12.2.3 VideoDiaries 214 12.2.4 Collaborative scenario 217 12.3 Autonomous Leader Follower 220 12.4 Results Analysis 223 13. Autonomous Novelty Detection and Object Tracking in Video Streams 224 13.1 Problem Definition 224 13.2 Background subtraction and KDE for detecting visual novelties 225 13.2.1 Background subtraction method 225 13.2.2 Challenges 226 13.2.3 Parametric versus non-parametric approaches 229 13.2.4 Kernel Density Estimation method 230 13.3 Detecting Visual novelties with RDE Method 231 13.4 Object Identification in Image Frames using RDE 232 13.5 Real-time Tracking in Video Streams using ALS 234 13.6 Conclusion 237 14. Modelling Evolving User Behaviour with ALS 239 14.1 User Behaviour as an evolving phenomenon 239 14.2 Designing the User Behaviour Profile 241 14.3 Applying AutoClassify0 for modelling evolving user behaviour 244 14.4 Case studies 245 14.4.1 Users of UNIX commands 245 14.4.2 Modelling activity of people in a smart home environment 247 14.4.3 Automatic scene recognition 249 14.5 Conclusions 252 15. Epilogue 254 15.1 Conclusions 254 15.2 Open Problems 258 15.3 Future Directions 259 Bibliography 261 Index 274 Glossary 291 Appendices 295 A. Mathematical Foundations 296 A1 Probability distributions 297 A2 Basic matrix properties 300 B. Pseudo-code of the basic algorithms 302 B1 Mean shift with Epanechnikov kernel 302 B2 AutoCluster 304 B3 ELM 305 B4 AutoPredict 307 B5 AutoSense 308 B6 AutoClassify0 309 B7 AutoClassify1 311 B8 AutoControl 313.
- (source: Nielsen Book Data)
- Forewords xi Preface xix About the Author xxiii 1 Introduction 1 1.1 Autonomous Systems 3 1.2 The Role of Machine Learning in Autonomous Systems 4 1.3 System Identification an Abstract Model of the Real World 6 1.4 Online versus Offline Identification 9 1.5 Adaptive and Evolving Systems 10 1.6 Evolving or Evolutionary Systems 11 1.7 Supervised versus Unsupervised Learning 13 1.8 Structure of the Book 14 PART I FUNDAMENTALS 2 Fundamentals of Probability Theory 19 2.1 Randomness and Determinism 20 2.2 Frequentistic versus Belief-Based Approach 22 2.3 Probability Densities and Moments 23 2.4 Density Estimation Kernel-Based Approach 26 2.5 Recursive Density Estimation (RDE) 28 2.6 Detecting Novelties/Anomalies/Outliers using RDE 32 2.7 Conclusions 36 3 Fundamentals of Machine Learning and Pattern Recognition 37 3.1 Preprocessing 37 3.2 Clustering 42 3.3 Classification 56 3.4 Conclusions 58 4 Fundamentals of Fuzzy Systems Theory 61 4.1 Fuzzy Sets 61 4.2 Fuzzy Systems, Fuzzy Rules 64 4.3 Fuzzy Systems with Nonparametric Antecedents (AnYa) 69 4.4 FRB (Offline) Classifiers 73 4.5 Neurofuzzy Systems 75 4.6 State Space Perspective 79 4.7 Conclusions 81 PART II METHODOLOGY OF AUTONOMOUS LEARNING SYSTEMS 5 Evolving System Structure from Streaming Data 85 5.1 Defining System Structure Based on Prior Knowledge 85 5.2 Data Space Partitioning 86 5.3 Normalisation and Standardisation of Streaming Data in an Evolving Environment 96 5.4 Autonomous Monitoring of the Structure Quality 98 5.5 Short- and Long-Term Focal Points and Submodels 104 5.6 Simplification and Interpretability Issues 105 5.7 Conclusions 107 6 Autonomous Learning Parameters of the Local Submodels 109 6.1 Learning Parameters of Local Submodels 110 6.2 Global versus Local Learning 111 6.3 Evolving Systems Structure Recursively 113 6.4 Learning Modes 116 6.5 Robustness to Outliers in Autonomous Learning 118 6.6 Conclusions 118 7 Autonomous Predictors, Estimators, Filters, Inferential Sensors 121 7.1 Predictors, Estimators, Filters Problem Formulation 121 7.2 Nonlinear Regression 123 7.3 Time Series 124 7.4 Autonomous Learning Sensors 125 7.5 Conclusions 131 8 Autonomous Learning Classifiers 133 8.1 Classifying Data Streams 133 8.2 Why Adapt the Classifier Structure? 134 8.3 Architecture of Autonomous Classifiers of the Family AutoClassify 135 8.4 Learning AutoClassify from Streaming Data 139 8.5 Analysis of AutoClassify 140 8.6 Conclusions 140 9 Autonomous Learning Controllers 143 9.1 Indirect Adaptive Control Scheme 144 9.2 Evolving Inverse Plant Model from Online Streaming Data 145 9.3 Evolving Fuzzy Controller Structure from Online Streaming Data 147 9.4 Examples of Using AutoControl 148 9.5 Conclusions 153 10 Collaborative Autonomous Learning Systems 155 10.1 Distributed Intelligence Scenarios 155 10.2 Autonomous Collaborative Learning 157 10.3 Collaborative Autonomous Clustering, AutoCluster by a Team of ALSs 158 10.4 Collaborative Autonomous Predictors, Estimators, Filters and AutoSense by a Team of ALSs 159 10.5 Collaborative Autonomous Classifiers AutoClassify by a Team of ALSs 160 10.6 Superposition of Local Submodels 161 10.7 Conclusions 161 PART III APPLICATIONS OF ALS 11 Autonomous Learning Sensors for Chemical and Petrochemical Industries 165 11.1 Case Study
- 1: Quality of the Products in an Oil Refinery 165 11.2 Case Study
- 2: Polypropylene Manufacturing 172 11.3 Conclusions 178 12 Autonomous Learning Systems in Mobile Robotics 179 12.1 The Mobile Robot Pioneer 3DX 179 12.2 Autonomous Classifier for Landmark Recognition 180 12.3 Autonomous Leader Follower 193 12.4 Results Analysis 196 13 Autonomous Novelty Detection and Object Tracking in Video Streams 197 13.1 Problem Definition 197 13.2 Background Subtraction and KDE for Detecting Visual Novelties 198 13.3 Detecting Visual Novelties with the RDE Method 203 13.4 Object Identification in Image Frames Using RDE 204 13.5 Real-time Tracking in Video Streams Using ALS 206 13.6 Conclusions 209 14 Modelling Evolving User Behaviour with ALS 211 14.1 User Behaviour as an Evolving Phenomenon 211 14.2 Designing the User Behaviour Profile 212 14.3 Applying AutoClassify0 for Modelling Evolving User Behaviour 215 14.4 Case Studies 216 14.5 Conclusions 221 15 Epilogue 223 15.1 Conclusions 223 15.2 Open Problems 227 15.3 Future Directions 227 APPENDICES Appendix A Mathematical Foundations 231 Appendix B Pseudocode of the Basic Algorithms 235 References 245 Glossary 259 Index 263.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Autonomous Learning Systems is the result of over a decade of focused research and studies in this emerging area which spans a number of well-known and well-established disciplines that include machine learning, system identification, data mining, fuzzy logic, neural networks, neuro-fuzzy systems, control theory and pattern recognition. The evolution of these systems has been both industry-driven with an increasing demand from sectors such as defence and security, aerospace and advanced process industries, bio-medicine and intelligent transportation, as well as research-driven there is a strong trend of innovation of all of the above well-established research disciplines that is linked to their on-line and real-time application; their adaptability and flexibility. Providing an introduction to the key technologies, detailed technical explanations of the methodology, and an illustration of the practical relevance of the approach with a wide range of applications, this book addresses the challenges of autonomous learning systems with a systematic approach that lays the foundations for a fast growing area of research that will underpin a range of technological applications vital to both industry and society. Key features: * Presents the subject systematically from explaining the fundamentals to illustrating the proposed approach with numerous applications. * Covers a wide range of applications in fields including unmanned vehicles/robotics, oil refineries, chemical industry, evolving user behaviour and activity recognition. * Reviews traditional fields including clustering, classification, control, fault detection and anomaly detection, filtering and estimation through the prism of evolving and autonomously learning mechanisms. * Accompanied by a website hosting additional material, including the software toolbox and lecture notes. Autonomous Learning Systems provides a one-stop shop on the subject for academics, students, researchers and practicing engineers. It is also a valuable reference for Government agencies and software developers.
(source: Nielsen Book Data)
- Oxford : Elsevier, 2013.
- Description
- Book — 1 online resource (xxii, 422 pages) : illustrations
- Summary
-
- 1. Swarm Intelligence and Bio-Inspired Computation: An Overview
- 2. Review and Analysis of Swarm-intelligence Based Algorithms 3. Levy Flights and Global Optimization 4. Self-Adaptive Memetic Firefly Algorithm 5. Modelling and Simulation of Labor Division in An Ant Colony: A Problem-Oriented Approach 6. Particle Swarm Optimization and Their Variants: Convergence and Applications 7. A Survey of Swarm Algorithms Applied to Discrete Optimization Problems 8. A Comprehensive Survey of Test Functions for Global Optimization 9. Binary Bat Algorithm for Feature Selection 10. Intelligent Music Composition 11. The Development and Applications of the Cuckoo Search Algorithm 12. Bio-Inspired Models and the Semantic Web 13. Discrete Firefly Algorithm for Travelling Salesman Problem: A New Movement Scheme 14. Modelling to Generate Alternatives Using Biologically-Inspired Algorithms 15. Structural Optimization Using Krill Herd Algorithm 16. Artificial Plant Optimization Algorithm 17. Genetic Algorithms for the Berth Allocation Problem in Real Time 18. Opportunities and Challenges of Integrating Bio-Inspired Optimization and Data Mining Algorithms 19. Improvement of PSO Algorithm by Memory Based Gradient Search: Application in Inventory Management.
- (source: Nielsen Book Data)
- 5.2.2.3 Time-Dependent Response Threshold Model
- 5.2.3 Some Analysis
- 5.3 Modeling and Simulation of Ant Colony's Labor Division with Multitask
- 5.3.1 Background Analysis
- 5.3.2 Design and Implementation of Ant Colony's Labor Division Model with Multitask
- 5.3.2.1 Design of Ant Colony's Labor Division Model with Multitask
- Environmental Stimuli
- Agent Attributes
- Probability of Participation and Exit
- Simulation Principle
- 5.3.2.2 Implementation of Ant Colony's Labor Division Model with Multitask
- 5.3.3 Supply Chain Virtual Enterprise Simulation
- 5.3.3.1 Simulation Example and Parameter Settings
- 5.3.3.2 Simulation Results and Analysis
- 5.3.4 Virtual Organization Enterprise Simulation
- 5.3.4.1 Simulation Example and Parameter Settings
- 5.3.4.2 Simulation Results and Analysis
- 5.3.5 Discussion
- 5.4 Modeling and Simulation of Ant Colony's Labor Division with Multistate
- 5.4.1 Background Analysis
- 5.4.2 Design and Implementation of Ant Colony's Labor Division Model with Multistate
- 5.4.2.1 Design of Ant Colony's Labor Division Model with Multistate
- Stimulus Values in Multitask Environment
- Relative Environment Stimulus Value sαβ and Relative Threshold θαβ
- Agent State Transformation
- 5.4.2.2 Implementation of Ant Colony's Labor Division Model with Multistate
- 5.4.3 Simulation Example of Ant Colony's Labor Division Model with Multistate
- 5.4.3.1 Simulation and Experiment Environment
- 5.4.3.2 Parameters of the Simulation Model
- 5.4.3.3 Simulation Results
- 5.4.3.4 Analysis of Results
- 5.5 Modeling and Simulation of Ant Colony's Labor Division with Multiconstraint
- 5.5.1 Background Analysis
- 5.5.2 Design and Implementation of Ant Colony's Labor Division Model with Multiconstraint
- 5.5.2.1 Design of Ant Colony's Labor Division Model with Multiconstraint.
(source: Nielsen Book Data)
283. Cost-sensitive machine learning [2012]
- Boca Raton, FL : CRC Press, ©2012.
- Description
- Book — 1 online resource : illustrations
- Summary
-
- THEORECTICAL UNDERPINNINGS OF COST-SENSTIVE MACHINE LEARNING: Algorithms for Active Learning. Semi-Supervised Learning: Some Recent Advances. Transfer Learning, Multi-Task Learning, and Cost-Sensitive Learning. Cost-Sensitive Cascades. Selective Data Acquisition for Machine Learning. COST-SENSITIVE MACHINE LEARNING APPLICATIONS: Minimizing Annotation Costs in Visual Category Learning. Reliability and Redundancy: Reducing Error Cost in Medical Imaging. Cost-Sensitive Learning in Computational Advertising. Cost-Sensitive Machine Learning for Information Retrieval. Index.
- (source: Nielsen Book Data)
- THEORECTICAL UNDERPINNINGS OF COST-SENSTIVE MACHINE LEARNING Algorithms for Active Learning, Burr SettlesQuery Strategy FrameworksA Unified View Summary and Outlook Semi-Supervised Learning: Some Recent Advances, Xueyuan Zhou, Ankan Saha, and Vikas SindhwaniSemi-Supervised Prediction for Structured OutputsTheoretical AnalysisNew Directions Transfer Learning, Multi-Task Learning, and Cost-Sensitive Learning, Bin Cao, Yu Zhang, and Qiang YangNotations Transfer Learning ModelsMulti-Task Learning ModelsConclusion and Future Work Cost-Sensitive Cascades, Vikas C. RaykarFeatures Incur a CostCascade of Classifiers Successful Applications of Cascaded ArchitecturesTraining a Cascade of ClassifiersTradeoff between Accuracy and Cost Conclusions and Future Work Selective Data Acquisition for Machine Learning, Josh Attenberg, Prem Melville, Foster Provost, and Maytal Saar-TsechanskyOverarching Principles for Selective Data AcquisitionActive Feature-Value Acquisition Labeling Features versus ExamplesDealing with Noisy AcquisitionPrediction Time Information AcquisitionAlternative Acquisition SettingsConclusion COST-SENSITIVE MACHINE LEARNING APPLICATIONS Minimizing Annotation Costs in Visual Category Learning, Sudheendra Vijayanarasimhan and Kristen GraumanReducing the Level of SupervisionReducing the Amount of SupervisionReducing the Effort Required in SupervisionCost-Sensitive Multi-Level Active LearningConclusion Reliability and Redundancy: Reducing Error Cost in Medical Imaging, X.S. Zhou, Y. Zhan, Z. Peng, M. Dewan, B. Jian, A. Krishnan, M. Harder, R. Schwarz, L. Lauer, H. Meyer, S. Grosskopf, U. Feuerlein, H. Ditt, and M. ScheueringA Measure of ReliabilityReliability of Pattern Localization: Asymmetric Cost for FPs and FNs Implications and Learning Strategy for Medical Imaging ApplicationsRelated Work and Discussions Cost-Sensitive Learning in Computational Advertising, Deepak AgarwalPerformance Advertising: Sponsored Search and Contextual MatchingDisplay AdvertisingDiscussion Cost-Sensitive Machine Learning for Information Retrieval, Martin Szummer and Filip RadlinskiUtility in Information RetrievalLearning to RankReducing Labeling CostMultiple Utilities Conclusion Index A Bibliography appears at the end of each chapter.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
In machine learning applications, practitioners must take into account the cost associated with the algorithm. These costs include: Cost of acquiring training dataCost of data annotation/labeling and cleaningComputational cost for model fitting, validation, and testingCost of collecting features/attributes for test dataCost of user feedback collect.
(source: Nielsen Book Data)
284. The Soar cognitive architecture [2012]
- Laird, John, 1954-
- Cambridge, Mass. ; London, England : MIT Press, ©2012.
- Description
- Book — 1 online resource (xv, 374 pages) : illustrations Digital: data file.
- Summary
-
- Preface; Acknowledgments;
- Chapter 1. Introduction; 1.1 Background; 1.2 Cognitive Architectures; 1.3 Soar; 1.4 Research Strategy; 1.5 Preview of Chapters 2-14;
- Chapter 2. Requirements for Cognitive Architectures; 2.1 Characteristics of Environments, Tasks, and Agents; 2.2 Architectural Requirements;
- Chapter 3. The Problem-Space Computational Model; 3.1 Task Environments; 3.2 The Problem-Space Framework; 3.3 Knowledge Search; 3.4 Problem-Space Computational Models; 3.5 Impasses and Substates; 3.6 Using Multiple Sources of Knowledge; 3.7 Acquiring Knowledge; 3.8 Alternative PSCMs
- Chapter 4. Soar as an Implementation of the PSCM4.1 Production Systems; 4.2 Mapping Production Systems onto the PSCM; 4.3 The Soar Processing Cycle; 4.4 Demonstrations of Basic PSCM; 4.5 Discussion; 4.6 Analysis of Requirements;
- Chapter 5. Impasses and Substates: The Basis for Complex Reasoning; 5.1 Impasses; 5.2 Substates; 5.3 Problem Solving in Substates; 5.4 Substate Results; 5.5 Maintaining Consistency; 5.6 Demonstrations of Impasses and Substates; 5.7 Discussion; 5.8 Analysis of Requirements;
- Chapter 6. Chunking; 6.1 Chunking in Soar; 6.2 Implications of Chunking in Soar
- 6.3 Demonstrations of Chunking6.4 Assumptions Inherent to Chunking;
- Chapter 7. Tuning Procedural Knowledge: Reinforcement Learning; 7.1 Reinforcement Learning in Soar; 7.2 Learning over Large State Spaces; 7.3 Demonstrations of Reinforcement Learning; 7.4 Analysis of Requirements;
- Chapter 8. Semantic Memory; 8.1 Semantic Memory in Soar; 8.2 Encoding and Storage; 8.3 Retrieval; 8.4 Demonstrations of Semantic Memory; 8.5 Analysis of Requirements;
- Chapter 9. Episodic Memory; 9.1 Episodic Memory in Soar; 9.2 Encoding and Storage; 9.3 Retrieval; 9.4 Use of Episodic Memory
- 9.5 Demonstrations of Episodic Memory9.6 Comparison of Episodic Memory and Semantic Memory; 9.7 Analysis of Requirements;
- Chapter 10. Visuospatial Processing with Mental Imagery; 10.1 Visual and Spatial Representations; 10.2 Visuospatial Domains; 10.3 SVS; 10.4 Demonstrations of Spatial and Visual Imagery; 10.5 Analysis of Requirements;
- Chapter 11. Emotion; 11.1 Appraisal Theories of Emotion; 11.2 Abstract Functional Cognitive Operations; 11.3 Unifying Cognitive Control and Appraisal; 11.4 Emotion, Mood, and Feeling; 11.5 Emotion and Reinforcement Learning
- 11.6 Demonstrations of Emotion Processing11.7 Analysis of Requirements;
- Chapter 12. Demonstrations of Multiple Architectural Capabilities; 12.1 Learning to Use Episodic Memory with Reinforcement Learning; 12.2 Using Mental Imagery with Reinforcement Learning; 12.3 Diverse Forms of Action Modeling; 12.4 Analysis of Requirements;
- Chapter 13. Soar Applications; 13.1 Applications; 13.2 TacAir-Soar; 13.3 Imagining TacAir-Soar 2.0;
- Chapter 14. Conclusion; 14.1 Soar from a Structural Perspective; 14.2 Soar from a Functional Perspective; 14.3 Evaluating Soar on Architectural Requirements; References
(source: Nielsen Book Data)
- Japkowicz, Nathalie.
- Cambridge ; New York : Cambridge University Press, 2011.
- Description
- Book — 1 online resource (xvi, 406 pages) : illustrations
- Summary
-
- 1. Introduction
- 2. Machine learning and statistics overview
- 3. Performance measures I
- 4. Performance measures II
- 5. Error estimation
- 6. Statistical significance testing
- 7. Data sets and experimental framework
- 8. Recent developments
- 9. Conclusion
- Appendix A: statistical tables
- Appendix B: additional information on the data
- Appendix C: two case studies.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Practical Applications of Agents and Multiagent Systems (9th : 2011 : Salamanca, Spain)
- Berlin ; Heidelberg : Springer, ©2011.
- Description
- Book — 1 online resource (xv, 342 pages) : illustrations
- Summary
-
- ""Title""; ""Preface""; ""Organization""; ""Contents""; ""Special Session on Agents Behaviours for Artificial Markets""; ""Calibration of an Agent Based Model for Financial Markets""; ""Introduction""; ""The Farmer Joshi Model""; ""Data and Methodology""; ""Results, Comments and Further Research""; ""References""; ""A Multiagent System for Web-Based Risk Management in Small and Medium Business""; ""Introduction""; ""Application of Business Web Intelligence to Enterprise Risk Assessment and Management""; ""Multiagent Web System for Risk Management""; ""Results and Conclusions""; ""References""
- ""Drawing Technical Figures in Double Auction Artificial Stock Markets""""Introduction""; ""Description of the Artificial Stock Market""; ""The Fundamental and Chartist Investment Approaches""; ""The Bid and Ask Orders""; ""Simulation and Results""; ""Price Evolution and Technical Patterns""; ""Conclusions""; ""References""; ""Special Session on Multi-Agent Systems for Safety and Security""; ""VigilAgent Methodology: Modeling Normal and Anomalous Situations""; ""Introduction""; ""VigilAgent Methodology""; ""Case Study: Access Control""; ""System Specification""; ""Architectural Design""
- ""Detailed Design""""Implementation and Deployment""; ""Conclusions""; ""References""; ""Developing Secure Agent Infrastructures with Open Standards and Open-Source Technologies""; ""Introduction""; ""Magentix2 Overview""; ""Magentix2 Security Infrastructure""; ""Magentix2 Management Service""; ""Secure Agent Communication""; ""Conclusions""; ""References""; ""A Fingerprint-Based Secure Communications Method""; ""Introduction""; ""System Description""; ""Authentication""; ""Message Cyphering""; ""Coding of Exchanged Messages""; ""Cypher Key Generation Algorithm""
- ""Conclusions and Further Development""""References""; ""Special Session on Web Mining and Recommender Systems""; ""Multiagent System for Indexing and Retrieving Learning Objects""; ""Introduction""; ""Background""; ""The Proposed Model""; ""The Prototype""; ""The Validation Test""; ""Final Remarks""; ""References""; ""Data Mining Techniques for Web Page Classification""; ""Introduction to the Problem""; ""The Data: Features of Web Pages""; ""Transformed Data: Generation of the Object Attribute Table""; ""Classification Methods""; ""Decision Trees""; ""Conclusions and Future Work""
- Caferra, Ricardo, 1945-
- London : ISTE ; Hoboken, NJ : Wiley, 2011.
- Description
- Book — 1 online resource (537 pages) : illustrations
- Summary
-
- Chapter 1 Introduction 1
- 1.1 Logic, foundations of computer science, and applications of logic to computer science 1
- 1.2 On the utility of logic for computer engineers 3
- Chapter 2 A Few Thoughts Before the Formalization 7
- 2.1 What is logic? 7
- 2.1.1 Logic and paradoxes 8
- 2.1.2 Paradoxes and set theory 9
- l2.1.2.1 The answer 10
- 2.1.3 Paradoxes in arithmetic and set theory 13
- 2.1.3.1 The halting problem 13
- 2.1.4 On formalisms and well-known notions 15
- 2.1.4.1 Some "well-known" notions that could turn out to be difficult to analyze 19
- 2.1.5 Back to the definition of logic 23
- 2.1.5.1 Some definitions of logic for all 24
- 2.1.5.2 A few more technical definitions 24
- 2.1.5.3 Theory and meta-theory (language and meta-language) 30
- 2.1.6 A few thoughts about logic and computer science 30
- 2.2 Some historic landmarks 32
- Chapter 3 Propositional Logic 39
- 3.1 Syntax and semantics 40
- 3.1.1 Language and meta-language 43
- 3.1.2 Transformation rules for cnf and dnf 49
- 3.2 The method of semantic tableaux 54
- 13.2.1 A slightly different formalism: signed tableaux 58
- 3.3 Formal systems 64
- 3.3.1 A capital notion: the notion of proof 64
- 3.3.2 What do we learn from the way we do mathematics? 72
- 3.4 A formal system for PL (PC) 78
- 3.4.1 Some properties of formal systems 84
- 3.4.2 Another formal system for PL (PC) 86
- 3.4.3 Another formal system 86
- 3.5 The method of Davis and Putnam 92
- 3.5.1 The Davis-Putnam method and the SAT problem 95
- 3.6 Semantic trees in PL 96
- 3.7 The resolution method in PL 101
- 3.8 Problems, strategies, and statements 109
- 3.8.1 Strategies 110
- 3.9 Horn clauses 113
- 3.10 Algebraic point of view of propositional logic 114
- Chapter 4 First-order Terms 121
- 4.1 Matching and unification 121
- 4.1.1 A motivation for searching for a matching algorithm 121
- 4.1.2 A classification of trees 123
- 4.2 First-order terms, substitutions, unification 125
- Chapter 5 First-Order Logic (FOL) or Predicate Logic (PL1, PC1) 131
- 5.1 Syntax 133
- 5.2 Semantics 137
- 5.2.1 The notions of truth and satisfaction 139
- 5.2.2 A variant: multi-sorted structures 150
- 5.2.2.1 Expressive power, sort reduction 150
- 5.2.3 Theories and their models 152
- 5.2.3.1 How can we reason in FOL? 153
- 5.3 Semantic tableaux in FOL 154
- 5.4 Unification in the method of semantic tableaux 166
- 5.5 Toward a semi-decision procedure for FOL 169
- 5.5.1 Prenex normal form 169
- 5.5.1.1 Skolemization 174
- 5.5.2 Skolem normal form 176
- 5.6 Semantic trees in FOL 186
- 5.6.1 Skolemization and clausal form 188
- 5.7 The resolution method in FOL 190
- 5.7.1 Variables must be renamed 201
- 5.8 A decidable class: the monadic class 202
- 5.8.1 Some decidable classes 205
- 5.9 Limits: Gödel's (first) incompleteness theorem 206
- Chapter 6 Foundations of Logic Programming 213
- 6.1 Specifications and programming 213
- 6.2 Toward a logic programming language 219
- 6.3 Logic programming: examples 222
- 6.3.1 Acting on the execution control: cut"/" 229
- 6.3.1.1 Translation of imperative structures 231
- 6.3.2 Negation as failure (NAF) 232
- 6.3.2.1 Some remarks about the strategy used by LP and negation as failure 238
- 6.3.2.2 Can we simply deduce instead of using NAF? 239
- 6.4 Computability and Horn clauses 241
- Chapter 7 Artificial Intelligence 245
- 7.1 Intelligent systems: AI 245
- 7.2 What approaches to study AI? 249
- 7.3 Toward an operational definition of intelligence 249
- 7.3.1 The imitation game proposed by Turing 250
- 7.4 Can we identify human intelligence with mechanical intelligence? 251
- 7.4.1 Chinese room argument 252
- 7.5 Some history 254
- 7.5.1 Prehistory 254
- 7.5.2 History 255
- 7.6 Some undisputed themes in AI 256
- Chapter 8 Inference 259
- 8.1 Deductive inference 260
- 8.2 An important concept: clause subsumption 266
- 8.2.1 An important problem 268
- 8.3 Abduction 273
- 8.3.1 Discovery of explanatory theories 274
- 8.3.1.1 Required conditions 275
- 8.4 Inductive inference 278
- 8.4.1 Deductive inference 279
- 8.4.2 Inductive inference 280
- 8.4.3 Hempel's paradox (1945) 280
- 8.5 Generalization: the generation of inductive hypotheses 284
- 8.5.1 Generalization from examples and counter examples 288
- Chapter 9 Problem Specification in Logical Languages 291
- 9.1 Equality 291
- 9.1.1 When is it used? 292
- 9.1.2 Some questions about equality 292
- 9.1.3 Why is equality needed? 293
- 9.1.4 Whatis equality? 293
- 9.1.5 How to reason with equality? 295
- 9.1.6 Specification without equality 296
- 9.1.7 Axiomatization of equality 297
- 9.1.8 Adding the definition of = and using the resolution method 297
- 9.1.9 By adding specialized rules to the method of semantic tableaux 299
- 9.1.10 By adding specialized rules to resolution 300
- 9.1.10.1 Paramodulation and demodulation 300
- 9.2 Constraints 309
- 9.3 Second Order Logic (SOL): a few notions 319
- 9.3.1 Syntax and semantics 324
- 9.3.1.1 Vocabulary 324
- 9.3.1.2 Syntax 325
- 9.3.1.3 Semantics 325
- Chapter 10 Non-classical Logics 327
- l0.l Many-valued logics 327
- 10.1.1 How to reason with p-valued logics? 334
- 10.1.1.1 Semantic tableaux for p-valued logics 334
- 10.2 Inaccurate concepts: fuzzy logic 337
- 10.2.1 Inference in FL 348
- 10.2.1.1 Syntax 349
- 10.2.1.2 Semantics 349
- 10.2.2 Herbrand's method in FL 350
- 10.2.2.1 Resolution and FL 351
- 10.3 Modal logics 353
- 10.3.1 Toward a semantics 355
- 10.3.1.1 Syntax (language of modal logic) 357
- 10.3.1.2 Semantics 358
- 10.3.2 How to reason with modallogics? 360
- 10.3.2.1 Formal systems approach 360
- 10.3.2.2 Translation approach 361
- 10.4 Some elements of temporal logic 371
- 10.4.1 Temporal operators and semantics 374
- 10.4.1.1 A famous argument 375
- 10.4.2 A temporal logic 377
- 10.4.3 How to reason with temporal logics? 378
- 10.4.3.1 The method of semantic tableaux 379
- 10.4.4 An example of a PL for linear and discrete time; PTL (or PLTL) 381
- 10.4.4.1 Syntax 331
- 10.4.4.2 Semantics 382
- 10.4.4.3 Method of semantic tableaux for PLTL (direct method) 333
- Chapter 11 Knowledge and Logic: Some Notions 385
- 11.1 What is knowledge? 335
- 11.2 Knowledge and modal logic 389
- 11.2.1 Toward a formalization 389
- 11.2.2 Syntax 339
- 11.2.2.1 What expressive power? An example 389
- 11.2.2.2 Semantics 339
- 11.2.3 New modal operators 391
- 11.2.3.1 Syntax (extension) 391
- 11.2.3.2 Semantics (extension) 391
- 11.2.4 Application examples 392
- 11.2.4.1 Modeling the muddy children puzzle 392
- 11.2.4.2 Corresponding Kripke worlds 392
- 11.2.4.3 Properties of the (formalization chosen for the) knowledge 394
- Chapter 12 Solutions to the Exercises 395.
(source: Nielsen Book Data)
- Amsterdam ; New York, N.Y. : Rodopi, 2011.
- Description
- Book — 1 online resource (xxvii, 375 pages) : illustrations
- Summary
-
- Acknowledgments Douglas Hofstadter: Foreword Stefano Franchi and Francesco Bianchini: Introduction: On the Historical Dynamics of Cognitive Science: a View from the Periphery The cybernetic suburb Stefan Franchi: Life, Death, and Resurrection of the Homeostat Peter Galison: The Ontology of the Enemy: Norbert Wiener and the Cybernetic Vision Peter Asaro: Computers as Models of the Mind: On Simulations, Brains, and the Design of Computers AI's peripheries Claudio Pogliano: At the Periphery of the Rising Empire: the Case of Italy (1945-1968) Patrice Maniglier: Processing Cultures: "Structuralism" in the History of Artificial Intelligence Slava Gerovitch: Artificial Intelligence With a National Face: American and Soviet Cultural Metaphors for Thought Margins of computations Francesco Bianchini: The Cartesian-Leibnizian Turing Test Maurizio Matteuzzi: Turing Computability and Leibniz Computability Christopher M. Kelty: Logical Instruments: Regular Expressions, AI, and Thinking about Thinking At the thresholds of computability Solomon Feferman: Goedel, Nagel, Minds, and Machines Rossella Lupacchini: Entangling Effective Procedures: From Logic Machines to Quantum Automata Giorgio Sandri: Turing 1948 vs. Goedel 1972 Works Cited Index About the Contributors.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
289. Views on evolvability of embedded systems [2011]
- Dordrecht ; New York : Springer, ©2011.
- Description
- Book — 1 online resource (xii, 315 pages) : illustrations (some color), portraits Digital: text file.PDF.
- Summary
-
- Views on Evolvability of Embedded Systems; Foreword; Preface; Acknowledgements; Contents;
- Chapter 1 Researching Evolvability;
- Chapter 2 Architecting for Improved Evolvability;
- Chapter 3 Complementing Software Documentation;
- Chapter 4 Identifying and Investigating Evolution Type DecompositionWeaknesses;
- Chapter 5 Transferring Evolutionary Couplings to Industry;
- Chapter 6 An Execution Viewpoint Catalog for Software-Intensive and Embedded Systems;
- Chapter 7 Researching Reference Architectures Gerrit Muller;
- Chapter 8 A3 Architecture Overviews;
- Chapter 9 Linking Requirements and Implementation.
- Chapter 10 Workflow Modelling of Intended System Use
- Chapter 11 Supervisory Control Synthesis in the Medical Domain;
- Chapter 12 Creating High-Quality Behavioural Designs for Software-Intensive Systems;
- Chapter 13 Verifying Runtime Reconfiguration Requirements on UML Models;
- Chapter 14 Scheduling in MRI Scans processing;
- Chapter 15 Strategy-Focused Architecture Decision Making;
- Chapter 16 Balancing Time-to-Market and Quality in Evolving Embedded Systems;
- Chapter 17 Industrial Impact and Lessons Learned;
- Chapter 18 Conclusions; Annex; I Darwin Publications; II List of Darwin Partners; Index.
290. Close engagements with artificial companions : key social, psychological, ethical and design issues [2010]
- Amsterdamn ; Philadelphia, PA : John Benjamins Pub. Co., ©2010.
- Description
- Book — 1 online resource (xxii, 315 pages) : illustrations
- Summary
-
- 1. Foreword, pxi-xii
- 2. Acknowledgements, pxii
- 3. Contributors, pxiii-xxii
- 4. Section I. Setting the scene
- 5. In good company?: On the threshold of robotic Companions (by Turkle, Sherry), p3-10
- 6. Introducing artificial Companions (by Wilks, Yorick), p11-20
- 7. Section II. Ethical and philosophical issues
- 8. Artificial Companions and their philosophical challenges (by Floridi, Luciano), p23-28
- 9. Conditions for Companionhood (by Pulman, Stephen G.), p29-34
- 10. Arius in cyberspace: Digital Companions and the limits of the person (by O'--Hara, Kieron), p35-56
- 11. Section III. Social and psychological issues: What should a Companion be like?
- 12. Conversationalists and confidants (by Boden, Margaret A.), p59-61
- 13. Robots should be slaves (by Bryson, Joanna J.), p63-74
- 14. Wanting the impossible: The dilemma at the heart of intimate human-robot relationships (by Evans, Dylan), p75-88
- 15. Falling in love with a Companion (by Levy, David), p89-94
- 16. Identifying your accompanist (by Lowe, Will), p95-100
- 17. Look, emotion, language and behavior in a believable virtual Companion (by Romano, Daniela M.), p101-106
- 18. New Companions (by Taylor, Alex), p107-120
- 19. On being a Victorian Companion (by Wilks, Yorick), p121-128
- 20. Section IV. Design issues: Building a Companion
- 21. The use of affective and attentive cues in an empathic computer-based Companions (by Bee, Nikolaus), p131-142
- 22. GRETA: Towards an interactive conversational virtual Companion (by Bevacqua, Elisabetta), p143-156
- 23. A world-hybrid approach to a conversational Companion for reminiscing about images (by Catizone, Roberta), p157-168
- 24. Companionship is an emotional business (by Cowie, Roddy), p169-172
- 25. Artificial Companions in society: Consulting the users (by Newell, Alan), p173-178
- 26. Requirements for Artificial Companions: It'--s harder than you think (by Sloman, Aaron), p179-200
- 27. You really need to know what your bot(s) are thinking about you (by Winfield, Alan FT), p201-208
- 28. Section V. Special purpose Companions
- 29. A Companion for learning in everyday life (by Eynon, Rebecca), p211-220
- 30. The Maryland virtual patient as a task-oriented conversational Companion (by Nirenburg, Sergei), p221-244
- 31. Living with robots: Ethical tradeoffs in eldercare (by Sharkey, Noel), p245-256
- 32. Section VI. Afterword
- 33. Summary and discussion of the issues (by Peltu, Malcom), p259-286
- 34. References, p287-308
- 35. Index, p309-316.
- (source: Nielsen Book Data)
- 1. Foreword
- 2. Acknowledgements
- 3. Contributors
- 4. Section I. Setting the scene
- 5. In good company?: On the threshold of robotic Companions (by Turkle, Sherry)
- 6. Introducing artificial Companions (by Wilks, Yorick)
- 7. Section II. Ethical and philosophical issues
- 8. Artificial Companions and their philosophical challenges (by Floridi, Luciano)
- 9. Conditions for Companionhood (by Pulman, Stephen G.)
- 10. Arius in cyberspace: Digital Companions and the limits of the person (by O'Hara, Kieron)
- 11. Section III. Social and psychological issues: What should a Companion be like?
- 12. Conversationalists and confidants (by Boden, Margaret A.)
- 13. Robots should be slaves (by Bryson, Joanna J.)
- 14. Wanting the impossible: The dilemma at the heart of intimate human-robot relationships (by Evans, Dylan)
- 15. Falling in love with a Companion (by Levy, David)
- 16. Identifying your accompanist (by Lowe, Will)
- 17. Look, emotion, language and behavior in a believable virtual Companion (by Romano, Daniela M.)
- 18. New Companions (by Taylor, Alex)
- 19. On being a Victorian Companion (by Wilks, Yorick)
- 20. Section IV. Design issues: Building a Companion
- 21. The use of affective and attentive cues in an empathic computer-based Companions (by Bee, Nikolaus)
- 22. GRETA: Towards an interactive conversational virtual Companion (by Bevacqua, Elisabetta)
- 23. A world-hybrid approach to a conversational Companion for reminiscing about images (by Catizone, Roberta)
- 24. Companionship is an emotional business (by Cowie, Roddy)
- 25. Artificial Companions in society: Consulting the users (by Newell, Alan)
- 26. Requirements for Artificial Companions: It's harder than you think (by Sloman, Aaron)
- 27. You really need to know what your bot(s) are thinking about you (by Winfield, Alan FT)
- 28. Section V. Special purpose Companions
- 29. A Companion for learning in everyday life (by Eynon, Rebecca)
- 30. The Maryland virtual patient as a task-oriented conversational Companion (by Nirenburg, Sergei)
- 31. Living with robots: Ethical tradeoffs in eldercare (by Sharkey, Noel)
- 32. Section VI. Afterword
- 33. Summary and discussion of the issues (by Peltu, Malcom)
- 34. References
- 35. Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Vámos, Tibor.
- Budapest ; New York : Central European University Press, 2010.
- Description
- Book — 1 online resource (vi, 218 pages) : illustrations
- Summary
-
- Acknowledgements Preface of Computer Epistemology 1991 Foreword
- Part 1 Why computer epistemology? 1.1 Prologue: why? 1.2 Knowledge about knowledge 1.3. Did it start also with the Greeks? 1.4. An important addendum about the not formalized human issue
- Part 2 Algebra, the discipline from the simplest to the most general 2.1 Introduction to the Game of Life and thinking 2.2 Algebra, the ladder from counting to coordinatizating the universe 2.3 Sets, other entity abstractions 2.4 Algebraic operations in highly practical roles: computational classes 2.5 Two examples of application algebraic methods 2.6 Abstracted reality: reflections in the brain and resume
- Part 3 Logic, the origin of all programming 3.1 Basic problems 3.2 Logic in computers, now 3.3 About final truth, epistemic ethics
- Part 4 How uncertain uncertainty is? 4.1 Long story of uncertainty about uncertainty 4.2 Late evolution 4.3 The pragmatic view of methodologies
- Part 5 Excursion to the fields of ontology, Being and beliefs 5.1 Ontology, homunculus, constructive skepticism 5.2 Ethics: our pragma: useful and necessary 5.3 Analytic versus metaphysical, logic versus pattern 5.4 Future human roles and attitudes and constructive skepticism
- Part 6 Conclusions Appendices References Name index Subject index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Vámos, Tibor.
- Budapest ; New York : Central European University Press, 2010.
- Description
- Book — 1 online resource (vi, 218 pages) : illustrations
- Summary
-
- Acknowledgements Preface of Computer Epistemology 1991 Foreword
- Part 1 Why computer epistemology? 1.1 Prologue: why? 1.2 Knowledge about knowledge 1.3. Did it start also with the Greeks? 1.4. An important addendum about the not formalized human issue
- Part 2 Algebra, the discipline from the simplest to the most general 2.1 Introduction to the Game of Life and thinking 2.2 Algebra, the ladder from counting to coordinatizating the universe 2.3 Sets, other entity abstractions 2.4 Algebraic operations in highly practical roles: computational classes 2.5 Two examples of application algebraic methods 2.6 Abstracted reality: reflections in the brain and resume
- Part 3 Logic, the origin of all programming 3.1 Basic problems 3.2 Logic in computers, now 3.3 About final truth, epistemic ethics
- Part 4 How uncertain uncertainty is? 4.1 Long story of uncertainty about uncertainty 4.2 Late evolution 4.3 The pragmatic view of methodologies
- Part 5 Excursion to the fields of ontology, Being and beliefs 5.1 Ontology, homunculus, constructive skepticism 5.2 Ethics: our pragma: useful and necessary 5.3 Analytic versus metaphysical, logic versus pattern 5.4 Future human roles and attitudes and constructive skepticism
- Part 6 Conclusions Appendices References Name index Subject index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- WoMO 2010.
- Amsterdam : IOS Press, ©2010.
- Description
- Book — 1 online resource (xv, 97 pages)
- Summary
-
- Title page; Preface; Contents; Towards Ontology Use, Re-Use and Abuse in a Computational Creativity Collective; Ontology Modularity, Information Flow, and Interaction-Situated Semantics; The Modular Structure of an Ontology: An Empirical Study; Extracting and Merging Contextualized Ontology Modules; A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies; Towards a Functional Approach to Modular Ontologies Using Institutions; Introducing Ontology Best Practices and Design Patterns into Robotics: USAREnv; Modular Upper-Level Ontologies for Semantic Complex Event Processing.
294. Soft computing in industrial applications : algorithms, integration, and success stories [2010]
- Berlin ; Heidelberg ; New York : Springer-Verlag, ©2010.
- Description
- Book — 1 online resource (xxvii, 316 pages)
- Summary
-
- Soft Computing for Modeling, Control, and Optimization.- Optimization of Co-rotating Twin-Screw Extruders Using Pareto Local Search.- Efficient Predictive Control Algorithm Based on Fuzzy Hammerstein Models: A Case Study.- Selection of Points Inside Cutoff Radius by Scanning All Points Sorted in Memory.- Supervised Fuzzy Clustering Based Initialization of Fuzzy Partitions for Decision Tree Induction.- Fault Detection of the Tennessee Eastman Process Using Improved PCA and Neural Classifier.- New Evolutionary Methodologies.- Bare Bones Particle Swarm Applied to Parameter Estimation of Mixed Weibull Distribution.- Structural Optimization Using Harmony Search Algorithm.- Nash Dominance with Applications to Equilibrium Problems with Equilibrium Constraints.- A New Evolutionary Based Approach for Solving the Uncapacitated Multiple Allocation p-Hub Median Problem.- Soft Computing for Bioinformatics, Knowledge Management, and Data Mining.- Prediction of the hERG Potassium Channel Inhibition Potential with Use of the Artificial Neural Networks.- Michigan Style Fuzzy Classification for Gene Expression Analysis.- Feature Selection for Bankruptcy Prediction: A Multi-Objective Optimization Approach.- Dynamic Time Warping of Segmented Time Series.- Feature Selection Using Combine of Genetic Algorithm and Ant Colony Optimization.- Soft Computing for Image and Signal Processing, and Pattern Recognition.- Fully Automatic Boundary Extraction of Coronary Plaque in IVUS Image by Anisotropic Diffusion and T-S Type Fuzzy Inference.- Cost Effective 3D Localization for Low-Power WSN Based on Modified Sammon's Stress Function with Incomplete Distance Information.- Classification of Pressure Drop Devices of Proto Type Fast Breeder Reactor through Seven Layered Feed Forward Neural Network.- Music Visualization by Means of Comb Filter and Relaxation Time According to Human Perception.- GA/SVM for Diagnosis Sleep Stages Using Non-linear and Spectral Features.- Special Session Soft Computing in Computer Graphics, Imaging, and Vision.- Prostate Boundary Detection in Ultrasound Images Based on Type-II Fuzzy Sets and Modified Fuzzy C-Means.- Distributed Multimedia Computing Using Intelligent Agents.- Object Recognition Using Simulated Evolution on Fourier Descriptors.- Special Session Soft Computing for Intelligent Control.- Embedding a KM Type Reducer for High Speed Fuzzy Controller into an FPGA.- An Application of Fuzzy Lyapunov Synthesis in the Design of Type-2 Fuzzy Logic Controllers.- Access Control and Resource Allocation for Peer-to-Peer Video Streaming Based on Fuzzy Logic.- Bio-inspired Optimization Methods of Fuzzy Logic Controllers Applied to Linear Plants.- Special Session Traffic and Transportation Systems.- An Adaptive Neuro-Fuzzy Inference System for Simulation of Pedestrians Behaviour at Unsignalized Roadway Crossings.- A Cellular Genetic Algorithm for Solving the Vehicle Routing Problem with Time Windows.- Fuzzy C-Means Based Stop Line and Crosswalk Placement at Right Turn Vehicle Exclusive Lane.- Surveys and Tutorials.- New Trends of Soft Computing Methods for Industrial and Biological Processes.- Evolutionary Multi-objective Optimisation of Business Processes.- Computational Intelligence in Speech and Audio Processing: Recent Advances.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Berlin : Springer, ©2010.
- Description
- Book — 1 online resource (xxi, 734 pages) : figure (some color), table Digital: text file.PDF.
- Summary
-
- Special Session on Adaptive Multiagent Systems.- Use of Agents to Realize a Federated Searching of Learning Objects.- MDD for Virtual Organization Design.- Towards Soccer Simulation as a Testbed for Adaptive Systems and Agreement Technologies.- Normative Argumentation.- Engineering Ambient Intelligence Services by Means of MABS.- Mobile Agent Middleware for Intelligent Management of Communication Infrastructures.- A Multiagent System for Efficient Portfolio Management.- Managing Real-Time Web Services through Agents.- Open MAS Architecture. Providing Real Time Solutions.- Special Session on Multiagent Systems for Health Care and Bioinformatics.- PathAgent: Multi-agent System for Updated Pathway Information Integration.- Multi-agent System for Mass Spectrometry Analysis.- Multi-agent Personal Memory Assistant.- TENSSION: A Tool for the Medical Patient Follow-Up.- Dynamic Planning with Bayesian Network Applied in MAS.- Special Session on Multiagent Systems for Ambient Intelligence.- Enhancing the Role of Multi-agent Systems in the Development of Intelligent Environments.- Towards Distributed Wireless Intelligent Sensor Networks.- Context-Aware Agents for Vehicular Networks: An Aspect-Oriented Approach.- Reasoning on a Semantic Web Based Context-Awareness Middleware.- Agent-Based AmI System Case Study: The Easy Line + Project.- Multiagent System for Detecting Passive Students in Problem-Based Learning.- Context-Aware Agents for People Detection and Stereoscopic Analysis.- Analysis and Design of a SOA-Based Multi-agent Architecture.- Special Session on Multi-Agent Systems for Manufacturing and Supply Chain.- A Multiagent Scheduling Repair Method for Disruption Management in Complex Socio-technical Organizations.- Price Updating in Combinatorial Auctions for Coordination of Manufacturing Multiagent Systems.- Study on Integrated Model of Lean and Agile Supply Chain Based on Multi-DPs.- Towards Improving Supply Chain Coordination through Agent-Based Simulation.- Using Multi-agent System for Improving and Implementing a New Enterprise Modeling Tool.- Production Process Based on CIMOSA Modeling Approach and Software Agents.- A Beehive-Like Approach for Dynamic Generation of Integration Services to Enable Adaptive Supply Chains Using Enterprise Tomography.- Cooperative Purchasing of Logistics Services among Manufacturing Companies Based on Semantic Web and Multi-agent System.- Sandbox for Development of Evolving Manufacturing Control Architectures.- Agent-Based Model of Kanban Flows in the Environment with High Demand Variances.- Supply Chain with Reverse Flows- Benefiting from Recycled Resources.- Special Session on Enterprise Application and Information Integration.- e-Wedding Based on Multi-agent System.- Distributed Computing Using RESTful Semantic Web Services.- Enhancing the Services Integration Mechanism in the HoCa Multi-agent Architecture.- Integrating Deep-Web Information Sources.- Ontological Trading in a Multi-agent System.- An Agent-, Service-Based Platform Supporting Ontological Integration of Proficient Knowledge Managed in Decision Making.- Special Session on Software Agents in Knowledge Management.- A Multi-agent Recommender System to Suggest Documents in Communities of Practice.- AIDeM: Agent-Based Intrusion Detection Mechanism.- A Multi-agent System that Searches for Learning Objects in Heterogeneous Repositories.- Application of a Modeling Standard Language on the Definition of Agent Oriented Development Processes.- Special Session on Bio-Inspired and Multi-Agents Systems: Applications to Languages.- Variable Length-Based Genetic Representation to Automatically Evolve Wrappers.- A Case Study on Grammatical-Based Representation for Regular Expression Evolution.- Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator.- L Systems as Bio-MAS for Natural Language Processing.- Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry.- A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors.- An Evolutionary Confidence Measure for Spotting Words in Speech Recognition.- Workshop on Artificial Intelligence and Distributed Systems.- Intelligent Agents and Wireless Sensor Networks: A Healthcare Telemonitoring System.- Indoor Navigation Multi-agent System for the Elderly and People with Disabilities.- Algorithms of Machine Learning for K-Clustering.- Monitoring and Adaptation of Assessment Process in Virtual Courses Based in Multi-agent Systems.- A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation.- Cluster Analysis and Decision Trees of MR Imaging in Patients Suffering Alzheimer's.- Improving the Quality of Health Service with Smart Communication.- Multi-agent System (MAS) Applications in Ambient Intelligence (AmI) Environments.- Agents to Help Context-Aware System in Home Care.- SDL Ontology for Specifying Systems Based on Finite State Machines.- Applying Data Mining Techniques to Stock Market Analysis.- Synthesis and Analysis of Classifiers Based on Generalized Model of Identification.- Multiagent Based Spectrum Sharing Using Petri Nets.- A Multi Agent Architecture for Tourism Recommendation.- Improving Functionalities in a Multi-agent Architecture for Ocean Monitoring.- Multiagent Systems in Stock Index Prediction.- Experiments on Robotic Multi-agent System for Hose Deployment and Transportation.- On Cooperative Swarm Foraging for Simple, Non Explicitly Connected, Agents.- Analyzing Large-Scale Crowd Simulations for Building Evacuation.- Agent Collaboration Framework.- Workshop on Systems, Man, & Cybernetics: SMC-Workshop.- IEEE.- SPANISH CHAPTER.- Some Issues and Extensions of JADE to Cope with Multi-agent Operation in the Context of Ambient Intelligence.- P300-Based Brain-Computer Interface for Internet Browsing.- Modeling Virtual Agent Behavior in a Computer Game to Be Used in a Real Enviroment.- A Legal View of Ambient Assisted Living Developments.- An Intelligent Tutoring System Oriented to the Integration of People with Intellectual Disabilities.- An Automatic Programming ACO-Based Algorithm for Classification Rule Mining.- Energy Cost Reduction in the Synchronization of a Pair of Nonidentical Coupled Hindmarsh-Rose Neurons.- A Color Transformation for Robust Detection of Color Landmarks in Robotic Contexts.- Low Quality Data Management for Optimising Energy Efficiency in Distributed Agents.- Interactive Multimedia Tabletops (IMT) for Casual Users.- Emotion Elicitation Oriented to the Development of a Human Emotion Management System for People with Intellectual Disabilities.- Acoustic Phonetic Decoding Oriented to Multilingual Speech Recognition in the Basque Context.- A Computer-Aided Decision Support System for Shoulder Pain Pathology.- Unsupervised Visualization of SQL Attacks by Means of the SCMAS Architecture.- Assessing Knowledge Management in the Power Sector through a Connectionist Model.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
296. Argumentation in artificial intelligence [2009]
- Dordrecht ; New York : Springer, ©2009.
- Description
- Book — 1 online resource (xiii, 493 pages) : illustrations
- Summary
-
- Foreword; Preface; Contents; Argumentation Theory: A Very Short Introduction; Douglas Walton; Description Logic; Part I Abstract Argument Systems; Pietro Baroni and Massimiliano Giacomin; Semantics of Abstract Argument Systems; Bayesian Networks; Abstract Argumentation and Values; Trevor Bench-Capon and Katie Atkinson; Bipolar abstract argumentation systems; Claudette Cayrol and Marie-Christine Lagasquie-Schiex; Complexity of Abstract Argumentation; Paul E. Dunne and Michael Wooldridge; Proof Theories and Algorithms for Abstract Argumentation Frameworks; Sanjay Modgil and Martin Caminada.
297. Artificial life models in hardware [2009]
- New York ; London : Springer, ©2009.
- Description
- Book — 1 online resource Digital: text file.PDF.
- Summary
-
- The History and Future of Stiquito, a Hexapod Insectoid Robot.- Learning Legged Locomotion.- Salamandra Robotica: a Biologically Inspired Amphibious Robot that Swims and Walks.- Multi-Locomotion Robot: Novel Concept, Mechanism and Control of Bio-Inspired Robot.- Self-Regulatory Hardware: Evolutionary Design for Mechanical Passivity on a Pseudo Passive Dynamic Walker.- Perception for Action in Roving Robots: a Dynamical System Approach.- Nature-Inspired Single-Electron Computers.- Tribolon: Water Based Self-Assembly Robots.- Artificial Symbiosis in Ecobots.- The Phi-Bot: A Robot Controlled by a Slime Mould.- Reaction-Diffusion Controllers for Robots.- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
298. Dataset shift in machine learning [2009]
- Cambridge, Mass. : MIT Press, ©2009.
- Description
- Book — 1 online resource (xv, 229 pages) : illustrations
- Summary
-
- I. Introduction to dataset shift
- 1. When training and test sets are different: characterizing learning transfer / Amos Storkey
- 2. Projection and projectability / David Corfield
- II. Theoretical views on dataset and covariate shift
- 3. Binary classification under sample selection bias / Matthias Hein
- 4. On Bayesian transduction: implications for the covariate shift problem / Lars Kai Hansen
- 5. On the training/test distributions gap: a data representation learning framework / Shai Ben-David
- III. Algorithms for covariate shift
- 6. Geometry of covariate shift with applications to active learning / Takafumi Kanamori and Hidetoshi Shimodaira
- 7. A conditional expectation approach to model selection and active learning under covariate shift / Masashi Sugiyama, Neil Rubens and Klaus-Robert Muller
- 8. Covariate shift by kernel mean matching / Arthur Grellon, Alex Smola, Jiayuan Huang, Marcel Schmittfull, Karsten Borgwardt and Bernhard Scholkopf
- 9. Discriminative learning under covariate shift with a single optimization problem / Steffen Bickel, Michael Bruckner and Tobias Scheffer
- 10. An adversarial view of covariate shift and a minimax approach / Amir Globerson, Choon Hui Teo, Alex Smola and Sam Roweis
- IV. Discussion
- 11. Author comments / Hidetoshi Shimodaira, Masashi Sugiyama, Amos Storkey, Arthur Gretton and Shai-Ben David.
(source: Nielsen Book Data)
- Eberhart, Russell C.
- Amsterdam ; Boston : Elsevier/Morgan Kaufmann Publishers, ©2007.
- Description
- Book — 1 online resource (xx, 467 pages) : illustrations
- Summary
-
- FOUNDATIONS COMPUTATIONAL INTELLIGENCE EVOLUTIONARY COMPUTATION CONCEPTS AND PARADIGMS EVOLUTIONARY COMPUTATION IMPLEMENTATIONS NEURAL NETWORK CONCEPTS AND PARADIGMS NEURAL NETWORK IMPLEMENTATIONS FUZZY SYSTEMS CONCEPTS AND PARADIGMS FUZZY SYSTEMS IMPLEMENTATIONS COMPUTATIONAL INTELLIGENCE IMPLEMENTATIONS PERFORMANCE METRICS ANALYSIS AND EXPLANATION CASE STUDY SUMMARIES.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Eberhart, Russell C.
- Amsterdam ; Boston : Elsevier/Morgan Kaufmann Publishers, ©2007.
- Description
- Book — 1 online resource (xx, 467 pages) : illustrations
- Summary
-
- FOUNDATIONS COMPUTATIONAL INTELLIGENCE EVOLUTIONARY COMPUTATION CONCEPTS AND PARADIGMS EVOLUTIONARY COMPUTATION IMPLEMENTATIONS NEURAL NETWORK CONCEPTS AND PARADIGMS NEURAL NETWORK IMPLEMENTATIONS FUZZY SYSTEMS CONCEPTS AND PARADIGMS FUZZY SYSTEMS IMPLEMENTATIONS COMPUTATIONAL INTELLIGENCE IMPLEMENTATIONS PERFORMANCE METRICS ANALYSIS AND EXPLANATION CASE STUDY SUMMARIES.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.