Eye Tracking Methodology: Theory and Practice, Duchowski Andrew T.
Ñòàðîå èçäàíèå
Àâòîð: Rick Riolo; Terence Soule; Bill Worzel Íàçâàíèå: Genetic Programming Theory and Practice V ISBN: 0387763074 ISBN-13(EAN): 9780387763071 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 14629 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Genetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan`s Center for the Study of Complex Systems. This volume is a unique and indispensable tool for academics, researchers and industry professionals involved in GP, evolutionary computation, machine learning and artificial intelligence.
Àâòîð: Schwefel Hans-Paul, Wegener Ingo, Weinert Klaus Íàçâàíèå: Advances in Computational Intelligence / Theory and Practice ISBN: 3540432698 ISBN-13(EAN): 9783540432692 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 15151 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: In this book, comprising recent research of leading researchers, a broad variety of problems is introduced, motivated, and then new results on these problems are presented. This handbook-like volume is for readers with theoretical as well as practical background knowledge about Computational Intelligence.
Îïèñàíèå: This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industrial applications. The collection of chapters is based on works presented at the Australasian Data Mining conferences and industrial forums. Authors include some of Australia's leading researchers and practitioners in data mining. The volume also contains chapters by regional and international authors. The original papers were initially reviewed for the workshops, conferences and forums.The 25 articles in this state-of-the-art survey were carefully reviewed and selected from numerous contributions during at least two rounds of reviewing and improvement for inclusion in the book. They provide an interesting and broad update on current research and development in data mining. The book is divided into two parts. It starts with state-of-the-art research papers organized in topical sections on methodological advances, data linkage, text mining, and temporal and sequence mining. The second part comprises papers on state-of-the-art industrial applications from the fields of health, finance and retail.
Îïèñàíèå: Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics. Techniques used by intruders to make inferences compromising privacy increasingly draw on data mining, record linkage, knowledge discovery, and data analysis and thus statistical inference control becomes an integral part of computer science.This coherent state-of-the-art survey presents some of the most recent work in the field. The papers presented together with an introduction are organized in topical sections on tabular data protection, microdata protection, and software and user case studies.
Îïèñàíèå: This book constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in April 2002.The 19 revised full papers presented together with three tool demonstration papers and an invited paper were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on analysis and optimization, low-level analysis, grammars and parsing, domain-specific languages and tools, energy consumption optimizations, and loop and array optimizations.
Îïèñàíèå: This book constitutes the thoroughly refereed post-proceedings of the Second Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, held in Cracow, Poland, in September 2001.The 33 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and improvement. The papers address:- organizational and social aspects of MAS;- communication languages, protocols, and negotiation;- applications of MAS in various fields;- agent and multi-agent development tools;- theoretical foundations of DAI;- learning in MAS.
Îïèñàíèå: This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, PATAT 2000, held in Konstanz, Germany, in August 2000.The 22 revised full papers were carefully selected after two rounds of reviewing and revision. Besides foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, searching, etc., a variety of application fields are addressed including course and school timetabling, examination timetabling, employee timetabling, and fleet scheduling.
Àâòîð: Reusch Bernd, Temme Karl-Heinz Íàçâàíèå: Computational Intelligence in Theory and Practice ISBN: 3790813575 ISBN-13(EAN): 9783790813579 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 12539 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Computational Intelligence with its roots in Fuzzy Logic, Neural Networks and Evolutionary Algorithms has become an important research and application field in computer science in the last decade. Methodologies from these areas and combinations of them enable users from engineering, business, medicine and many more branches to capture and process vague, incomplete, uncertain and imprecise data and knowledge. Many algorithms and tools have been developed to solve problems in the realms of high and low level control, information processing, diagnostics, decision support, classification, optimisation and many more. This book tries to show the impact and feedback between theory and applications of Computational Intelligence, highlighted on selected examples.
Àâòîð: Newborn Monty Íàçâàíèå: Automated Theorem Proving / Theory and Practice ISBN: 0387950753 ISBN-13(EAN): 9780387950754 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 19331 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: A brief introduction to COMPILE, HERBY and THEO.- Predicate calculus, well-formed formulas and theorems.- COMPILE: transforming well-formed formulas to clauses.- Inference procedures.- Proving theorems by constructing closed semantic trees.- Resolution-refutation proofs.- HERBY: A semantic tree theorem prover.- Using HERBY.- THEO: A resolution-refutation theorem prover.- Using THEO.- A look at HERBY's source code.- A look at THEO's source code.- Other theorem provers.- References.
Îïèñàíèå: The two-volume set LNCS 6769 + LNCS 6770 constitutes the proceedings of the First International Conference on Design, User Experience, and Usability, DUXU 2011, held in Orlando, FL, USA in July 2011 in the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, incorporating 12 thematically similar conferences. A total of 4039 contributions was submitted to HCII 2011, of which 1318 papers were accepted for publication. The total of 154 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on DUXU theory, methods and tools; DUXU guidelines and standards; novel DUXU: devices and their user interfaces; DUXU in industry; DUXU in the mobile and vehicle context; DXU in Web environment; DUXU and ubiquitous interaction/appearance; DUXU in the development and usage lifecycle; DUXU evaluation; and DUXU beyond usability: culture, branding, and emotions.
Àâòîð: Rick Riolo; Terence Soule; Bill Worzel (Eds.) Íàçâàíèå: Genetic Programming Theory and Practice VI ISBN: 0387876227 ISBN-13(EAN): 9780387876221 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 14629 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Explores the synergy between theory and practice, producing a comprehensive view of the research in GP application. This work addresses several interdependent themes, including: sustaining the long-term evolvability of our GP systems; exploiting discovered subsolutions for reuse; and, increasing the role of a Domain Expert.
Àâòîð: Chryssolouris Íàçâàíèå: Manufacturing Systems: Theory and Practice ISBN: 0387256830 ISBN-13(EAN): 9780387256832 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 10742 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Manufacturing Systems: Theory and Practice, Second Edition, provides an overview of manufacturing systems from the ground up. It is intended for students at the undergraduate or graduate level who are interested in manufacturing, industry practicing engineers who want an overview of the issues and tools used to address problems in manufacturing systems, and managers with a technical background who want to become more familiar with manufacturing issues. The book has six chapters that have been arranged according to the sequence used when creating and operating a manufacturing system. Thus, the subjects emphasised are: the decision framework for manufacturing, the manufacturing processes, the manufacturing equipment and machine tools, the design for manufacturing and the operation of manufacturing systems. The book attempts a compromise between theory and practice in all addressed manufacturing systems issues, covering a long spectrum of issues from traditional manufacturing processes to innovative technologies such as Virtual Reality, Nanotechnology and Rapid Prototyping.