Author: João Inácio da Silva Filho
Publisher: IOS Press
ISBN: 1607505576
Category : Computers
Languages : en
Pages : 328
Book Description
This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, Uncertainty Treatment Using Praconsistent Logic presents the material in a sequential fashion and is divided into three parts.
Uncertainty Treatment Using Paraconsistent Logic
Author: João Inácio da Silva Filho
Publisher: IOS Press
ISBN: 1607505576
Category : Computers
Languages : en
Pages : 328
Book Description
This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, Uncertainty Treatment Using Praconsistent Logic presents the material in a sequential fashion and is divided into three parts.
Publisher: IOS Press
ISBN: 1607505576
Category : Computers
Languages : en
Pages : 328
Book Description
This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, Uncertainty Treatment Using Praconsistent Logic presents the material in a sequential fashion and is divided into three parts.
Anomaly detection using the correlational paraconsistent machine with digital signatures of network segment
Author: Eduardo H.M. Pena
Publisher: Infinite Study
ISBN:
Category :
Languages : en
Pages : 16
Book Description
This study presents the correlational paraconsistent machine (CPM), a tool for anomaly detection that incorporates unsupervised models for traffic characterization and principles of paraconsistency, to inspect irregularities at the network traffic flow level.
Publisher: Infinite Study
ISBN:
Category :
Languages : en
Pages : 16
Book Description
This study presents the correlational paraconsistent machine (CPM), a tool for anomaly detection that incorporates unsupervised models for traffic characterization and principles of paraconsistency, to inspect irregularities at the network traffic flow level.
Advances in Applied Logics
Author: Jair Minoro Abe
Publisher: Springer Nature
ISBN: 3031357590
Category : Technology & Engineering
Languages : en
Pages : 210
Book Description
This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers. The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections.
Publisher: Springer Nature
ISBN: 3031357590
Category : Technology & Engineering
Languages : en
Pages : 210
Book Description
This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers. The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections.
Towards Paraconsistent Engineering
Author: Seiki Akama
Publisher: Springer
ISBN: 3319404180
Category : Technology & Engineering
Languages : en
Pages : 246
Book Description
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.
Publisher: Springer
ISBN: 3319404180
Category : Technology & Engineering
Languages : en
Pages : 246
Book Description
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.
Intelligent Decision Technologies 2017
Author: Ireneusz Czarnowski
Publisher: Springer
ISBN: 3319594249
Category : Technology & Engineering
Languages : en
Pages : 366
Book Description
The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.
Publisher: Springer
ISBN: 3319594249
Category : Technology & Engineering
Languages : en
Pages : 366
Book Description
The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.
Visual Affect Recognition
Author: Ioanna-Ourania Stathopoulou
Publisher: IOS Press
ISBN: 1607505967
Category : Computers
Languages : en
Pages : 268
Book Description
It is generally known that human faces, as well as body motions and gestures, provide a wealth of information about a person, such as age, race, sex and emotional state. This monograph primarily studies the perception of facial expression of emotion, and secondarily of motion and gestures, with the purpose of developing a fully automated visual affect recognition system for use in modes of human/computer interaction. The book begins with a survey of the literature on emotion perception, followed by a decription of empirical studies conducted with human participants and the construction of a face image database . On the basis of this work, a visual affect recognition system was developed, consisting of two modules: a face detection subsystem and a facia expression recognition subsystem. Details of this system are demonstrated and analyzed, and extensive performance evaluations and test results are provided. Finally, current research avenues leading to visual affect recognition via analysis of body motin and gestures are also discussed."
Publisher: IOS Press
ISBN: 1607505967
Category : Computers
Languages : en
Pages : 268
Book Description
It is generally known that human faces, as well as body motions and gestures, provide a wealth of information about a person, such as age, race, sex and emotional state. This monograph primarily studies the perception of facial expression of emotion, and secondarily of motion and gestures, with the purpose of developing a fully automated visual affect recognition system for use in modes of human/computer interaction. The book begins with a survey of the literature on emotion perception, followed by a decription of empirical studies conducted with human participants and the construction of a face image database . On the basis of this work, a visual affect recognition system was developed, consisting of two modules: a face detection subsystem and a facia expression recognition subsystem. Details of this system are demonstrated and analyzed, and extensive performance evaluations and test results are provided. Finally, current research avenues leading to visual affect recognition via analysis of body motin and gestures are also discussed."
Paraconsistent Intelligent-Based Systems
Author: Jair Minoro Abe
Publisher: Springer
ISBN: 3319197223
Category : Technology & Engineering
Languages : en
Pages : 312
Book Description
This book presents some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size. Each chapter is self-contained, and an introductory chapter covering the logic theoretical basis is also included. The aim of the text is twofold: to serve as an introductory text on the theories and applications of new logic, and as a textbook for undergraduate or graduate-level courses in AI. Today AI frequently has to cope with problems of vagueness, incomplete and conflicting (inconsistent) information. One of the most notable formal theories for addressing them is paraconsistent (paracomplete and non-alethic) logic.
Publisher: Springer
ISBN: 3319197223
Category : Technology & Engineering
Languages : en
Pages : 312
Book Description
This book presents some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size. Each chapter is self-contained, and an introductory chapter covering the logic theoretical basis is also included. The aim of the text is twofold: to serve as an introductory text on the theories and applications of new logic, and as a textbook for undergraduate or graduate-level courses in AI. Today AI frequently has to cope with problems of vagueness, incomplete and conflicting (inconsistent) information. One of the most notable formal theories for addressing them is paraconsistent (paracomplete and non-alethic) logic.
Innovation in Medicine and Healthcare 2014
Author: M. Graña
Publisher: IOS Press
ISBN: 1614994749
Category : Health & Fitness
Languages : en
Pages : 428
Book Description
Advances are constantly being made in the fields of medicine and healthcare, and keeping abreast of them is not always easy. This book presents the proceedings of the second KES International Conference on Innovation in Medicine and Healthcare (InMed 14), held in San Sebastian, Spain, in July 2014. The conference was attended by researchers and engineers, managers, students and practitioners from a broad spectrum of medically related fields, and this multidisciplinary group discussed the ways in which technological and methodological innovation, knowledge exchange and enterprise can be applied to issues relating to medicine, surgery, healthcare and the issues of an ageing population. A central theme of the conference was smart medical and healthcare systems, which explored how modern intelligent systems can contribute to the solution of problems faced by healthcare and medical practitioners today and addressed the application of the systems. The 43 papers included here provided a useful and interesting reference for anyone requiring an overview of current innovations in healthcare.
Publisher: IOS Press
ISBN: 1614994749
Category : Health & Fitness
Languages : en
Pages : 428
Book Description
Advances are constantly being made in the fields of medicine and healthcare, and keeping abreast of them is not always easy. This book presents the proceedings of the second KES International Conference on Innovation in Medicine and Healthcare (InMed 14), held in San Sebastian, Spain, in July 2014. The conference was attended by researchers and engineers, managers, students and practitioners from a broad spectrum of medically related fields, and this multidisciplinary group discussed the ways in which technological and methodological innovation, knowledge exchange and enterprise can be applied to issues relating to medicine, surgery, healthcare and the issues of an ageing population. A central theme of the conference was smart medical and healthcare systems, which explored how modern intelligent systems can contribute to the solution of problems faced by healthcare and medical practitioners today and addressed the application of the systems. The 43 papers included here provided a useful and interesting reference for anyone requiring an overview of current innovations in healthcare.
Mobile Robots
Author: Zoran Gacovski
Publisher: BoD – Books on Demand
ISBN: 9533077166
Category : Technology & Engineering
Languages : en
Pages : 418
Book Description
This book consists of 18 chapters divided in four sections: Robots for Educational Purposes, Health-Care and Medical Robots, Hardware - State of the Art, and Localization and Navigation. In the first section, there are four chapters covering autonomous mobile robot Emmy III, KCLBOT - mobile nonholonomic robot, and general overview of educational mobile robots. In the second section, the following themes are covered: walking support robots, control system for wheelchairs, leg-wheel mechanism as a mobile platform, micro mobile robot for abdominal use, and the influence of the robot size in the psychological treatment. In the third section, there are chapters about I2C bus system, vertical displacement service robots, quadruped robots - kinematics and dynamics model and Epi.q (hybrid) robots. Finally, in the last section, the following topics are covered: skid-steered vehicles, robotic exploration (new place recognition), omnidirectional mobile robots, ball-wheel mobile robots, and planetary wheeled mobile robots.
Publisher: BoD – Books on Demand
ISBN: 9533077166
Category : Technology & Engineering
Languages : en
Pages : 418
Book Description
This book consists of 18 chapters divided in four sections: Robots for Educational Purposes, Health-Care and Medical Robots, Hardware - State of the Art, and Localization and Navigation. In the first section, there are four chapters covering autonomous mobile robot Emmy III, KCLBOT - mobile nonholonomic robot, and general overview of educational mobile robots. In the second section, the following themes are covered: walking support robots, control system for wheelchairs, leg-wheel mechanism as a mobile platform, micro mobile robot for abdominal use, and the influence of the robot size in the psychological treatment. In the third section, there are chapters about I2C bus system, vertical displacement service robots, quadruped robots - kinematics and dynamics model and Epi.q (hybrid) robots. Finally, in the last section, the following topics are covered: skid-steered vehicles, robotic exploration (new place recognition), omnidirectional mobile robots, ball-wheel mobile robots, and planetary wheeled mobile robots.
Recent Developments in Computational Collective Intelligence
Author: Amelia Badica
Publisher: Springer
ISBN: 331901787X
Category : Technology & Engineering
Languages : en
Pages : 206
Book Description
The book consists of 19 extended and revised chapters based on original works presented during a poster session organized within the 5th International Conference on Computational Collective Intelligence that was held between 11 and 13 of September 2013 in Craiova, Romania. The book is divided into three parts. The first part is titled “Agents and Multi-Agent Systems” and consists of 8 chapters that concentrate on many problems related to agent and multi-agent systems, including: formal models, agent autonomy, emergent properties, agent programming, agent-based simulation and planning. The second part of the book is titled “Intelligent Computational Methods” and consists of 6 chapters. The authors present applications of various intelligent computational methods like neural networks, mathematical optimization and multistage decision processes in areas like cooperation, character recognition, wireless networks, transport, and metal structures. The third part of the book is titled “Language and Knowledge Processing Systems”, and consists of 5 papers devoted to processing methods for knowledge and language information in various applications, including: language identification, corpus comparison, opinion classification, group decision making, and rule bases.
Publisher: Springer
ISBN: 331901787X
Category : Technology & Engineering
Languages : en
Pages : 206
Book Description
The book consists of 19 extended and revised chapters based on original works presented during a poster session organized within the 5th International Conference on Computational Collective Intelligence that was held between 11 and 13 of September 2013 in Craiova, Romania. The book is divided into three parts. The first part is titled “Agents and Multi-Agent Systems” and consists of 8 chapters that concentrate on many problems related to agent and multi-agent systems, including: formal models, agent autonomy, emergent properties, agent programming, agent-based simulation and planning. The second part of the book is titled “Intelligent Computational Methods” and consists of 6 chapters. The authors present applications of various intelligent computational methods like neural networks, mathematical optimization and multistage decision processes in areas like cooperation, character recognition, wireless networks, transport, and metal structures. The third part of the book is titled “Language and Knowledge Processing Systems”, and consists of 5 papers devoted to processing methods for knowledge and language information in various applications, including: language identification, corpus comparison, opinion classification, group decision making, and rule bases.