الصفحة 83
الصفحة 83
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated reasoning with analytic tableaux and related methods ; International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
Automated Reasoning with Analytic Tableaux and Related Methods ; 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
Automated multi-camera surveillance : Algorithms and practice
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor environments, while identifying the important issues that a system needs to cope with in realistic surveillance scenarios. The goal of the research presented in this book is to build systems that can deal effectively with these realistic surveillance needs.
Automated machine learning : Methods, systems, challenges
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automata, languages and programming ; Vol. 4052 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein 1972.Thisyear,. ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon , A companion volume contains all contributed papers presented inTrack Band TrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada). The programhad an additional invited lecture by Simon Peyton Jones (Microsoft Research, UK), which does not appear in the proceedings.
Automata, languages and programming ; Vol. 4051 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 .Thisyear, ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon (Tel Aviv University, Israel). A companion volume contains all contributed paper spresentedinTrackBandTrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada).
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, Languages and Programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, languages and programming ; 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
This volume presented three major tracks covering algorithms, automata, complexity, and games
AutoCAD 2006 VBA : A programmer's reference
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. Whether you want to automate routine tasks, or create sophisticated applications or design that can be generated programmatically, this book will empower you to make AutoCAD work for you. This book is also suitable if you're a power user who wants to make use of the advanced features of AutoCAD 2006 VBA, and you need a fast reference for the full AutoCAD object model. You'll learn to run Autodesk design tasks in the embedded VBA environment. This book is loaded with source code examples, and gives you no matter your skill level the necessary tools to accomplish your AutoCAD 2006 automation tasks.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Augmented reality, virtual reality, and computer graphics ; 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Augmented reality, virtual reality, and computer graphics ; 7th International conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Augmented Humanity : Being and Remaining Agentic in a Digitalized World
This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of intelligent agency. It addresses important topics across a range of social and behavioral theories and identifies a range of novel mechanisms and their social behavioral effects. Across the book, the author highlights the expansion of intelligent processing capability brought about by digitalization and the challenges this exposes for integrating artificial and human capabilities
Attitudes, beliefs, motivation and identity in mathematics education : An overview of the field and future directions
Records the state of the art in research on mathematics-related affect. It discusses the concepts and theories of mathematics-related affect along the lines of three dimensions. The first dimension identifies three broad categories of affect: motivation, emotions, and beliefs. The book contains one chapter on motivation, including discussions on how emotions and beliefs relate to motivation. There are two chapters that focus on beliefs and a chapter on attitude which cross-cuts through all these categories. The second dimension covers a rapidly fluctuating state to a more stable trait. All chapters in the book focus on trait-type affect and the chapter on motivation discusses both these dimensions. The third dimension regards the three main levels of theorizing: physiological (embodied), psychological (individual) and social. All chapters reflect that mathematics-related affect has mainly been studied using psychological
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
