Listing 1 - 10 of 60 | << page >> |
Sort by
|
Choose an application
This thesis by Mike Gerdes explores predictive health monitoring systems for aircraft using decision trees. It addresses the significant costs associated with unscheduled aircraft maintenance and proposes methods to forecast potential failures, enhancing efficiency for operators. The work integrates system monitoring, time series forecasting, and a combined approach to create a comprehensive monitoring process. Decision trees, optimized through genetic algorithms, are used to improve predictive accuracy and allow for human adjustments. The research is aimed at reducing maintenance-related delays and costs, primarily targeting aviation industry professionals and researchers in predictive maintenance technologies.
Predictive analytics. --- Decision trees. --- Predictive analytics --- Decision trees
Choose an application
Behavior Trees (BTs) provide a way to structure the behavior of an artificial agent such as a robot or a non-player character in a computer game. Traditional design methods, such as finite state machines, are known to produce brittle behaviors when complexity increases, making it very hard to add features without breaking existing functionality.? BTs were created to address this very problem, and enables the creation of systems that are both modular and reactive. Behavior Trees in Robotics and AI: An Introduction provides a broad introduction as well as an in-depth exploration of the topic, and is the first comprehensive book on the use of BTs.This book introduces the subject of BTs from simple topics, such as semantics and design principles, to complex topics, such as learning and task planning. For each topic, the authors provide a set of examples, ranging from simple illustrations to realistic complex behaviors, to enable the reader to successfully combine theory with practice.Starting with an introduction to BTs, the book then describes how BTs relate to, and in many cases, generalize earlier switching structures, or control architectures. These ideas are then used as a foundation for a set of efficient and easy to use design principles. The book then presents a set of important extensions and provides a set of tools for formally analyzing these extensions using a state space formulation of BTs. With the new analysis tools, the book then formalizes the descriptions of how BTs generalize earlier approaches and shows how BTs can be automatically generated using planning and learning. The final part of the book provides an extended set of tools to capture the behavior of Stochastic BTs, where the outcomes of actions are described by probabilities. These tools enable the computation of both success probabilities and time to completion.This book targets a broad audience, including both students and professionals interested in modeling complex behaviors for robots, game characters, or other AI agents. Readers can choose at which depth and pace they want to learn the subject, depending on their needs and background.
Robots --- Decision trees. --- Control systems.
Choose an application
Decision Trees. --- Strabismus --- Strabismus. --- Diagnosis. --- Therapy.
Choose an application
Geodesy. --- Decision trees. --- Astronomy --- Earth (Planet)
Choose an application
Machine learning. --- Automatic classification. --- Decision trees.
Choose an application
Anesthesia --- Algorithms --- Decision Trees. --- Perioperative Care --- Decision making --- methods. --- Decision Trees --- methods --- Algorithms. --- Decision making.
Choose an application
Anesthesia --- Decision Trees. --- Perioperative Care --- Decision Tree --- Tree, Decision --- Trees, Decision --- methods. --- Decision making. --- Methods. --- Decision Trees --- Anaesthesia --- Anesthesiology --- Analgesia --- Decision making --- methods
Choose an application
Algorithms. --- Anesthesia --- Decision Trees. --- Perioperative Care --- Decision making. --- methods. --- Algorithms --- Decision Tree --- Tree, Decision --- Trees, Decision --- Algorism --- Algebra --- Arithmetic --- Anaesthesia --- Anesthesiology --- Analgesia --- Decision making --- Foundations --- Decision Trees --- methods
Choose an application
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
Electronic circuits --- Decision trees --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Testing --- Trees (Graph theory)
Choose an application
Business intelligence --- Data mining --- Decision trees --- Forecasting --- Regression analysis. --- Computer programs. --- SAS (Computer file).
Listing 1 - 10 of 60 | << page >> |
Sort by
|