close
1.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
2.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
3.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
6.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
7.

電子ブック

EB
Tamás Gergely, Oleg M. Anshakov, Tamás Gergely
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
What is Cognition? / 1.1:
Cognizing Agents / 1.2:
Cognitive Reasoning / 1.3:
Logic and Cognitive Reasoning / 1.4:
Requirements for a Formal Cognitive Reasoning Theory / 1.5:
Objectives / 1.6:
The Formal Approach to Be Developed / 1.7:
Overview / 1.8:
Conceptual Theory of Cognitive Reasoning / Part I:
Introductory Explanation / 2:
Basic System of Concepts / 3:
Facts and Knowledge / 3.1:
Truth Values: Informal Discussion / 3.2:
Reasoning / 3.3:
Constructing a Model of a Cognizing Agent / 4:
The Structure and Functioning of the Cognizing Agent / 4.1:
Cognitive Reasoning Framework / 5:
Theories of the CR Framework / 5.1:
Modelling Cognitive Reasoning in the CR Framework / 5.2:
Logic Foundation / Part II:
Propositional Logic / 6:
Notation / 7.1:
Classical Propositional Logic (Syntax and Semantics) / 7.2:
Classical Propositional Logic (Calculus) / 7.3:
Propositional PJ Logics (Syntax and Semantics) / 7.4:
PJ Logics (Calculus) / 7.5:
First-Order Logics / 8:
Terms and Notation / 8.1:
Classical First-Order Logic (Syntax and Semantics) / 8.2:
Classical First-Order Logic (Calculus) / 8.3:
First-Order PJ Logics (Syntax and Semantics) / 8.4:
First-Order PJ Logic (Calculus) / 8.5:
Formal CR Framework / Part III:
Modification Calculi / 9:
State Descriptions over Sets of Constants / 10.1:
Inference / 10.2:
Derivability in Modification Calculi and L1 / 11:
Cuts of Record Strings: the General Case / 11.1:
(m, s)-Cuts / 11.2:
Deductive Cuts and Their Applications / 11.3:
Deductive Correctness / 11.4:
Semantics / 12:
Sequences of L-Structures / 12.1:
Structure Generators / 12.2:
Iterative Representation of Structure Generators / 13:
Immersions and Snaps / 13.1:
Implementations and Extensions / 13.2:
Iterative Images / 13.3:
Modification Theories / 14:
Validity and Derivability / 14.1:
Conformability / 14.2:
Locality / 15.1:
Atomic Sorts / 15.2:
Handling Complex Structures / Part IV:
Set Sorts / 16:
Some Properties of the Set Sorts / 16.3:
Modification Rules and Modification Calculi for Set Sorts / 16.4:
Example / 16.5:
Set-Admitting Structures / 17:
Atoms / 17.1:
Set Axioms / 17.2:
Set Sorts in Modification Calculi / 18:
Positive and Negative Connection w.r.t. Set Sorts / 18.1:
Generating Rules for Modification Rule Systems with Set Sorts / 18.2:
Perfect Modification Calculi (PMC) / 19:
Coherent Inferences in Perfect Modification Calculi (General Properties) / 19.1:
Modification Rules Within Coherent Inferences (Positive Case) / 19.2:
Modification Rules Within Coherent Inferences (Negative Case) / 19.3:
Conformability (Set Case) / 19.4:
JSM Theories / Part V:
Simple JSM Theories / 20:
Basic JSM theories / 21.1:
Causal and Prediction Rules / 21.2:
Defining Axioms for the Simple JSM Theories / 21.4:
Simple JSM Theories with Exclusion of Counterexamples / 21.5:
Advanced JSM Theories / 22:
Generalised JSM Theories / 22.1:
Defining Axioms for the Generalised JSM Theories / 22.2:
Non-symmetric JSM Theories / 22.3:
Similarity Representation / 23:
Basic Concepts / 23.1:
Distinguishability Condition and Similarity Representation / 23.2:
JSM Theories for Complex Structures / 24:
JSM Theories with Set Sorts / 24.1:
Simple JSM Theories with Property Sets / 24.2:
Defining Axioms for the Simple JSM Theories with Property Sets / 24.3:
Looking Back and Ahead / Part VI:
Introductory Overview / 25:
Towards the Realisation / 26:
Object Model Description / 26.1:
Object Model Application / 26.2:
CR Framework / 27:
Conceptual CR Framework / 27.1:
Open Problems / 27.2:
Philosophical-Methodological Implications of the Proposed CR Framework / 29:
Epistemology / 29.1:
Ontology / 29.2:
Methodology / 29.3:
References
Glossary
Index
Introduction / 1:
What is Cognition? / 1.1:
Cognizing Agents / 1.2:
8.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Richard Ellis, Miltos Petridis
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
9.

電子ブック

EB
Daniel S. Yeung, Ian Cloete, Wing W. Y. Ng, Daming Shi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Neural Networks / 1:
Properties of Neural Networks / 1.1:
Neural Network Learning / 1.2:
Supervised Learning / 1.2.1:
Unsupervised Learning / 1.2.2:
Perceptron / 1.3:
Adaline and Least Mean Square Algorithm / 1.4:
Multilayer Perceptron and Backpropagation Algorithm / 1.5:
Output Layer Learning / 1.5.1:
Hidden Layer Learning / 1.5.2:
Radial Basis Function Networks / 1.6:
Support Vector Machines / 1.7:
Principles of Sensitivity Analysis / 2:
Perturbations in Neural Networks / 2.1:
Neural Network Sensitivity Analysis / 2.2:
Fundamental Methods of Sensitivity Analysis / 2.3:
Geometrical Approach / 2.3.1:
Statistical Approach / 2.3.2:
Summary / 2.4:
Hyper-Rectangle Model / 3:
Hyper-Rectangle Model for Input Space of MLP / 3.1:
Sensitivity Measure of MLP / 3.2:
Discussion / 3.3:
Sensitivity Analysis with Parameterized Activation Function / 4:
Parameterized Antisymmetric Squashing Function / 4.1:
Sensitivity Measure / 4.2:
Localized Generalization Error Model / 4.3:
Introduction / 5.1:
The Localized Generalization Error Model / 5.2:
The Q-Neighborhood and Q-Union / 5.2.1:
The Localized Generalization Error Bound / 5.2.2:
Stochastic Sensitivity Measure for RBFNN / 5.2.3:
Characteristics of the Error Bound / 5.2.4:
Comparing Two Classifiers Using the Error Bound / 5.2.5:
Architecture Selection Using the Error Bound / 5.3:
Critical Vector Learning for RBF Networks / 5.3.1:
Related Work / 6.1:
Construction of RBF Networks with Sensitivity Analysis / 6.2:
RBF Classifiers' Sensitivity to the Kernel Function Centers / 6.2.1:
Orthogonal Least Square Transform / 6.2.2:
Critical Vector Selection / 6.2.3:
Sensitivity Analysis of Prior Knowledge / 6.3:
KBANNs / 7.1:
Inductive Bias / 7.2:
Sensitivity Analysis and Measures / 7.3:
Output-Pattern Sensitivity / 7.3.1:
Output-Weight Sensitivity / 7.3.2:
Output-H Sensitivity / 7.3.3:
Euclidean Distance / 7.3.4:
Promoter Recognition / 7.4:
Data and Initial Domain Theory / 7.4.1:
Experimental Methodology / 7.4.2:
Discussion and Conclusion / 7.5:
Applications / 8:
Input Dimension Reduction / 8.1:
Sensitivity Matrix / 8.1.1:
Criteria for Pruning Inputs / 8.1.2:
Network Optimization / 8.2:
Selective Learning / 8.3:
Hardware Robustness / 8.4:
Measure of Nonlinearity / 8.5:
Parameter Tuning for Neocognitron / 8.6:
Receptive Field / 8.6.1:
Selectivity / 8.6.2:
Sensitivity Analysis of the Neocognitron / 8.6.3:
Bibliography
Introduction to Neural Networks / 1:
Properties of Neural Networks / 1.1:
Neural Network Learning / 1.2:
10.

電子ブック

EB
Stefano Nolfi, Marco Mirolli, Stefano Nolfi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Synthetic Approach to the Study of the Evolution of Communication and Language / Stefano Nolfi ; Marco Mirolli1:
Introduction
Scope and Objectives of the Book / 2:
Overview / 3:
Theoretical Aspects of Communication and Language / 3.1:
Evolution of Communication / 3.2:
Evolution of Language / 3.3:
Conclusion / 3.4:
Appendix: Software and Hardware Tools / 3.5:
Major Objectives / 4:
Acknowledgements / 5:
References
Artificial Organisms with Human Language / Domenico ParisiPart I:
Understanding the Behavior of Real Organisms by Constructing Artificial Organisms
Nine Properties of Human Language
Linguistic Signals are Arbitrarily Linked to Their Meanings
Language is Compositional
Language is Culturally Transmitted and Evolved
Language is Used to Talk to Oneself and Not Only to Others
Language is Used for Communicating About the External Environment
Language Uses Displaced Signals / 3.6:
Language is Intentional and Requires Recognizing the Intentions of Others / 3.7:
Language is the Product of a Complex Nervous System / 3.8:
Language Influences Human Cognition / 3.9:
Between Them or with Us?
Evolution of Language as One of the Major Evolutionary Transitions / Eörs Szathmáry
Notes on the Neurobiology of Language
Towards a Genetic Approach to Language
The Status of Recursion in Animals and Human
Genetic Assimilation in Language Evolution
Prerequisites for Language and the Concept of a Human-Specific Adaptive Suite / 6:
Selective Scenarios for the Origin of Language / 7:
What Made Language Origins Difficult? / 8:
A Possible Modeling Approach / 9:
Evolutionary Neurogenetic Algorithm (ENGA) / 10:
The Origin of a Language as a Proper Major Evolutionary Transition / 11:
Strategic Aspects of Communication / Edward Hagen ; Peter Hammerstein ; Nicole Hess
Defining the Strategy Concept
Strategy Generation
A Strategic Approach to Communication
Costly Signaling
Cooperative Signaling, Antagonistic Co-evolution, and Subversion
Signaling Between "Super-organisms"
Summary
Theoretical Tools in Modeling Communication and Language Dynamics / Vittorio Loreto
Concepts and Tools
Order and Disorder: The Ising Paradigm / 2.1:
Role of Topology / 2.2:
Dynamical Systems Approach / 2.3:
Agent-Based Modeling / 2.4:
Conclusions
Emergence of Scale-Free Syntax Networks / Bernat Corominas-Murtra ; Sergi Valverde ; Ricard V. Sole
Building Syntactic Networks
Evolving Syntax Networks
Global Organization
Small World Development
Scale-Free Topology
Modeling Syntactic Network Evolution
Simple SO Graph Growth Models / 4.1:
Network Growth Model and Analysis / 4.2:
Discussion
Evolving Communication in Embodied Agents: Theory, Methods, and Evaluation / Part II:
Theory
The General Framework: Embodied Cognition
Communication as a Complex Adaptive System
Method
Adaptive Methods for Designing Self-organizing Communication Systems
Research Methodology
Evaluation Criteria
Adaptive Role
Expressive Power and Organizational Complexity
Stability, Robustness, and Evolvability / 4.3:
Knowledge Gain (Modeling) / 4.4:
Summary and Conclusion
Evolutionary Conditions for the Emergence of Communication / Sara Mitri ; Dario Floreano ; Laurent Keller
Experimental Setup
The Task
Neural Controller
Artificial Evolution
Quantifying Behavior
Honest Communication
Deceptive Communication
Producer Biases and Kin Selection in the Evolution of Communication
Two Problems in the Evolution of Communication
The Biological Literature and the Manipulation Bias
The Phylogenetic Problem
The Adaptive Problem
Disentangling the Two Problems
Experimental Set-Up
The Environment and the Task
The Neural Network
Individual Life and the Fitness Formula
The Genetic Algorithm
Measuring Communication System Quality
Cognitive, Genetic, and Adaptive Factors in the Evolution of Communication
The Kin-Selection Simulation
Simulation / 5.1:
Results / 5.2:
The No-Cognitive-Pressure and No-Communication Simulations
Simulations / 6.1:
The Producer Bias Hypothesis / 6.2:
Adaptive Factors / 7.2:
Evolution of Signaling in a Multi-Robot System: Categorization and Communication / Christos Ampatzis ; Elio Tuci ; Vito Trianni ; Marco Dorigo
Methods
Description of the Task
The Simulation Model
The Controller and the Evolutionary Algorithm
The Fitness Function
A First Series of Post-evaluation Tests
Sound Signaling and Communication
On the Adaptive Significance of Signaling
Evolution of Implicit and Explicit Communication in Mobile Robots / Joachim de Greeff
The Environment and the Robots
The Neural Controller
The Evolutionary Algorithm
Symmetrical Strategy
Asymmetrical Strategy
Appendix
Sensors and Actuators
Update Functions of the Neurons
Criteria Used to Identify the Behavior Exhibited by the Robots Analyzed in Sect. 3.2 / 5.3:
Supplementary Data
Evolving Communication in Embodied Agents: Assessment and Open Challenges / 12:
Expressive Power and Organization Complexity
Open Questions for Future Research
Modeling The Formation of Language in Embodied Agents: Methods and Open Challenges / Luc SteelsPart III:
Introductions
Challenges
Mechanism Design of Language Games
Concept Formation
Lexicon Formation
Grammar Formation
Modeling the Formation of Language: Embodied Experiments / 14:
The Grounded Naming Game
Sensori-motor Aspects
Conceptual Aspects
Linguistic Aspects
Establishing Object Identity
Experimental Results / 2.5:
Spatial Language and Perspective Reversal
Conceptual and Linguistic Aspects
The Case Experiment
Mathematical Modeling of Language Games / Andrea Baronchelli ; Andrea Puglisi15:
The Naming Game
Symmetry Breaking: A Controlled Case
The Role of the Interaction Topology
Variants of the Naming Game
The Category Game
The Category Game Model
Hierarchical Coordination
Modeling the Formation of Language in Embodied Agents: Conclusions and Future Research / 16:
Embodiment
Language Games
Lexicon
Grammar
Mathematical Modeling
Embodied and Communicating Agents: Towards the Establishment of a Solid Theoretical and Methodological Framework / Part IV:
Evorobot* / Onofrio GigliottaPart V:
Evorobot* Features
Using Evorobot*
User Manual, Tutorials & Download Instructions
E-puck / Julien Hubert19:
The E-puck Robot
Communication Turrets
LED Light Turret
Omni-directional Camera Turret
Communication Experiments
Babel / Martin Loetzsch20:
Illustration
Outlook
A Synthetic Approach to the Study of the Evolution of Communication and Language / Stefano Nolfi ; Marco Mirolli1:
Introduction
Scope and Objectives of the Book / 2:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼