Author: Anthony Hunter
Publisher: Springer
ISBN: 354049426X
Category : Computers
Languages : en
Pages : 481
Book Description
An introductory review of uncertainty formalisms by the volume editors begins the volume. The first main part of the book introduces some of the general problems dealt with in research. The second part is devoted to case studies; each presentation in this category has a well-delineated application problem and an analyzed solution based on an uncertainty formalism. The final part reports on developments of uncertainty formalisms and supporting technology, such as automated reasoning systems, that are vital to making these formalisms applicable. The book ends with a useful subject index. There is considerable synergy between the papers presented. The representative collection of case studies and associated techniques make the volume a particularly coherent and valuable resource. It will be indispensable reading for researchers and professionals interested in the application of uncertainty formalisms as well as for newcomers to the topic.
Applications of Uncertainty Formalisms
Author: Anthony Hunter
Publisher: Springer
ISBN: 354049426X
Category : Computers
Languages : en
Pages : 481
Book Description
An introductory review of uncertainty formalisms by the volume editors begins the volume. The first main part of the book introduces some of the general problems dealt with in research. The second part is devoted to case studies; each presentation in this category has a well-delineated application problem and an analyzed solution based on an uncertainty formalism. The final part reports on developments of uncertainty formalisms and supporting technology, such as automated reasoning systems, that are vital to making these formalisms applicable. The book ends with a useful subject index. There is considerable synergy between the papers presented. The representative collection of case studies and associated techniques make the volume a particularly coherent and valuable resource. It will be indispensable reading for researchers and professionals interested in the application of uncertainty formalisms as well as for newcomers to the topic.
Publisher: Springer
ISBN: 354049426X
Category : Computers
Languages : en
Pages : 481
Book Description
An introductory review of uncertainty formalisms by the volume editors begins the volume. The first main part of the book introduces some of the general problems dealt with in research. The second part is devoted to case studies; each presentation in this category has a well-delineated application problem and an analyzed solution based on an uncertainty formalism. The final part reports on developments of uncertainty formalisms and supporting technology, such as automated reasoning systems, that are vital to making these formalisms applicable. The book ends with a useful subject index. There is considerable synergy between the papers presented. The representative collection of case studies and associated techniques make the volume a particularly coherent and valuable resource. It will be indispensable reading for researchers and professionals interested in the application of uncertainty formalisms as well as for newcomers to the topic.
Rule Technologies: Foundations, Tools, and Applications
Author: Nick Bassiliades
Publisher: Springer
ISBN: 3319215426
Category : Computers
Languages : en
Pages : 482
Book Description
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.
Publisher: Springer
ISBN: 3319215426
Category : Computers
Languages : en
Pages : 482
Book Description
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.
Expert Systems
Author: Cornelius T. Leondes
Publisher: Elsevier
ISBN: 0080531458
Category : Computers
Languages : en
Pages : 2125
Book Description
This six-volume set presents cutting-edge advances and applications of expert systems. Because expert systems combine the expertise of engineers, computer scientists, and computer programmers, each group will benefit from buying this important reference work. An "expert system" is a knowledge-based computer system that emulates the decision-making ability of a human expert. The primary role of the expert system is to perform appropriate functions under the close supervision of the human, whose work is supported by that expert system. In the reverse, this same expert system can monitor and double check the human in the performance of a task. Human-computer interaction in our highly complex world requires the development of a wide array of expert systems. Expert systems techniques and applications are presented for a diverse array of topics including Experimental design and decision support The integration of machine learning with knowledge acquisition for the design of expert systems Process planning in design and manufacturing systems and process control applications Knowledge discovery in large-scale knowledge bases Robotic systems Geograhphic information systems Image analysis, recognition and interpretation Cellular automata methods for pattern recognition Real-time fault tolerant control systems CAD-based vision systems in pattern matching processes Financial systems Agricultural applications Medical diagnosis
Publisher: Elsevier
ISBN: 0080531458
Category : Computers
Languages : en
Pages : 2125
Book Description
This six-volume set presents cutting-edge advances and applications of expert systems. Because expert systems combine the expertise of engineers, computer scientists, and computer programmers, each group will benefit from buying this important reference work. An "expert system" is a knowledge-based computer system that emulates the decision-making ability of a human expert. The primary role of the expert system is to perform appropriate functions under the close supervision of the human, whose work is supported by that expert system. In the reverse, this same expert system can monitor and double check the human in the performance of a task. Human-computer interaction in our highly complex world requires the development of a wide array of expert systems. Expert systems techniques and applications are presented for a diverse array of topics including Experimental design and decision support The integration of machine learning with knowledge acquisition for the design of expert systems Process planning in design and manufacturing systems and process control applications Knowledge discovery in large-scale knowledge bases Robotic systems Geograhphic information systems Image analysis, recognition and interpretation Cellular automata methods for pattern recognition Real-time fault tolerant control systems CAD-based vision systems in pattern matching processes Financial systems Agricultural applications Medical diagnosis
Proceedings of International Scientific Conference on Telecommunications, Computing and Control
Author: Nikita Voinov
Publisher: Springer Nature
ISBN: 981336632X
Category : Technology & Engineering
Languages : en
Pages : 532
Book Description
This book provides a platform for academics and practitioners for sharing innovative results, approaches, developments, and research projects in computer science and information technology, focusing on the latest challenges in advanced computing and solutions introducing mathematical and engineering approaches. The book presents discussions in the area of advances and challenges of modern computer science, including telecommunications and signal processing, machine learning and artificial intelligence, intelligent control systems, modeling and simulation, data science and big data, data visualization and graphics systems, distributed, cloud and high-performance computing, and software engineering. The papers included are presented at TELECCON 2019 organized by Peter the Great St. Petersburg University during November 18–19, 2019.
Publisher: Springer Nature
ISBN: 981336632X
Category : Technology & Engineering
Languages : en
Pages : 532
Book Description
This book provides a platform for academics and practitioners for sharing innovative results, approaches, developments, and research projects in computer science and information technology, focusing on the latest challenges in advanced computing and solutions introducing mathematical and engineering approaches. The book presents discussions in the area of advances and challenges of modern computer science, including telecommunications and signal processing, machine learning and artificial intelligence, intelligent control systems, modeling and simulation, data science and big data, data visualization and graphics systems, distributed, cloud and high-performance computing, and software engineering. The papers included are presented at TELECCON 2019 organized by Peter the Great St. Petersburg University during November 18–19, 2019.
Theory and Application of Multi-Formalism Modeling
Author: Gribaudo, Marco
Publisher: IGI Global
ISBN: 1466646608
Category : Computers
Languages : en
Pages : 314
Book Description
With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Publisher: IGI Global
ISBN: 1466646608
Category : Computers
Languages : en
Pages : 314
Book Description
With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Visions of Mind
Author: Darryl N. Davis
Publisher: IGI Global
ISBN: 9781591404835
Category : Science
Languages : en
Pages : 364
Book Description
This collection presents a diverse overview of advances in the development of artificial minds as the 21st century begins. Authors from the 2000 UK Society for Artificial Intelligence conference and others from around the world contributed to this multi-disciplinary approach to the long-term problem of designing a human-like mind for scientific, social or engineering purposes.
Publisher: IGI Global
ISBN: 9781591404835
Category : Science
Languages : en
Pages : 364
Book Description
This collection presents a diverse overview of advances in the development of artificial minds as the 21st century begins. Authors from the 2000 UK Society for Artificial Intelligence conference and others from around the world contributed to this multi-disciplinary approach to the long-term problem of designing a human-like mind for scientific, social or engineering purposes.
Belief Functions in Business Decisions
Author: Rajendra P. Srivastava
Publisher: Physica
ISBN: 3790817988
Category : Business & Economics
Languages : en
Pages : 356
Book Description
The book focuses on applications of belief functions to business decisions. Section I introduces the intuitive, conceptual and historical development of belief functions. Three different interpretations (the marginally correct approximation, the qualitative model, and the quantitative model) of belief functions are investigated, and rough set theory and structured query language (SQL) are used to express belief function semantics. Section II presents applications of belief functions in information systems and auditing. Included are discussions on how a belief-function framework provides a more efficient and effective audit methodology and also the appropriateness of belief functions to represent uncertainties in audit evidence. The third section deals with applications of belief functions to mergers and acquisitions; financial analysis of engineering enterprises; forecast demand for mobile satellite services; modeling financial portfolios; and economics.
Publisher: Physica
ISBN: 3790817988
Category : Business & Economics
Languages : en
Pages : 356
Book Description
The book focuses on applications of belief functions to business decisions. Section I introduces the intuitive, conceptual and historical development of belief functions. Three different interpretations (the marginally correct approximation, the qualitative model, and the quantitative model) of belief functions are investigated, and rough set theory and structured query language (SQL) are used to express belief function semantics. Section II presents applications of belief functions in information systems and auditing. Included are discussions on how a belief-function framework provides a more efficient and effective audit methodology and also the appropriateness of belief functions to represent uncertainties in audit evidence. The third section deals with applications of belief functions to mergers and acquisitions; financial analysis of engineering enterprises; forecast demand for mobile satellite services; modeling financial portfolios; and economics.
Aiding Decisions with Multiple Criteria
Author: Denis Bouyssou
Publisher: Springer Science & Business Media
ISBN: 1461508436
Category : Business & Economics
Languages : en
Pages : 551
Book Description
Aiding Decisions With Multiple Criteria: Essays in Honor of Bernard Roy is organized around two broad themes: Graph Theory with path-breaking contributions on the theory of flows in networks and project scheduling, Multiple Criteria Decision Aiding with the invention of the family of ELECTRE methods and methodological contribution to decision-aiding which lead to the creation of Multi-Criteria Decision Analysis (MCDA). Professor Bernard Roy has had considerable influence on the development of these two broad areas. £/LIST£ Part one contains papers by Jacques Lesourne, and Dominique de Werra & Pierre Hansen related to the early career of Bernard Roy when he developed many new techniques and concepts in Graph Theory in order to cope with complex real-world problems. Part two of the book is devoted to Philosophy and Epistemology of Decision-Aiding with contributions from Valerie Belton & Jacques Pictet and Jean-Luis Genard & Marc Pirlot. Part three includes contributions based on Theory and Methodology of Multi-Criteria Decision-Aiding based on a general framework for conjoint measurement that allows intrasitive preferences. Denis Bouyssou & Marc Pirlot; Alexis Tsoukiàs, Patrice Perny & Philippe Vincke; Luis Dias & João Clímaco; Daniel Vanderpooten; Michael Doumpos & Constantin Zopounidis; and Marc Roubens offer a considerable range of examinations of this aspect of MCDA. Part four is devoted to Perference Modeling with contributions from Peter Fishburn; Salvatore Greco, Benedetto Matarazzo & Roman Slowinski; Salem Benferhat, Didier Dubois & Henri Prade; Oscar Franzese & Mark McCord; Bertrand Munier; and Raymond Bisdorff. Part five groups Applications of Multi-Criteria Decision-Aiding, and Carlos Henggeler Antunes, Carla Oliveira & João Clímaco; Carlos Bana e Costa, Manuel da Costa-Lobo, Isabel Ramos & Jean-Claude Vansnick; Yannis Siskos & Evangelos Grigoroudis; Jean-Pierre Brans, Pierre Kunsch & Bertrand Mareschal offer a wide variety of application problems. Finally, Part six includes contributions on Multi-Objective Mathematical Programming from Jacques Teghem, Walter Habenicht and Pekka Korhonen.
Publisher: Springer Science & Business Media
ISBN: 1461508436
Category : Business & Economics
Languages : en
Pages : 551
Book Description
Aiding Decisions With Multiple Criteria: Essays in Honor of Bernard Roy is organized around two broad themes: Graph Theory with path-breaking contributions on the theory of flows in networks and project scheduling, Multiple Criteria Decision Aiding with the invention of the family of ELECTRE methods and methodological contribution to decision-aiding which lead to the creation of Multi-Criteria Decision Analysis (MCDA). Professor Bernard Roy has had considerable influence on the development of these two broad areas. £/LIST£ Part one contains papers by Jacques Lesourne, and Dominique de Werra & Pierre Hansen related to the early career of Bernard Roy when he developed many new techniques and concepts in Graph Theory in order to cope with complex real-world problems. Part two of the book is devoted to Philosophy and Epistemology of Decision-Aiding with contributions from Valerie Belton & Jacques Pictet and Jean-Luis Genard & Marc Pirlot. Part three includes contributions based on Theory and Methodology of Multi-Criteria Decision-Aiding based on a general framework for conjoint measurement that allows intrasitive preferences. Denis Bouyssou & Marc Pirlot; Alexis Tsoukiàs, Patrice Perny & Philippe Vincke; Luis Dias & João Clímaco; Daniel Vanderpooten; Michael Doumpos & Constantin Zopounidis; and Marc Roubens offer a considerable range of examinations of this aspect of MCDA. Part four is devoted to Perference Modeling with contributions from Peter Fishburn; Salvatore Greco, Benedetto Matarazzo & Roman Slowinski; Salem Benferhat, Didier Dubois & Henri Prade; Oscar Franzese & Mark McCord; Bertrand Munier; and Raymond Bisdorff. Part five groups Applications of Multi-Criteria Decision-Aiding, and Carlos Henggeler Antunes, Carla Oliveira & João Clímaco; Carlos Bana e Costa, Manuel da Costa-Lobo, Isabel Ramos & Jean-Claude Vansnick; Yannis Siskos & Evangelos Grigoroudis; Jean-Pierre Brans, Pierre Kunsch & Bertrand Mareschal offer a wide variety of application problems. Finally, Part six includes contributions on Multi-Objective Mathematical Programming from Jacques Teghem, Walter Habenicht and Pekka Korhonen.
Applications and Theory of Petri Nets 2005
Author: Gianfranco Ciardo
Publisher: Springer
ISBN: 3540315594
Category : Computers
Languages : en
Pages : 485
Book Description
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave 100–150 participants, one third from industry and the others from universities and research institutions, and they always take place in the last week of June. SuccessiveeditionsoftheconferencearecoordinatedbytheSteeringCommittee, whose members are listed on the next page, which also supervises several other activities—see the Petri Nets World at the URLwww.daimi.au.dk/PetriNets. The 2005 conference was organized in Miami by the School of Computer Science at Florida International University (USA). We would like to express our deep thanks to the Organizing Committee, chaired by Xudong He, for the time and e?ort invested to the bene?t of the community in making the event successful. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets. Detailed information can be found at the conference URLwww.cs.fiu.edu/atpn2005. We received altogether 71 submissions from authors in 22 countries. Two submissions were not in the scope of the conference. The Program Comm- tee selected 23 contributions from the remaining 69 submissions, classi?ed into three categories: application papers (6 accepted, 25 submitted), theory papers (14 accepted, 40 submitted), and tool presentations (3 accepted, 4 submitted).
Publisher: Springer
ISBN: 3540315594
Category : Computers
Languages : en
Pages : 485
Book Description
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave 100–150 participants, one third from industry and the others from universities and research institutions, and they always take place in the last week of June. SuccessiveeditionsoftheconferencearecoordinatedbytheSteeringCommittee, whose members are listed on the next page, which also supervises several other activities—see the Petri Nets World at the URLwww.daimi.au.dk/PetriNets. The 2005 conference was organized in Miami by the School of Computer Science at Florida International University (USA). We would like to express our deep thanks to the Organizing Committee, chaired by Xudong He, for the time and e?ort invested to the bene?t of the community in making the event successful. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets. Detailed information can be found at the conference URLwww.cs.fiu.edu/atpn2005. We received altogether 71 submissions from authors in 22 countries. Two submissions were not in the scope of the conference. The Program Comm- tee selected 23 contributions from the remaining 69 submissions, classi?ed into three categories: application papers (6 accepted, 25 submitted), theory papers (14 accepted, 40 submitted), and tool presentations (3 accepted, 4 submitted).
Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 3525
Book Description
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 3525
Book Description