Refine Results
Sort By
From
To
Page 5
Page 5
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial intelligence techniques for computer graphics
This volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an introduction presenting the area of Intelligent Computer Graphics and various Computer Graphics areas where introduction of intelligent techniques permitted to resolve important problems.
Analysis and Design of Intelligent Systems Using Soft Computing Techniques
This book comprises a selection of papers from IFSA 2007 on new methods for analysis and design of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems for solving problems in pattern recognition, time series prediction, intelligent control, robotics and automation. Hybrid intelligent systems that combine several SC techniques are needed due to the complexity and high dimensionality of real-world problems. Hybrid intelligent systems can have different architectures, which have an impact on the efficiency and accuracy of these systems, for this reason it is very important to optimize architecture design. The architectures can combine, in different ways, neural networks, fuzzy logic and genetic algorithms, to achieve the ultimate goal of pattern recognition, time series prediction, intelligent control, or other application areas.
Analog Design Centering and Sizing
This book represents a compendium of fundamental problem formulations of analog design centering and sizing. It provides a differentiated knowledge about the tasks of analog design centering and sizing. In particular the worst-case problem will be formulated. It stands at the interface between process technology and design technology.Analog Design Centering and Sizing wants to point out that and how both process and design technology are required for its solution. The intention is to enable analog and mixed-signal designers to assess CAD solution methods that are presented to them. On the other side, the intention is to enable developers of analog CAD tools to formulate and develop solution approaches for analog design centering and sizing.The structure of Analog Design Centering and Sizing is geared towards a combination of a reference book and a textbook. The formulations of tasks and solution approaches by mathematical means makes the book suitable as well for students dealing with analog design and design methodology.
Analisi dei sistemi dinamici = Analysis of dynamic systems
This is if you propose to provide the letter with a detailed overview of the main modellistic methodology used for the rappresentation and analysis of the linear dynamic system in continuous time (with alcuni cenni ai non-linear system). The text is a thought status for the New Educational Ordinance that provides for a tri-annual Laurea and a biennial Specialist Laurea. The objective è quello di coprire i contenuti di: an introductory insertion all’Automatica per la Laurea, thinking of a corso di studi which envisages a corso di Analisi dei Sistemi cousin and a secondo corso di Controlli Automatici; an advanced insegnamento di Analisi dei Sistemi per la Laurea Specialistica.
An Introduction to Sequential Dynamical Systems
This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Robot Kinematics : Mechanisms and Motion
This book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufacturing, automation, surgery, locomotion and biomechanics.
Advances in Robot Kinematics : Analysis and Design
This book presents the most recent research advances in the theory, design, control and application of robot systems, which are intended for a variety of purposes such as manipulation, manufacturing, automation, surgery, locomotion and biomechanics.
Advances in Open Domain Question Answering
This book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can serve as a "how-to" handbook for IT practitioners and system developers.
Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya
This volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys by leading experts on topics that reflect many of the research and teaching interests of Varaiya, including: * hybrid systems and applications * communication, wireless, and sensor networks * transportation systems * stochastic systems * systems education
Advances in Automatic Differentiation
Covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization.
Advanced Topics in Control Systems Theory ; Vol. 328 : Lecture Notes from FAP 2005
"Advanced Topics in Control Systems Theory" contains selected contributions written by lecturers at the third (annual) Formation d’Automatique de Paris (FAP) (Graduate Control School in Paris). Following on from the lecture notes from the second FAP (Volume 311 in the same series) it is addressed to graduate students and researchers in control theory with topics touching on a variety of areas of interest to the control community such as nonlinear optimal control, observer design, stability analysis and structural properties of linear systems. The reader is provided with a well-integrated synthesis of the latest thinking in these subjects without the need for an exhaustive literature review. The internationally known contributors to this volume represent many of the most reputable control centers in Europe.
Advanced Topics in Control Systems Theory ; Vol. 311 : Lecture Notes from FAP 2004
Advanced Topics in Control Systems Theory contains selected contributions written by lecturers at the second (annual) Formation dAutomatique de Paris (FAP) (Graduate Control School in Paris). It is addressed to graduate students and researchers in control theory with topics touching on a variety of areas of interest to the control community such as cascaded systems, flatness, optimal control, and Hamiltonian and infinite-dimensional systems. The reader is provided with a well-integrated synthesis of the latest thinking in these subjects without the need for an exhaustive literature review.
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.
Adaptronics and Smart Structures : Basics, Materials, Design, and Applications
Adaptronic structures and systems can adapt automatically to variable operating and environmental conditions through the use of feedback control. But in contrast to conventional control loops, in which each function is fulfilled by a separate component, adaptronics is characterized by multifunctional components that are preferably integrated into the structure or the system. The goal is a lightweight and simple construction for conserving material and energy resources. The authors of this book have taken on the task of displaying the current state of the art in this highly modern and strongly interdisciplinary field. Selected application examples are also presented and current development trends demonstrated.
Active Sensor Planning for Multiview Vision Tasks
The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing a perception task. Several methods are proposed to solve the problems in both model-based and nonmodel-based vision tasks. For model-based applications, the method involves determination of the optimal sensor placements and a shortest path through these viewpoints for automatic generation of a perception plan.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
