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
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:
3.

電子ブック

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…
4.

電子ブック

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:
5.

電子ブック

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:
6.

電子ブック

EB
Hideyuki Nakashima, Hamid K. Aghajan, Juan Carlos Augusto, Hideyuki Nakashima
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
7.

電子ブック

EB
Ernst Kussul, Tatiana Baidyk, Donald C. Wunsch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
8.

電子ブック

EB
Vladimir G. Ivancevic, Tijana T. Ivancevic
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2010
所蔵情報: loading…
9.

電子ブック

EB
Dov M. Gabbay, Karl Schlechta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction and Motivation / 1:
Programme / 1.1:
Short Overview of the Different Logics / 1.2:
Nonmonotonic Logics / 1.2.1:
Theory Revision / 1.2.2:
Theory Update / 1.2.3:
Deontic Logic / 1.2.4:
Counterfactual Conditionals / 1.2.5:
Modal Logic / 1.2.6:
Intuitionistic Logic / 1.2.7:
Inheritance Systems / 1.2.8:
A Summarizing Table for the Semantics / 1.2.9:
A Discussion of Concepts / 1.3:
Basic Semantic Entities, Truth Values, and Operators / 1.3.1:
Algebraic and Structural Semantics / 1.3.2:
Restricted Operators and Relations / 1.3.3:
Copies in Preferential Models / 1.3.4:
Further Remarks on Universality of Representation Proofs / 1.3.5:
$$$ in the Object Language? / 1.3.6:
Various Considerations on Abstract Semantics / 1.3.7:
A Comparison with Reiter Defaults / 1.3.8:
IBRS / 1.4:
Definition and Comments / 1.4.1:
The Power of IBRS / 1.4.2:
Abstract Semantics for IBRS and Its Engineering Realization / 1.4.3:
Basic Definitions and Results / 2:
Algebraic Definitions / 2.1:
Basic Logical Definitions / 2.2:
Basic Definitions and Results for Nonmonotonic Logics / 2.3:
Abstract Semantics by Size / 3:
The First-Order Setting / 3.1:
General Size Semantics / 3.2:
Introduction / 3.2.1:
Main Table / 3.2.2:
Coherent Systems / 3.2.3:
Size and Principal Filter Logic / 3.2.4:
Preferential Structures - Part I / 4:
Remarks on Nonmonotonic Logics and Preferential Semantics / 4.1:
Basic Definitions / 4.1.2:
Preferential Structures Without Domain Conditions / 4.2:
General Discussion / 4.2.1:
Detailed Discussion / 4.2.2:
Preferential Structures - Part II / 5:
Simplifications by Domain Conditions, Logical Properties / 5.1:
Smooth Structures / 5.1.1:
Ranked Structures / 5.1.3:
The Logical Properties with Definability Preservation / 5.1.4:
A-Ranked Structures / 5.2:
Representation Results for A-Ranked Structures / 5.2.1:
Two-Sequent Calculi / 5.3:
Plausibility Logic / 5.3.1:
A Comment on the Work by Arieli and Avron / 5.3.3:
Blurred Observation - Absence of Definability Preservation / 5.4:
General and Smooth Structures Without Definability Preservation / 5.4.1:
The Limit Variant / 5.4.3:
The Algebraic Limit / 5.5.1:
The Logical Limit / 5.5.3:
Higher Preferential Structures / 6:
The General Case / 6.1:
Discussion of the Totally Smooth Case / 6.3:
The Essentially Smooth Case / 6.4:
Translation to Logic / 6.5:
Deontic Logic and Hierarchical Conditionals / 7:
Semantics of Deontic Logic / 7.1:
Introductory Remarks / 7.1.1:
Philosophical Discussion of Obligations / 7.1.2:
Examination of the Various Cases / 7.1.4:
What Is An Obligation? / 7.1.5:
Conclusion / 7.1.6:
A Comment on Work by Aqvist / 7.2:
There Are (At Least) Two Solutions / 7.2.1:
Outline / 7.2.3:
Gm $$$ A Implies G $$$ A (Outline) / 7.2.4:
Hierarchical Conditionals / 7.3:
Formal Modelling and Summary of Results / 7.3.1:
Overview / 7.3.3:
Connections with Other Concepts / 7.3.4:
Formal Results and Representation for Hierarchical Conditionals / 7.3.5:
Theory Update and Theory Revision / 8:
Update / 8.1:
Hidden Dimensions / 8.1.1:
Introduction to Theory Revision / 8.2:
Booth Revision / 8.2.2:
Revision and Independence / 8.2.3:
Preferential Modelling of Defaults / 8.2.4:
Remarks on Independence / 8.2.5:
An Analysis of Defeasible Inheritance Systems / 9:
Terminology / 9.1:
Inheritance and Reactive Diagrams / 9.1.2:
Conceptual Analysis / 9.1.3:
Introduction to Nonmonotonic Inheritance / 9.2:
Basic Discussion / 9.2.1:
Directly Sceptical Split Validity Upward Chaining Off-Path Inheritance / 9.2.2:
Review of Other Approaches and Problems / 9.2.3:
Defeasible Inheritance and Reactive Diagrams / 9.3:
Summary of Our Algorithm / 9.3.1:
Compilation and Memorization / 9.3.2:
Executing the Algorithm / 9.3.4:
Signposts / 9.3.5:
Beyond Inheritance / 9.3.6:
Interpretations / 9.4:
Informal Comparison of Inheritance with the Systems P and R / 9.4.1:
Inheritance as Information Transfer / 9.4.3:
Inheritance as Reasoning with Prototypes / 9.4.4:
Detailed Translation of Inheritance to Modified Systems of Small Sets / 9.5:
Normality / 9.5.1:
Small Sets / 9.5.2:
Bibliography
Index
Introduction and Motivation / 1:
Programme / 1.1:
Short Overview of the Different Logics / 1.2:
10.

電子ブック

EB
Matthew W.; Siekmann, Jörg Crocker, Matthew W. Crocker, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Resource-Adaptive Cognitive Processes / Jörg Siekmann ; Matthew W. Crocker
Resource-Bounded Cognitive Processes in Human Information Processing / Part I:
Visuo-spatial Working Memory as a Limited Resource of Cognitive Processing / Hubert D. Zimmer ; Stefan Münzer ; Katja Umla-Runge
From Resource-Adaptive Navigation Assistance to Augmented Cognition / Jörg Baus
Error-Induced Learning as a Resource-Adaptive Process in Young and Elderly Individuals / Nicola K. Ferdinand ; Anja Weiten ; Axel Mecklinger ; Jutta Kray
An ERP-Approach to Study Age Differences in Cognitive Control Processes / Ben Eppinger
Simulating Statistical Power in Latent Growth Curve Modeling: A Strategy for Evaluating Age-Based Changes in Cognitive Resources / Timo von Oertzen ; Paolo Ghisletta ; Ulman Lindenberger
Conflicting Constraints in Resource-Adaptive Language Comprehension / Andrea Weber ; Pia Knoeferle
The Evolution of a Connectionist Model of Situated Human Language Understanding / Marshall R. Mayberry
Resource-Adaptive Processes in Human-Machine Interaction / Part II:
Assessment of a User's Time Pressure and Cognitive Load on the Basis of Features of Speech / Anthony Jameson ; Juergen Kiefer ; Christian Müller ; Barbara Gro?mann-Hutter ; Frank Wittig ; Ralf Rummer
The Shopping Experience of Tomorrow: Human-Centered and Resource-Adaptive / Wolfgang Wahlster ; Michael Feld ; Patrick Gebhard ; Dominikus Heckmann ; Ralf Jung ; Michael Kruppa ; Michael Schmitz ; Lübomira Spassova ; Rainer Wasinger
Seamless Resource-Adaptive Navigation / Tim Schwartz ; Christoph Stahl
Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling / Magdalena Wolska ; Mark Buckley ; Helmut Horacek ; Ivana Kruijff-Korbayová ; Manfred Pinkal
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs / Christoph Benzmüller ; Marvin Schiller
Resource-Adaptive Rationality in Machines / Part III:
Comparison of Machine Learning Techniques for Bayesian Networks for User-Adaptive Systems
Scope Underspecification with Tree Descriptions: Theory and Practice / Alexander Koller ; Stefan Thaler
Dependency Grammar: Classification and Exploration / Ralph Debusmann ; Marco Kuhlmann
?Mega: Resource-Adaptive Processes in an Automated Reasoning System / Serge Autexier ; Dominik Dietrich
Resource-Adaptive Cognitive Processes / Jörg Siekmann ; Matthew W. Crocker
Resource-Bounded Cognitive Processes in Human Information Processing / Part I:
Visuo-spatial Working Memory as a Limited Resource of Cognitive Processing / Hubert D. Zimmer ; Stefan Münzer ; Katja Umla-Runge
11.

電子ブック

EB
Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Motivation / 1.1:
Data and Knowledge / 1.1.1:
Tycho Brahe and Johannes Kepler / 1.1.2:
Intelligent Data Analysis / 1.1.3:
The Data Analysis Process / 1.2:
Methods, Tasks, and Tools / 1.3:
How to Read This Book / 1.4:
References
Practical Data Analysis: An Example / 2:
The Setup / 2.1:
Data Understanding and Pattern Finding / 2.2:
Explanation Finding / 2.3:
Predicting the Future / 2.4:
Concluding Remarks / 2.5:
Project Understanding / 3:
Determine the Project Objective / 3.1:
Assess the Situation / 3.2:
Determine Analysis Goals / 3.3:
Further Reading / 3.4:
Data Understanding / 4:
Attribute Understanding / 4.1:
Data Quality / 4.2:
Data Visualization / 4.3:
Methods for One and Two Attributes / 4.3.1:
Methods for Higher-Dimensional Data / 4.3.2:
Correlation Analysis / 4.4:
Outlier Detection / 4.5:
Outlier Detection for Single Attributes / 4.5.1:
Outlier Detection for Multidimensional Data / 4.5.2:
Missing Values / 4.6:
A Checklist for Data Understanding / 4.7:
Data Understanding in Practice / 4.8:
Data Understanding in KNIME / 4.8.1:
Data Understanding in R / 4.8.2:
Principles of Modeling / 5:
Model Classes / 5.1:
Fitting Criteria and Score Functions / 5.2:
Error Functions for Classification Problems / 5.2.1:
Measures of Interestingness / 5.2.2:
Algorithms for Model Fitting / 5.3:
Closed Form Solutions / 5.3.1:
Gradient Method / 5.3.2:
Combinatorial Optimization / 5.3.3:
Random Search, Greedy Strategies, and Other Heuristics / 5.3.4:
Types of Errors / 5.4:
Experimental Error / 5.4.1:
Sample Error / 5.4.2:
Model Error / 5.4.3:
Algorithmic Error / 5.4.4:
Machine Learning Bias and Variance / 5.4.5:
Learning Without Bias? / 5.4.6:
Model Validation / 5.5:
Training and Test Data / 5.5.1:
Cross-Validation / 5.5.2:
Bootstrapping / 5.5.3:
Measures for Model Complexity / 5.5.4:
Model Errors and Validation in Practice / 5.6:
Errors and Validation in KNIME / 5.6.1:
Validation in R / 5.6.2:
Data Preparation / 5.7:
Select Data / 6.1:
Feature Selection / 6.1.1:
Dimensionality Reduction / 6.1.2:
Record Selection / 6.1.3:
Clean Data / 6.2:
Improve Data Quality / 6.2.1:
Construct Data / 6.2.2:
Provide Operability / 6.3.1:
Assure Impartially / 6.3.2:
Maximize Efficiency / 6.3.3:
Complex Data Types / 6.4:
Data Integration / 6.5:
Vertical Data Integration / 6.5.1:
Horizontal Data Integration / 6.5.2:
Data Preparation in Practice / 6.6:
Data Preparation in KNIME / 6.6.1:
Data Preparation in R / 6.6.2:
Finding Patterns / 7:
Hierarchical Clustering / 7.1:
Overview / 7.1.1:
Construction / 7.1.2:
Variations and Issues / 7.1.3:
Notion of (Dis-)Similarity / 7.2:
Prototype-and Model-Based Clustering / 7.3:
Density-Based Clustering / 7.3.1:
Self-organizing Maps / 7.4.1:
Frequent Pattern Mining and Association Rules / 7.5.1:
Deviation Analysis / 7.6.1:
Finding Patterns in Practice / 7.7.1:
Finding Patterns with KNIME / 7.8.1:
Finding Patterns in R / 7.8.2:
Finding Explanations / 7.9:
Decision Trees / 8.1:
Bayes Classifiers / 8.1.1:
Regression / 8.2.1:
Two Class Problems / 8.3.1:
Rule learning / 8.4:
Prepositional Rules / 8.4.1:
Inductive Logic Programming or First-Order Rules / 8.4.2:
Finding Explanations in Practice / 8.5:
Finding Explanations with KNIME / 8.5.1:
Using Explanations with R / 8.5.2:
Finding Predictors / 8.6:
Nearest-Neighbor Predictors / 9.1:
Artifical Neural Networks / 9.1.1:
Support Vector Machines / 9.2.1:
Ensemble Methods / 9.3.1:
Finding Predictors in Practice / 9.4.1:
Finding Predictors with KNIME / 9.5.1:
Using Predictors in R / 9.5.2:
Evaluation and Deployment / 10:
Evaluation / 10.1:
Deployment and Monitoring / 10.2:
Statistics / A:
Terms and Notation / A.1:
Descriptive Statistics / A.2:
Tabular Representations / A.2.1:
Graphical Representations / A.2.2:
Characteristic Measures for One-Dimensional Data / A.2.3:
Characteristic Measures for Multidimensional Data / A.2.4:
Principal Component Analysis / A.2.5:
Probability Theory / A.3:
Probability / A.3.1:
Basic Methods and Theorems / A.3.2:
Random Variables / A.3.3:
Characteristic Measures of Random Variables / A.3.4:
Some Special Distributions / A.3.5:
Inferential Statistics / A.4:
Random Samples / A.4.1:
Parameter Estimation / A.4.2:
Hypothesis Testing / A.4.3:
The R Project / B:
Installation and Overview / B.1:
Reading Files and R Objects / B.2:
R Functions and Commands / B.3:
Libraries/Packages / B.4:
R Workspace / B.5:
Finding Help / B.6:
Knime / B.7:
Building Workflows / C.1:
Example Flow / C.3:
R Integration / C.4:
Index / Appendix A:
Introduction / 1:
Motivation / 1.1:
Data and Knowledge / 1.1.1:
12.

電子ブック

EB
Danny Weyns
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
Middleware / 1.1.2:
Agent-Oriented Methodologies / 1.2:
Case Study / 1.3:
Overview of the Book / 1.4:
Overview of Architecture-Based Design of Multi-Agent Systems / 2:
General Overview of the Approach / 2.1:
Architectural Design in the Development Life Cycle / 2.1.1:
Steps of Architecture-Based Design of Multi-Agent Systems / 2.1.2:
Functional and Quality Attribute Requirements / 2.2:
Architectural Design / 2.3:
Architectural Patterns / 2.3.1:
ADD Process / 2.3.2:
Middleware Support for Multi-Agent Systems / 2.4:
Documenting Software Architecture / 2.5:
Architectural Views / 2.5.1:
Architectural Description Languages / 2.5.2:
Evaluating Software Architecture / 2.6:
From Software Architecture to Downstream Design and Implementation / 2.7:
Summary / 2.8:
Capturing Expertise in Multi-Agent System Engineering with Architectural Patterns / 3:
Situated Multi-Agent Systems / 3.1:
Single-Agent Systems / 3.1.1:
Multi-Agent Systems / 3.1.2:
Target Domain of the Pattern Language for Situated Multi-Agent Systems / 3.2:
Overview of the Pattern Language / 3.3:
Pattern Template / 3.4:
Virtual Environment / 3.5:
Primary Presentation / 3.5.1:
Architectural Elements / 3.5.2:
Interface Descriptions / 3.5.3:
Design Rationale / 3.5.4:
Situated Agent / 3.6:
Selective Perception / 3.6.1:
Roles and Situated Commitments / 3.7.1:
Free-Flow Trees Extended with Roles and Situated Commitments / 3.8.1:
Protocol-Based Communication / 3.9:
Architectural Design of Multi-Agent Systems / 3.9.1:
Designing and Documenting Multi-Agent System Architectures / 4.1:
Designing and Documenting Architecture in the Development Life Cycle / 4.1.1:
Inputs and Outputs of ADD / 4.1.2:
Overview of the ADD Activities / 4.1.3:
The Domain of Automated Transportation Systems / 4.2:
Business Case / 4.2.2:
System Requirements / 4.2.3:
General Overview of the Design / 4.3:
Challenges at the Outset / 4.3.1:
The System and Its Environment / 4.3.2:
Design Process / 4.3.3:
High-Level Design / 4.3.4:
Architecture Documentation / 4.4:
Introduction to the Architecture Documentation / 4.4.1:
Deployment View / 4.4.2:
Module Uses View / 4.4.3:
Collaborating Components View / 4.4.4:
Middleware for Distributed Multi-Agent Systems / 4.5:
Middleware Support for Distributed, Decentralized Coordination / 5.1:
Middleware in Distributed Software Systems / 5.1.1:
Middleware in Multi-Agent Systems / 5.1.2:
Scope of the Middleware and Requirements / 5.2:
Objectplaces / 5.2.2:
Views / 5.2.3:
Coordination Roles / 5.2.4:
Middleware Architecture / 5.3:
High-Level Module Decomposition / 5.3.1:
Group Formation / 5.3.2:
View Management / 5.3.3:
Role Activation / 5.3.4:
Collision Avoidance in the AGV Transportation System / 5.4:
Collision Avoidance / 5.4.1:
Collision Avoidance Protocol / 5.4.2:
Software Architecture: Communicating Processes for Collision Avoidance / 5.4.3:
Task Assignment / 5.5:
Schedule-Based Task Assignment / 6.1:
FiTA: Field-Based Task Assignment / 6.2:
Coordination Fields / 6.2.1:
Adaptive Task Assignment / 6.2.2:
Dealing With Local Minima / 6.2.3:
DynCNET Protocol / 6.3:
Monitoring the Area of Interest / 6.3.1:
Convergence / 6.3.3:
Synchronization Issues / 6.3.4:
Evaluation / 6.4:
Test Setting / 6.4.1:
Test Results / 6.4.2:
Tradeoff Analysis / 6.4.3:
Evaluation of Multi-Agent System Architectures / 6.5:
Evaluating Multi-Agent System Architectures with ATAM / 7.1:
Architecture Evaluation in the Development Life Cycle / 7.1.1:
Objectives of a Multi-Agent System Architecture Evaluation / 7.1.2:
Overview of the ATAM Activities / 7.1.3:
AGV Transportation System for a Tea Processing Warehouse / 7.2:
Evaluation Process / 7.2.2:
Quality Attribute Workshop / 7.2.3:
Analysis of Architectural Approaches / 7.2.4:
Reflection on ATAM for Evaluating a Multi-Agent System Architecture / 7.3:
ATAM Follow-Up and Demonstrator / 7.4:
Related Approaches / 7.5:
Architectural Approaches and Multi-Agent Systems / 8.1:
Architectural Styles / 8.1.1:
Reference Models and Architectures for Multi-Agent Systems / 8.1.2:
Middleware for Mobile Systems / 8.2:
Work Related to Views / 8.2.1:
Work Related to Coordination Roles / 8.2.2:
Scheduling and Routing of AGV Transportation Systems / 8.3:
AI and Robotics Approaches / 8.3.1:
Multi-Agent System Approaches / 8.3.2:
Conclusions / 9:
Reflection on Architecture-Based Design of Multi-Agent Systems / 9.1:
It Works! / 9.1.1:
Reflection on the Project with Egemin / 9.1.2:
Lessons Learned and Challenges / 9.2:
Dealing with Quality Attributes / 9.2.1:
Designing a Multi-Agent System Architecture / 9.2.2:
Integrating a Multi-Agent System with Its Software Environment / 9.2.3:
Impact of Adopting a Multi-Agent System / 9.2.4:
?-ADL Specification of the Architectural Patterns / A:
Language Constructs / A.1:
Virtual Environment Pattern / A.2:
Situated Agent Pattern / A.3:
Synchronization in the DynCNET Protocol / B:
Synchronization of Abort and Bound Messages / B.1:
Synchronization of Scope Dynamics / B.2:
Overview / C:
Invariant / C.2:
Maintaining the Invariant / C.3:
Glossary
References
Index
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
13.

電子ブック

EB
Honghai Liu, Dongbing Gu, Honghai Liu
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
A New Framework for View-Invariant Human Action Recognition / Xiaofei Ji ; Honghai Liu ; Yibo Li4:
Using Fuzzy Gaussian Inference and Genetic Programming to Classify 3D Human Motions / Mehdi Khoury5:
Obstacle Detection Using Cross-Ratio and Disparity Velocity / Huiyu Zhou ; Andrew M. Wallace ; Patrick R. Green6:
Learning and Vision-Based Obstacle Avoidance and Navigation / Jiandong Tian ; Yandong Tang7:
A Fraction Distortion Model for Accurate Camera Calibration and Correction / Yonghuai Liu ; Ala Al-Obaidi ; Anthony Jakas ; Junjie Liu8:
A Leader-Follower Flocking System Based on Estimated Flocking Center / Zongyao Wang ; Dongbing Gu9:
A Behavior Based Control System for Surveillance UAVs / John Oyekan ; Bowen Lu ; Bo Li ; Huosheng Hu10:
Hierarchical Composite Anti-Disturbance Control for Robotic Systems Using Robust Disturbance Observer / Lei Guo ; Xin-Yu Wen ; Xin Xin11:
Autonomous Navigation for Mobile Robots with Human-Robot Interaction / James Ballantyne ; Edward Johns ; Salman Valibeik ; Charence Wong ; Guang-Zhong Yang12:
Prediction-Based Perceptual System of a Partner Robot for Natural Communication / Naoyuki Kubota ; Kenichiro Nishida13:
Index
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
14.

電子ブック

EB
International Conference on Agents and Artificial Intelligence, Joaquim Filipe, Ana Fred, Bernadette Sharp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
Modelling Social Learning of Adolescence-Limited Criminal Behaviour / Tibor Bosse ; Charlotte Gerritsen ; Michel C.A. Klein
How Do Emotions Induce Dominant Learners' Mental States Predicted from Their Brainwaves? / Alicia Heraz ; Claude Frasson
A Multiagent Semantics for the Game Description Language / Stephan Schiffel ; Michael Thielscher
Verifying Context-Dependent Reduction Relations for Knowledge Specifications / Alexei Sharpanskykh ; Jan Treur
Combining Artificial Intelligence Techniques for the Training of Power System Control Centre Operators / Luiz Faria ; António Silva ; Zita Vale ; Carlos Ramos
Adaptive State Space Abstraction Using Neuroevolution / Robert Wright ; Nathaniel Gemelli
Goal-Based Game Tree Search for Complex Domains / Viliam Lisý ; Branislav Bosanský ; Michal Jakob ; Michal Pechoucek
Generating Incomplete Data with DataZapper / Yingying Wen ; Kevin B. Korb ; Ann E. Nicholson
Extending Learning Vector Quantization for Classifying Data with Categorical Values / Ning Chen ; Nuno C. Marques
Action Knowledge Acquisition with Opmaker2 / T.L. McCluskey ; S.N. Cresswell ; N.E. Richardson ; M.M. West
Application of Hidden Topic Markov Models on Spoken Dialogue Systems / Hamid R. Chinaei ; Brahim Chaib-draa ; Luc Lamontagne
Gossip Galore: An Embodied Conversational Agent for Collecting and Sharing Pop Trivia from the Web / Feiyu Xu ; Peter Adolphs ; Hans Uszkoreit ; Xiwen Cheng ; Hong Li
Biosignal Based Discrimination between Slight and Strong Driver Hypovigilance by Support-Vector Machines / David Sommer ; Martin Golz ; Udo Trutschel ; Dave Edwards
Agents / Part II:
Tiered Logic for Agents in Contexts / Rosalito Perez Cruz ; John Newsome Crossley
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence / Ambra Molesini ; Enrico Denti ; Andrea Omicini
Developing Multi-Agent Systems through Integrating Prometheus, INGENIAS and ICARO-T / Antonio Fernández-Caballero ; José M. Gascueña
An Efficient Winner Approximation for a Series of Combinatorial Auctions / Naoki Fukuta ; Takayuki Ito
How to Integrate Personalization and Trust in an Agent Network / Laurent Lacomme ; Yues Demazeau ; Valérie Camps
Modeling Two Stage Preventive Medical Checkup Systems with Social Science Approaches / Andreas Martischnig ; Siegfried Voessner ; Gerhard Stark
Translating Discrete Multi-Agents Systems into Cellular Automata: Application to Diffusion-Limited Aggregation / Antoine Spicher ; Nazim Fatès ; Olivier Simonin
Using Values to Turn Agents into Characters / Rossana Damiano ; Vincenzo Lombardo
Author Index
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
15.

電子ブック

EB
Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
16.

電子ブック

EB
De-Shuang; McGinnity, Martin; Heutte, Laurent Huang, Laurent Heutte, De-Shuang Huang, Martin McGinnity, Xiao-Ping Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
17.

電子ブック

EB
Max Bramer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Agents / Part I:
Ecologically Rational Agency / John Debenham ; Carles Sierra
Involving the Human User in the Control Architecture of an Autonomous Agent / Roberto Micalizio ; Giancarlo Nuzzolo ; Enrico Scala ; Pietro Torasso
Knowledge Acquisition / Part II:
Exer-Learning Games: Transferring Hopscotch from the Schoolyard to the Classroom / Martina Lucht ; Steffi Domagk ; Martin Mohring
Social Relationships as a Means for Identifying an Individual in Large Information Spaces / Katarína Kostková ; Michal Barla ; Mária Bieliková
Data Mining and Machine Learning / Part III:
J-PMCRI: A Methodology for Inducing Pre-pruned Modular Classification Rules / Frederic Stahl ; Max Bramer ; Mo Adda
Enhancement of Infrequent Purchased Product Recommendation Using Data Mining Techniques / Noraswaliza Abdullah ; Yue Xu ; Shlomo Geva ; Mark Looi
A Machine Learning Approach to Predicting Winning Patterns in Track Cycling Omnium / Bahadorreza Ofoghi ; John Zeleznikow ; Clare MacMahon ; Dan Dwyer
Neural Nets and Fuzzy Logic / Part IV:
Learning Motor Control by Dancing YMCA / Rikke Amilde Løvlid
Analysis and Comparison of Probability Transformations for Fusing Sensors with Uncertain Detection Performance / Edwin El-Mahassni ; Samuel Davey ; Jonathan Legg
Case-Based Reasoning/Planning and Scheduling / Part V:
A Case-Based Approach to Business Process Monitoring / Stefania Montani ; Giorgio Leonardi
A Survey on the Dynamic Scheduling Problem in Astronomical Observations / Matias Mora ; Mauricio Solar
Intelligent Systems Engineering / Part VI:
Combining Determinism and Intuition through Univariate Decision Strategies for Target Detection from Multi-sensors
A UML Profile Oriented to the Requirements Modeling in Intelligent Tutoring Systems Projects / Gilleanes Thorwald Araujo Guedes ; Rosa Maria Vicari
Learning by Collaboration in Intelligent Autonomous Systems / Jorge Ierache ; Ramón García-Martínez ; Armando De Giusti
AI Techniques / Part VII:
Context-Based Probabilistic Scene Interpretation / Bernd Neumann ; Kasim Terzic
Full Text Search Engine as Scalable K-Nearest Neighbor Recommendation System / Ján Suchal ; Pavol Návrat
Developing Intelligent Environments with OSGi and JADE / Davide Carneiro ; Paulo Novais ; Ricardo Costa ; José Neves
AI Applications / Part VIII:
Bee Hive at Work: Following a Developing Story on the Web / Pavol Navrat ; Anna Bou Ezzeddine
Computer-Aided Estimation for the Risk of Development of Gastric Cancer by Image Processing / Yoshihiro Sasaki ; Ryukichi Hada ; Tetsuro Yoshimura ; Norihiro Hanabata ; Tatsuya Mikami ; Shinsaku Fukuda
Intelligent Hybrid Architecture for Tourism Services / Ana Almeida ; Bruno Coelho ; Constantino Martins
Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System / T. Vicovac ; A. Reiterer ; U. Egly ; T. Eiter ; D. Rieke-Zapp
Short Papers / Part IX:
Workflows Recognition through Multi Agents in Surveillance Systems / Manolis Sardis ; Vasilis Anagnostopoulos ; Theodora Varvarigou
Speaker Verification System Using a Hierarchical Adaptive Network-Based Fuzzy Inference Systems (HANFIS) / Zohreh Soozanchi-K. ; Mohammad-R. Akbarzadeh-T ; Mahdi Yaghoobi ; Saeed Rahati
Case-Based Decision Support in Time Dependent Medical Domains
Solving the Capacitated Vehicle Routing Problem and the Split Delivery Using GRASP Metaheuristic / Joseph Gallart Suárez ; Manuel Tupia Anticona
Author Index
Agents / Part I:
Ecologically Rational Agency / John Debenham ; Carles Sierra
Involving the Human User in the Control Architecture of an Autonomous Agent / Roberto Micalizio ; Giancarlo Nuzzolo ; Enrico Scala ; Pietro Torasso
18.

電子ブック

EB
Chin-Chen Chang, Chin-Cheng Chang, Purnendu Das, Byeong-Ho Kang, Muhammad Khurram Khan, Thanos Vasilakos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Design of a Reliable Wireless Switch for the Intersection Area on Vehicular Telematics Networks / Junghoon Lee ; Gyung-Leen Park ; Ho-Young Kwak ; Sang Joon Lee ; Mikyung Kang
A Middleware Based Approach to Dynamically Deploy Location Based Services onto Heterogeneous Mobile Devices Using Bluetooth in Indoor Environment / Pampa Sadhukhan ; Rijurekha Sen ; Pradip K. Das
Hiding Data in Audio Signal / Debnath Bhattacharyya ; Poulami Dutta ; Maricel O. Balitanas ; Tai-hoon Kim ; Purnendu Das
Feature Extraction and Analysis of Breast Cancer Specimen / Rosslin John Robles ; Samir Kumar Bandyopadhyay
Three-Phase Scheme for Supporting Time-Constrained Data with Duplication in Wireless Broadcast Systems / Chao-Chun Chen ; Lien-Fa Lin ; Shih-Chia Wang
A Feedback-Based Secure Path Approach for Wireless Sensor Networks Data Collection / Yuxin Mao
An Effective Power Saving Mechanism for IEEE 802.11 PSM in Double-Layered Mobile P2P Systems / Ju-Hee Lee ; Taek-Hun Kim ; Jin-Woo Song ; Kwang-Jo Lee ; Sung-Bong Yang
A New Image Enhancement Method Based on Nonsubsampled Contourlet Transform / Md. Foisal Hossain ; Mohammad Reza Alsharif ; Katsumi Yamashita
Enable Cache Effect on Forwarding Table in Metro-Ethernet / Xiaocui Sun ; Zhijun Wang
A Handover Mechanism Using IEEE 802.21 in Heterogeneous Wireless Networks / Lin-Huang Chang ; Chau-Chi Wang ; Tsung-Han Lee
Duplicate Address Detection Table in IPv6 Mobile Networks / Farkhod Alisherov
A Hop-Sensitive Mechanism to Establish Route Optimization in Mobile Networks / J. Isac Gnanaraj ; P. Calduwel Newton ; L. Arockiam
A Novel Analysis of Single Mode Fiber for Reduction of Chromatic Dispersion Using Dispersion Compensated Fiber / Laxman Tawade ; Shantanu Jagdale ; Munir Sayyad ; Sanjay Nalbalwar
Image Tampering Detection and Recovery Using Dual Watermarks and Cyclic Redundancy Checks / Chu-Hsing Lin ; Jung-Chun Liu ; Wei-Cheng Hsu ; Hsing-Weng Wang ; Wei-Chih Lin ; Jian-Wei Li
Response Time Enhancement of Sensor Network Using the Solid State Drive / Dae-Sik Ko ; Yoon-Sik Kwak
Author Index
Design of a Reliable Wireless Switch for the Intersection Area on Vehicular Telematics Networks / Junghoon Lee ; Gyung-Leen Park ; Ho-Young Kwak ; Sang Joon Lee ; Mikyung Kang
A Middleware Based Approach to Dynamically Deploy Location Based Services onto Heterogeneous Mobile Devices Using Bluetooth in Indoor Environment / Pampa Sadhukhan ; Rijurekha Sen ; Pradip K. Das
Hiding Data in Audio Signal / Debnath Bhattacharyya ; Poulami Dutta ; Maricel O. Balitanas ; Tai-hoon Kim ; Purnendu Das
19.

電子ブック

EB
Prahlad; Kim, Jong-Hwan; Jesse, Norbert; Baltes, Jacky ; Verner, Igor V. ; Ahlgren, David Vadakkepat, David Ahlgren, Abdullah Al Mamun, John Anderson, Jacky Baltes, Norbert Jesse, Jong-Hwan Kim, Tan Kok Kiong, Prahlad Vadakkepat, Igor Verner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Autonomous Underwater Vehicles
Navigation of Autonomous Underwater Vehicle Using Extended Kalman Filter / Ranjan T.N. ; Arun Nherakkol ; Gajanan Navelkar
Safety Aspects for Underwater Vehicles / R. Madhan ; G. Navelkar ; Elgar Desa ; Sanjeev Afzulpurkar ; Shivanand Prabhudesai ; Nitin Dabholkar ; Antonio Mascarenhas ; Pramod Maurya
Autonomous Vertical Profiler Data Management
Navigation and Position Control of Underwater Vehicle ROSUB 6000 / Manecius Selvakumar Joseph ; Atmanand M.A. ; Ramadass G.A. ; Ramesh Raju ; Jayakumar V.K.
Distributed Real Time Control Systems for Deep Water ROV (ROSUB 6000) / R. Ramesh ; V.K. Jayakumar ; J. Manecius Selvakumar ; V. Doss Prakash ; G.A. Ramadass ; M.A. Atmanand
Control Architecture for AUV-150: A Systems Approach / S.K. Das ; D. Pal ; S. Nandy ; V. Kumar ; S.N. Shome ; B. Mahanti
Autonomous Underwater Vehicle for 150m Depth-Development Phases and Hurdles Faced / B. Mahanty ; R. Ray ; D. Banerji
Humanoid Robotics and Multi Legged Systems
SOPC Based Human Biped Motion Tracking Control for Human-Sized Biped Robot / Su Yu-Te ; Li Tzuu-Hseng S. ; Chen Wen-Chien ; Hu Jhen-Jia
Walking Pattern Generator Using an Evolutionary Central Pattern Generator / Chang-Soo Park ; Jeong-Ki Yoo ; Young-Dae Hong ; Ki-Baek Lee ; Si-Jung Ryu ; Jong-Hawn Kim
Analysis and Study of Human Joint Torque and Motion Energy during Walking on Various Grounds / Kuo-Yang Tu ; Wei-Cheng Lee
Applied Complex Motion Planning and Motion Control for Humanoid Robots in Vertical Motion Sceneries / Marco Wickrath
Stuctural Design of Walking and Mathematical Model of Humanoid Robot MC - 01 / Matej Cirip ; Marek Sukop ; Mikulás Hajduk
Mechanical Design of Small-Size Humanoid Robot: TWNHR-VI / Hsiang-Min Chan ; Kai-Hsiang Huang ; Yueh-Yang Hu ; Ching-Chang Wong
Imitation Learning from Humanoids in a Heterogeneous Setting / Jeff Allen ; John Anderson ; Jacky Baltes
Here Comes the Robotic Brain! / Adalberto Llarena
The Real-Time Embedded System for a Humanoid: Betty / Meng Cheng Lau
Design and Implementation of SOPC Based Motion Control for Human-Sized Biped Robot
Dynamic Modeling of Energy Efficient Hexapod Robot's Locomotion over Gradient Terrains / Shibendu Shekhar Roy ; Pranab Sen Choudhury ; Dilip Kumar Pratihar
Dynamic Modeling and Optimal Foot Force Distribution of Quadruped Walking Robot / Abhishek Agarwal ; Praveen Kumar Gautam
Determination of Optimally Stable Posture for Force Actuator Based Articulated Suspension for Rough Terrain Mobility / Vijay Eathakota ; Arun Kumar Singh ; Srikant Kolachalam ; K. Madhava Krishna
Multi-Agent / Robot Systems
Multi-Agent Rendezvous Algorithm with Rectilinear Decision Domain / Kaushik Das ; Debasish Ghose
Task and Role Selection Strategy for Multi-robot Cooperation in Robot Soccer / Dong-Hyun Lee ; Ki-In Na ; Jong-Hwan Kim
Positional Consensus of Multi-Agent Systems Using Linear Programming Based Decentralized Control with Rectilinear Decision Domain
Tacit Navigation Method for Multi-agent System / J.W. Kim ; Y.H. Kim ; B.C. Min ; D.H. Kim
Q-Learning Policies for Multi-Agent Foraging Task / Yogeswaran M ; Ponnambalam S.G.
Path Planning and Navigation
An Intelligent Algorithm for the Path Planning of Autonomous Mobile Robot for Dynamic Environment / Soumic Sarkar ; Sankar Nath Shome
Rectilinear Path Following in 3D Space / Sikha Hota
Design and Implementation of Autonomous Navigation System for Mobile Harbors / Iksu Shin ; Yuseok Bang ; Donghoon Kim ; Jongdae Jung ; Hyun Myung
Path Planning Algorithm Based on the Limit-Cycle Navigation Method Applied to the Edge of Obstacles / Y.W. Lim ; J.U. An
An Efficient Random Walk Strategy for Sampling Based Robot Motion Planners / Titas Bera ; M. Seetharama Bhat
Ordering of Robotic Navigational Tasks in Home Environment / Syed Atif Mehdi ; Karsten Berns
Robotics and Education
Attracting Students to Engineering: Using Intuitive HRIs for Educational Purposes / Pedro Neto ; Nuno Mendes ; Nélio Mourato ; J. Norberto Pires ; A. Paulo Moreira
Robots as a Tool for Teaching Differential Equations / Anna Friesel
A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions / Ole Ravn ; Nils A. Andersen
RoboWaiter Competition: Linking Robotics Education to Social Responsibility / David J. Ahlgren ; Igor M. Verner
Pattern Analysis and Classification
A Comparison between Growing and Variably Dense Self Organizing Maps for Incremental Learning in Hubel Weisel Models of Concept Representation / Neo Choon kiat Daniel ; Kiruthika Ramanathan ; Shi Luping ; Prahlad Vadakkepat
Hand Posture Recognition Using Neuro-Biologically Inspired Features / Pramod Kumar P. ; Stephanie Quek Shu Hui ; Loh Ai Poh
Wavelet Based Medical Image Fusion Using Filter Masks / Susmitha Vekkot
Boosting Based Fuzzy-Rough Pattern Classifier / Pramod Kumar P ; Sivakumar Ganesan
Face Detector Design for an Expression Robot / China-Chang Wong ; Yu-Ting Yang ; Hao-En Cheng ; Meng-Hung Tsai
Control and Sensing
Fuzzy-PI Force Control for Industrial Robotics
PSO-Optimized Fuzzy Logic Controller for a Single Wheel Robot / Abdullah Al-Mamun ; Zhen Zhu
Neural Network Control of Nonlinear Time-Delay System with Unknown Dead-Zone and Its Application to a Robotic Servo System / Jing Na ; Guido Herrmann ; Xuemei Ren
The Computational Accuracy of Cover Time for Circular Sensing Range / Muhamad Azfar Ramli ; Gerard Leng
Frontier Based Multiple Goal Search in Unknown Environments / V.R. Jisha ; D. Ghose
Multiple Sensor Based Autonomous Monitoring and Control for Energy Efficiency / Liyanage C. De Silva ; Titty Dewana ; M. Iskandar Petra ; G. Amal Punchihewa
Author Index
Autonomous Underwater Vehicles
Navigation of Autonomous Underwater Vehicle Using Extended Kalman Filter / Ranjan T.N. ; Arun Nherakkol ; Gajanan Navelkar
Safety Aspects for Underwater Vehicles / R. Madhan ; G. Navelkar ; Elgar Desa ; Sanjeev Afzulpurkar ; Shivanand Prabhudesai ; Nitin Dabholkar ; Antonio Mascarenhas ; Pramod Maurya
20.

電子ブック

EB
Zhihua Cai, Zhuo Kang, Hengjian Tong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary Design / Section I:
A Concurrent-Hybrid Evolutionary Algorithm for Geometric Constraint Solving / Youhua Zhang ; Kunqi Liu ; Gang Liu ; Zhanfang Zhao
A New DEBP Algorithm and Its Application for Hematite Content Prediction / Chao Yu ; Zhihua Cai ; Zhechao Gao ; Huaming Zhong
Multi-resource Balanced Scheduling Optimization Based on Self-adaptive Genetic Algorithm / Peng Chen ; Li Zhu ; Xiang Li
Space-Time Variation Operator Set in Possibility Construction Space / Han Yanling ; Wang Hong ; Li Dehua
The Comparison and Analysis of GP, GEP and GEP_EDA in Modeling System / Tao Jiang ; Xuesong Yan ; Zengxin Han
Evolutionary Optimization / Section II:
A Multi-objective Optimization Evolutionary Algorithm with Better Performances on Multiple Indicators / Jianguo Chen ; Zhongshan Song ; Bojin Zheng ; Fan Zhao ; Zhuofu Yao
A New Evolutionary Algorithms for Global Numerical Optimization Based on Ito Process / Wenyong Dong ; Ming Lei ; Ruiguo Yu
A New Multi-objective Optimization Evolutionary Algorithm Based on Geometrical Pareto Selection and Double Neighbored Crossover
Measurements in Fast Evolutionary Programming / Yong Liu
Merging the Ranking and Selection into ITO Algorithm for Simulation Optimization
Ranking Based Selection Genetic Algorithm for Capacity Flow Assignments / Guangming Lin ; Chengbo Huang ; Shaobin Zhan ; Xin Lu ; Yunting Lu
Hybrid Algorithms / Section III:
An Efficient Genetic Algorithm for the Traveling Salesman Problem / Guangfu Sun ; Chengjun Li ; Jiacheng Zhu ; Yanpeng Li ; Wei Liu
Constructing a Novel QoS Aggregated Model Based on KBPP / Ruliang Xiao
Exploring the Effects of Lamarckian Evolution and Baldwin Effect in Differential Evolution / Lixiao Ma ; Ning Li
Research of Spatial Data Interpolation Algorithm Based on SVR Optimization by GA / Dongmei Zhang ; Ao Wang
Intelligent Systems / Section IV:
3-D Numerical Finite Element Method of Tectonic Stress Field Simulation Based on Irregular Corner-Point Grid / Yiping Tian ; Xiong Liu ; Xing Li
Agent-Based System Dynamic Integration Development Platform and Tools / Qingshan Li ; Haishun Yun ; Lili Guo ; Guangchang Wu
An Analysis of Asymmetrical Threshold Polling Systems / Zheng Guan ; Dongfeng Zhao
Diffusion Research of Leaked Coal Gas in Steel Plants under Natural Ventilation Conditions / Pei Zhao ; Yunsheng Zhao ; Zuojin Yu
Spatio-temporal Simulation of Epidemiological SIQR Model Based on the Multi-Agent System with Focus on Influenza A (H1N1) / Hong Xiao ; Huaiyu Tian ; Lei Shao ; Jian Zhao ; Jing-zhe Xu
The Research of Virtual Organization for Intelligent Sharing Based on Open Grid Service Architecture / Xia Zhang ; Yong Wang ; Gai Fang Wang
Particle Swarm Optimization / Section V:
A Comparative Study of Artificial Bee Colony, Bees Algorithms and Differential Evolution on Numerical Benchmark Problems / Huanzhe Li ; Xia Li
A Self-adaptive Immune PSO Algorithm for Constrained Optimization Problems / Aijia Ouyang ; Guo Zhou ; Yongquan Zhou
Crowding-Distance-Based Multi-objective Particle Swarm Optimization / Junqing Fan ; Lihua Zhao ; Lin Du ; Youlian Zheng
GA-ACO in Job-Shop Schedule Problem Research / Ming Huang ; Tongwei Wu ; Xu Liang
Research on Hybrid Improved PSO Algorithm / Yuxiang Shao ; Qing Chen ; Cuihong Li
Predictive Modeling / Section VI:
Combined with Improved Vicent Watershed and Dynamic Particle Clustering with Connected Constraints for Image Segmentation / Yuanni Wang ; Fei Ge
Feature Synthesis Algorithm Combined with k-NN Classifier for Spectral Data Classification / Zhenbang Hu
Fuzzy Pattern Recognition Based on Generalized Euclidean Weight Distance Adjoined Degree and Its Application in Forecasting Hazard of Karst Collapse / Yong Feng ; Wuxin Chen
Improved Apriori Algorithm for Mining Association Rules of Many Diseases / Caixia Xue
Improved Text Classification Technique to Acquire Job Opportunities for Disabled Persons / Shilin Zhang ; Mei Gu
Author Index
Evolutionary Design / Section I:
A Concurrent-Hybrid Evolutionary Algorithm for Geometric Constraint Solving / Youhua Zhang ; Kunqi Liu ; Gang Liu ; Zhanfang Zhao
A New DEBP Algorithm and Its Application for Hematite Content Prediction / Chao Yu ; Zhihua Cai ; Zhechao Gao ; Huaming Zhong
21.

電子ブック

EB
Harris Papadopoulos, Andreas S. Andreou, Max Bramer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
How Artificial Intelligence May Be Applied in Real World Situations / Zbigniew Michalewicz
Modern Machine Learning Techniques and Their Applications to Medical Diagnostics / Alexander Gammerrnan
Innovative Applications of Artificial Intelligence Techniques in Software Engineering / Masoud Mohammadian
Machine Learning
Linear Probability Forecasting / Fedor Zhdanov ; Yuri Kalnishkan
The Importance of Similarity Metrics for Representative Users Identification in Recommender Systems / Olga Georgiou ; Nicolas Tsapatsoulis
An Optimal Scaling Approach to Collaborative Filtering Using Categorical Principal Component Analysis and Neighborhood Formation / Angelos I. Markos ; Manolis G. Vozalis ; Konstantinos G. Margaritis
A Classroom Observation Model Fitted to Stochastic and Probabilistic Decision Systems / Marios Poulos ; Vassilios S. Belesiotis ; Nikolaos Alexandris
Prediction with Confidence Based on a Random Forest Classifier / Dmitry Devetyarov ; Ilia Nouretdinov
Fuzzy Logic Techniques
A Generic Tool for Building Fuzzy Cognitive Map Systems / Maria Papaioannou ; Costas Neocleous ; Anastasis Sofokleous ; Nicos Mateou ; Andreas Andreou ; Christos N. Schizas
A Fuzzy Rule-Based Approach to Design Game Rules in a Mission Planning and Evaluation System / D. Vijay Rao ; Jasleen Kaur
One-Dimensional Linear Local Prototypes for Effective Selection of Neuro-Fuzzy Sugeno Model Initial Structure / Jacek Kabzinski
Lasso: Linkage Analysis of Serious Sexual Offences: A Decision Support System for Crime Analysts and Investigators / Don Casey ; Phillip Burrell
Evolutionary Computation
Forecasting Euro - United States Dollar Exchange Rate with Gene Expression Programming / Maria A. Antoniou ; Efstratios F. Georgopoulos ; Konstantinos A. Theofilatos ; Spiridon D. Likothanassis
Automatically Designing Robot Controllers and Sensor Morphology with Genetic Programming / Bert Bonte ; Bart Wyns
Multiple Criteria Performance Analysis of Non-dominated Sets Obtained by Multi-objective Evolutionary Algorithms for Optimisation / Gerrit K. Janssens ; José Maria Pangilinan
Efficiency and Robustness of Three Metaheuristics in the Framework of Structural Optimization / Nikos D. Lagaros ; Dimos C. Charmpis
Medical Informatics and Biomedical Engineering
A Fuzzy Non-linear Similarity Measure for Case-Based Reasoning Systems for Radiotherapy Treatment Planning / Rupa Jagannathan ; Sanja Petrovic ; Angela McKenna ; Louise Newton
A Soft Computing Approach for Osteoporosis Risk Factor Estimation / Dimitrios Mantzaris ; George Anastassopoulos ; Lazaros Iliadis ; Konstantinos Kazakos ; Harris Papadopoulos
Protein Secondary Structure Prediction with Bidirectional Recurrent Neural Nets: Can Weight Updating for Each Residue Enhance Performance? / Michalis Agathocleous ; Georgia Christodoulou ; Vasilis Promponas ; Chris Christodoulou ; Vassilis Vassiliades ; Antonis Antoniou
Contourlet Transform for Texture Representation of Ultrasound Thyroid Images / Stamos Katsigiannis ; Eystratios G. Keramidas ; Dimitris Maroulis
Assessment of Stroke Risk Based on Morphological Ultrasound Image Analysis with Conformal Prediction / Antonis Lambrou ; Efthyvoulos Kyriacou ; Constantinos S. Pattichis ; Marios S. Pattichis ; Alexander Gammerman ; Andrew Nicolaides
Text Mining and Natural Language Processing
Concept Based Representations as Complement of Bag of Words in Information Retrieval / Maya Carrillo ; Aurelio López-López
Information Fusion for Entity Matching in Unstructured Data / Omar Ali ; Nello Cristianini
An Example-Tracing Tutor for Teaching NL to FOL Conversion / Themistoklis Chronopoulos ; Isidoros Perikos ; Ioannis Hatzilygeroudis
Learning the Preferences of News Readers with SVM and Lasso Ranking / Elena Hensinger ; Ilias Flaounas
Knowledge Representation and Reasoning
A Comparison of Two Ontology-Based Semantic Annotation Frameworks / Quratulain Rajput ; Sajjad Haider
A Tool for Automatic Creation of Rule-Based Expert Systems with CFs / Konstantinos Kovas
Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies / Yingjie Song ; Rong Chen
Algorithms for the Reconciliation of Ontologies in Open Environments / Yaqing Liu ; Hong Yang
Knowledge-Based Support for Software Engineering / Dencho Batanov
Planning and Scheduling
A Hybrid Searching Method for the Unrelated Parallel Machine Scheduling Problem / Christoforos Charalambous ; Krzysztof Fleszar ; Khalil S. Hindi
Aiding Interactive Configuration and Planning: A Constraint and Evolutionary Approach / Paul Pitiot ; Michel Aldanondo ; Elise Vareilles ; Paul Gaborit ; Meriem Djefel ; Claude Baron
Decentralized Services Orchestration Using Intelligent Mobile Agents with Deadline Restrictions / Alex Magalhães ; Lau Cheuk Lung ; Luciana Rech
Mobile Robot-Assisted Cellular Environment Coverage / Georgios Siamantas ; Konstantinos Gatsis ; Antony Tzes
Feature Selection and Dimensionality Reduction
A Novel Feature Selection Method for Fault Diagnosis / Zacharias Voulgaris ; Chris Sconyers
Dimensionality Reduction for Distance Based Video Clustering / Jayaraman J. Thiagarajan ; Karthikeyan N. Ramamurthy ; Andreas Spanias
Towards Stock Market Data Mining Using Enriched Random Forests from Textual Resources and Technical Indicators / Manolis Maragoudakis ; Dimitrios Serpanos
On the Problem of Attribute Selection for Software Cost Estimation: Input Backward Elimination Using Artificial Neural Networks / Efi Papatheocharous ; Andreas S. Andreou
Engineering Intelligent Systems
A Fast Mobile Face Recognition System for Android OS Based on Eigenfaces Decomposition / Charalampos Doukas ; Ilias Maglogiannis
Application of Conformal Predictors to Tea Classification Based on Electronic Nose / Guang Li ; Zhiyuan Luo
Detecting and Confining Sybil Attack in Wireless Sensor Networks Based on Reputation Systems Coupled with Self-organizing Maps / Zorana Bankovic ; David Fraga ; José M. Moya ; Juan Carlos Vallejo ; Álvaro Araujo ; Pedro Malagón ; Juan-Mariano de Goyeneche ; Daniel Villanueva ; Elena Romero ; Javier Blesa
Statistical Fault Localization with Reduced Program Runs / Lina Hong
Fuzzy Cognitive Map for Software Testing Using Artificial Intelligence Techniques / Deane Larkman ; Bala Balachandran ; Ric Jentzsch
Intelligent User Environments and HCI
Learning User Preferences in Ubiquitous Systems: A User Study and a Reinforcement Learning Approach / Sofia Zaidenberg ; Patrick Reignier ; Nadine Mandran
Decision Oriented Programming in HCI: The Multi-Attribute Decision Language MADL / Bjoern Zenker
Investigating the Role of Mutual Cognitive Environment for End-User Programming / Rémi Barraquand
On the Quantification of Aging Effects on Biometric Features / Andreas Lanitis
Environmental Modeling
Fuzzy Inference Systems for Automatic Classification of Earthquake Damages / Petros-Fotios Alvanitopoulos ; Ioannis Andreadis ; Anaxagoras Elenas
A Fuzzy Inference System Using Gaussian Distribution Curves for Forest Fire Risk Estimation / Stergios Skopianos ; Stavros Tachos ; Stefanos Spartalis
Evolutionary Prediction of Total Electron Content over Cyprus / Alexandros Agapitos ; Andreas Konstantinidis ; Haris Haralambous
A Multi-layer Perception Neural Network to Predict Air Quality through Indicators of Life Quality and Welfare / Kyriaki Kitikidou
Author Index
Invited Talks
How Artificial Intelligence May Be Applied in Real World Situations / Zbigniew Michalewicz
Modern Machine Learning Techniques and Their Applications to Medical Diagnostics / Alexander Gammerrnan
22.

電子ブック

EB
Eyke Hüllermeier, Frank Hoffmann, Rudolf Kruse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Reasoning with Uncertainty
Decomposable Models
An Algorithm to Find a Perfect Map for Graphoid Structures / Marco Baioletti ; Giuseppe Busanello ; Barbara Vantaggi
An Empirical Study of the Use of the Noisy-Or Model in a Real-Life Bayesian Network / Janneke H. Bolt ; Linda C. van der Gaag
Possibilistic Graphical Models and Compositional Models / Jirina Vejnarová
Bayesian Networks vs. Evidential Networks: An Application to Convoy Detection / Evangeline Pollard ; Michèle Rombaut ; Benjamin Pannetier
Approximation of Data by Decomposable Belief Models / Radim Jiroušek
Imprecise Probabilities
A Gambler's Gain Prospects with Coherent Imprecise Previsions / Paolo Vicig
Infinite Exchangeability for Sets of Desirable Gambles / Gert de Cooman ; Erik Quaeghebeur
Ergodicity Conditions for Upper Transition Operators / Filip Hermans
An Empirical Comparison of Bayesian and Credal Set Theory for Discrete State Estimation / Alexander Karlsson ; Ronnie Johansson ; Sten F. Andler
On the Complexity of Non-reversible Betting Games on Many-Valued Events / Martina Fedel ; Tommaso Flaminio
Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions / Matthias C.M. Troffaes ; Nathan Huntley ; Ricardo Shirota Filho
Logics for Reasoning
Similarity-Based Equality with Lazy Evaluation / Ginés Moreno
Progressive Reasoning for Complex Dialogues among Agents / Josep Puyol-Gruart ; Mariela Morveli-Espinoza
Measuring Instability in Normal Residuated Logic Programs: Discarding Information / Nicolás Madrid ; Manuel Ojeda-Aciego
Implementing Prioritized Merging with ASP / Julien Hue ; Odile Papini ; Eric Würbel
Preference Modeling
An Interactive Algorithm to Deal with Inconsistencies in the Representation of Cardinal Information / Brice Mayag ; Michel Grabisch ; Christophe Labreuche
Characterization of Complete Fuzzy Preorders Defined by Archimedean t-Norms / Ignacio Montes ; Davide Martinetti ; Susana Díaz ; Susana Montes
Rectification of Preferences in a Fuzzy Environment / Camilo Franco de los Ríos ; Javier Montero ; J. Tinguaro Rodríguez
Data Analysis and Knowledge Processing
Belief Functions
Identification of Speakers by Name Using Belief Functions / Simon Petitrenaud ; Vincent Jousse ; Sylvain Meignier ; Yannick Estéve
Constructing Multiple Frames of Discernment for Multiple Subproblems / Johan Schubert
Conflict Interpretation in a Belief Interval Based Framework / Clément Solau ; Anne-Marie Jolly ; Laurent Delahoche ; Bruno Marhic ; David Menga
Evidential Data Association Filter / Ahmed Dallil ; Mourad Oussalah ; Abdelaziz Ouldali
Maintaining Evidential Frequent Itemsets in Case of Data Deletion / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane
TS-Models from Evidential Clustering / Rui Jorge Almeida ; Uzay Kaymak
Measuring Impact of Diversity of Classifiers on the Accuracy of Evidential Ensemble Classifiers / Yaxin Bi ; Shengli Wu
Multiplication of Multinomial Subjective Opinions / Audun Jøsang ; Stephen O'Hara
Evaluation of Information Reported: A Model in the Theory of Evidence / Laurence Cholvy
Rough Sets
Gradual Evaluation of Granules of a Fuzzy Relation: R-related Sets / Slavka Bodjanova ; Martin Kalina
Combined Bayesian Networks and Rough-Granular Approaches for Discovery of Process Models Based on Vehicular Traffic Simulation / Mateusz Adamczyk ; Pawel Betlinski ; Pawel Gora
On Scalability of Rough Set Methods / Piotr Kwiatkowski ; Sinh Hoa Nguyen ; Hung Son Nguyen
Machine Learning
Interestingness Measures for Association Rules within Groups / Aída Jiménez ; Fernando Berzal ; Juan-Carlos Cubero
Data Mining in RL-Bags / M. Dolores Ruiz ; Miguel Delgado ; Daniel Sánchez
Feature Subset Selection for Fuzzy Classification Methods / Marcos E. Cintra ; Heloisa A. Camargo
Restricting the IDM for Classification / Giorgio Corani ; Alessio Benavoli
Probabilistic Methods
Estimation of Possibility-Probability Distributions / Balapuwaduge Sumudu Udaya Mendis ; Tom D. Gedeon
Bayesian Assaying of GUHA Nuggets / Robert Piché ; Esko Turunen
Rank Correlation Coefficient Correction by Removing Worst Cases / Martin Krone ; Frank Klawonn
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry / Marc Finthammer ; Christoph Beierle ; Jens Fisseler ; Gabriele Kern-Isberner ; Bülent Möller ; Jörg I. Baumbach
Automated Gaussian Smoothing and Peak Detection Based on Repeated Averaging and Properties of a Spectrum's Curvature / Hyung-Won Koh ; Lars Hildebrand
Uncertainty Interval Expression of Measurement: Possibility Maximum Specificity versus Probability Maximum Entropy Principles / Gilles Mauris
Fuzzy Methods
Lazy Induction of Descriptions Using Two Fuzzy Versions of the Rand Index / Eva Armengol ; Ángel García-Cerdana
Fuzzy Clustering-Based Filter / Luiz F.S. Coletta ; Eduardo R. Hruschka ; Thiago F. Covoes ; Ricardo J.G.B. Campello
Fuzzy Classification of Nonconvex Data-Inherent Structures / Arne-Jens Hempel ; Steffen F. Bocklisch
Fuzzy-Pattern-Classifier Training with Small Data Sets / Uwe Mönks ; Denis Petker ; Volker Lohweg
Temporal Linguistic Summaries of Time Series Using Fuzzy Logic / Janusz Kacprzyk ; Anna Wilbik
A Comparison of Five Fuzzy Rand Indices / Derek T. Anderson ; James C. Bezdek ; James M. Keller ; Mihail Popescu
Identifying the Risk of Attribute Disclosure by Mining Fuzzy Rules / Irene Díaz ; José Ranilla ; Luis J. Rodríguez-Muniz ; Luigi Troiano
Fuzzy Sets and Fuzzy Logic
Fuzzy Measures and Integrals
Explicit Descriptions of Associative Sugeno Integrals / Miguel Couceiro ; Jean-Luc Marichal
Continuity of Choquet Integrals of Supermodular Capacities / Nobusumi Sagara
Inclusion-Exclusion Integral and Its Application to Subjective Video Quality Estimation / Aoi Honda ; Jun Okamoto
Fuzzy Measure Spaces Generated by Fuzzy Sets / Antonín Dvorák ; Michal Holcapek
Absolute Continuity of Monotone Measure and Convergence in Measure / Jun Li ; Radko Mesiar ; Qiang Zhang
An Axiomatic Approach to Fuzzy Measures Like Set Cardinality for Finite Fuzzy Sets
Choquet-integral-Based Evaluations by Fuzzy Rules: Methods for Developing Fuzzy Rule Tables on the Basis of Weights and Interaction Degrees / Eiichiro Takahagi
Fuzzy Inference
On a New Class of Implications in Fuzzy Logic / Yun Shi ; Bart Van Gasse ; Da Ruan ; Etienne Kerre
Diagrams of Fuzzy Orderings / Branimir Šešelja ; Andreja Tepavcevic
Fuzzy Relation Equations in Semilinear Spaces / Irina Perfilieva
Adaptive Rule Based-Reasoning by Qualitative Analysis / Marius Mircea Balas ; Valentina Emilia Balas
Fuzzy Regions: Adding Subregions and the Impact on Surface and Distance Calculation / Jörg Verstraete
On Liu's Inference Rules for Fuzzy Inference Systems / Xin Gao ; Dan A. Ralescu ; Yuan Gao
Intuitionistic Fuzzy Sets
A New Approach to the Distances between Intuitionistic Fuzzy Sets / Krassimir Atanassov
Atanassov's Intuitionistic Contractive Fuzzy Negations / Benjamin Bedregal ; Humberto Bustince ; Javier Fernandez ; Glad Deschrijver
Trust Propagation Based on Group Opinion / Anna Stachowiak
Application of IF-Sets to Modeling of Lip Shapes Similarities / Krzysztof Dyczkowski
A Random Set and Prototype Theory Interpretation of Intuitionistic Fuzzy Sets / Jonathan Lawry
Hesitation Degrees as the Size of Ignorance Combined with Fuzziness / Maciej Wygralak
On the Distributivity of Implication Operations over t-Representable t-Norms Generated from Strict t-Norms in Interval-Valued Fuzzy Sets Theory / Michal Baczynski
Properties of Interval-Valued Fuzzy Relations, Atanassov's Operators and Decomposable Operations / Barbara Pekala
Cardinality and Entropy for Bifuzzy Sets / Vasile Patrascu
Aggregation Functions
Some Remarks on the Solutions to the Functional Equation I(x, y) = I(x, I(x, y)) for D-Operations / Sebastià Massanet ; Joan Torrens
On an Open Problem of U. Höhle - A Characterization of Conditionally Cancellative T-Subnorms / Balasubramaniam Jayaram
Triangular Norms and Conorms on the Set of Discrete Fuzzy Numbers / Jaume Casasnovas ; J. Vicente Riera
Arity-Monotonic Extended Aggregation Operators / Marek Gagolewski ; Przemyslaw Grzegorzewski
Some Properties of Multi-argument Distances and Fermat Multidistance / Javier Martín ; Gaspar Mayor
Mixture Utility in General Insurance / Jana Špirková
Evolutionary Agorithms
Application of Evolutionary Algorithms to the Optimization of the Flame Position in Coal-Fired Utility Steam Generators / W. Kästner ; R. Hampel ; T. Förster ; M. Freund ; M. Wagenknecht ; D. Haake ; H. Kanisch ; U.-S. Altmann ; F. Müller
Measurement of Ground-Neutral Currents in Three Phase Transformers Using a Genetically Evolved Shaping Filter / Luciano Sánchez ; Inés Couso
A Genetic Algorithm for Feature Selection and Granularity Learning in Fuzzy Rule-Based Classification Systems for Highly Imbalanced Data-Sets / Pedro Villar ; Alberto Fernández ; Francisco Herrera
Learning of Fuzzy Rule-Based Meta-schedulers for Grid Computing with Differential Evolution / R.P. Prado ; S. García-Galán ; J.E. Muñoz Expósito ; A.J. Yuste ; S. Bruque
Author Index
Reasoning with Uncertainty
Decomposable Models
An Algorithm to Find a Perfect Map for Graphoid Structures / Marco Baioletti ; Giuseppe Busanello ; Barbara Vantaggi
23.

電子ブック

EB
Eyke Hüllermeier, Frank Hoffmann, Rudolf Kruse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Data Analysis Applications
Data-Driven Design of Takagi-Sugeno Fuzzy Systems for Predicting NOx Emissions / Edwin Lughofer ; Vicente Macián ; Carlos Guardiola ; Erich Peter Klement
Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations / Silvana Badaloni ; Marco Falda
Olive Trees Detection in Very High Resolution Images / Juan Moreno-Garcia ; Luis Jimenez Linares ; Luis Rodriguez-Benitez ; Cayetano J. Solana-Cipres
A Fast Recursive Approach to Autonomous Detection, Identification and Tracking of Multiple Objects in Video Streams under Uncertainties / Pouria Sadeghi-Tehran ; Plamen Angelov ; Ramin Ramezani
Soft Concept Hierarchies to Summarise Data Streams and Highlight Anomalous Changes / Trevor Martin ; Yun Shen ; Andrei Majidian
Using Enriched Ontology Structure for Improving Statistical Models of Gene Annotation Sets / Frank Rügheimer
Predicting Outcomes of Septic Shock Patients Using Feature Selection Based on Soft Computing Techniques / André S. Fialho ; Federico Cismondi ; Susana M. Vieira ; João M.C. Sousa ; Shane R. Reti ; Michael D. Howell ; Stan N. Finkelstein
Obtaining the Compatibility between Musicians Using Soft Computing / Teresa Leon ; Vicente Liern
Consistently Handling Geographical User Data: Context-Dependent Detection of Co-located POIs / Guy De Tré ; Antoon Bronselaer ; Tom Matthé ; Nico Van de Weghe ; Philippe De Maeyer
Intelligent Databases
A Model Based on Outranking for Database Preference Queries / Patrick Bosc ; Olivier Pivert ; Grégory Smits
Incremental Membership Function Updates / Narjes Hachani ; Imen Derbel ; Habib Ounelli
A New Approach for Comparing Fuzzy Objects / Yasmina Bashon ; Daniel Neagu ; Mick J. Ridley
Generalized Fuzzy Comparators for Complex Data in a Fuzzy Object-Relational Database Management System / Juan Miguel Medina ; Carlos D. Barranco ; Jesús R. Campaña ; Sergio Jaime-Castillo
The Bipolar Semantics of Querying Null Values in Regular and Fuzzy Databases: Dealing with Inapplicability
Describing Fuzzy DB Schemas as Ontologies: A System Architecture View / Carmen Martínez-Cruz ; Ignacio J. Blanco ; M. Amparo Vila
Using Textual Dimensions in Data Warehousing Processes / M.J. Martín-Bautista ; C. Molina ; E. Tejeda
Information Fusion
Uncertainty Estimation in the Fusion of Text-Based Information for Situation Awareness / Kellyn Rein ; Ulrich Schade ; Silverius Kawaletz
Aggregation of Partly Inconsistent Preference Information / Rudolf Felix
Risk Neutral Valuations Based on Partial Probabilistic Information / Andrea Capotorti ; Giuliana Regoli ; Francesca Vattari
A New Contextual Discounting Rule for Lower Probabilities / Sebastien Destercke
The Power Average Operator for Information Fusion / Ronald R. Yager ; 208
Performance Comparison of Fusion Operators in Bimodal Remote Sensing Snow Detection / Aureli Soria-Frisch ; Antonio Repucci ; Laura Moreno ; Marco Caparrini
Color Recognition Enhancement by Fuzzy Merging / Vincent Bombardier ; Emmanuel Schmitt ; Patrick Charpentier
Towards a New Generation of Indicators for Consensus Reaching Support Using Type-2 Fuzzy Sets / Witold Pedrycz ; Janusz Kacprzyk ; Stawomir Zadrozny
Decision Support
Modelling Collective Choices
Multiagent Decision Making, Fuzzy Prevision, and Consensus / Antonio Maturo ; Aldo G.S. Ventre
A Categorical Approach to the Extension of Social Choice Functions / Patrik Eklund ; Mario Fedrizzi ; Hannu Nurmi
Signatures for Assessment, Diagnosis and Decision-Making in Ageing
Fuzzy Decision Theory
A Default Risk Model in a Fuzzy Framework / Hiroshi Inoue ; Masatoshi Miyake
On a Fuzzy Weights Representation for Inner Dependence AHP / Shin-ichi Ohnishi ; Takahiro Yamanoi ; Hideyuki Imai
Different Models with Fuzzy Random Variables in Single-Stage Decision Problems / Luis J. Rodríguez-Muñiz ; Miguel López-Díaz
Applications in Finance
A Neuro-Fuzzy Decision Support System for Selection of Small Scale Business / Rajendra Akerkar ; Priti Srinivas Sajja
Bond Management: An Application to the European Market / José Manuel Brotons
Estimating the Brazilian Central Bank's Reaction Function by Fuzzy Inference System / Ivette Luna ; Leandro Maciel ; Rodrigo Lanna F. da Silveira ; Rosangela Ballini
Fuzzy Systems
Philosophical Aspects
Do Uncertainty and Fuzziness Present Themselves (and Behave) in the Same Way in Hard and Human Sciences? / Settimo Termini
Some Notes on the Value of Vagueness in Everyday Communication / Nora Kluck
On Zadeh's "The Birth and Evolution of Fuzzy Logic" / Yücel Yüksel
Complexity and Fuzziness in 20th Century Science and Technology / Rudolf Seising
Educational Software of Fuzzy Logic and Control / José Galindo ; Enrique León-González
Fuzzy Numbers
A Fuzzy Distance between Two Fuzzy Numbers / Saeid Abbasbandy ; Saeide Hajighasemi
On the Jaccard Index with Degree of Optimism in Ranking Fuzzy Numbers / Nazirah Ramli ; Daud Mohamad
Negation Functions in the Set of Discrete Fuzzy Numbers / Jaume Casasnovas ; J. Vicente Riera
Trapezoidal Approximation of Fuzzy Numbers Based on Sample Data / Przemyslaw Grzegorzewski
Multiple Products and Implications in Interval-Valued Fuzzy Set Theory / Glad Deschrijver
Fuzzy Ontology and Information Granulation: An Approach to Knowledge Mobilisation / Christer Carlsson ; Matteo Brunelli ; Jozsef Mezei
Adjoint Pairs on Interval-Valued Fuzzy Sets / Jesús Medina
Fuzzy Arithmetic
Optimistic Arithmetic Operators for Fuzzy and Gradual Intervals - Part I: Interval Approach / Reda Boukezzoula ; Sylvie Galichet
Optimistic Arithmetic Operators for Fuzzy and Gradual Intervals - Part II: Fuzzy and Gradual Interval Approach
Model Assessment Using Inverse Fuzzy Arithmetic / Thomas Haag ; Michael Hanss
New Tools in Fuzzy Arithmetic with Fuzzy Numbers / Luciano Stefanini
Fuzzy Equations
Application of Gaussian Quadratures in Solving Fuzzy Fredholm Integral Equations / M. Khezerloo ; Tofigh Allahviranloo ; Soheil Salahshour ; M. Khorasani Kiasari ; S. Haji Ghasemi
Existence and Uniqueness of Solutions of Fuzzy Volterra Integro-differential Equations / M. Khorasany
Expansion Method for Solving Fuzzy Fredholm-Volterra Integral Equations / S. Khezerloo ; M. Khorasan Kiasary
Solving Fuzzy Heat Equation by Fuzzy Laplace Transforms / Elnaz Haghi
A New Approach for Solving First Order Fuzzy Differential Equation
Soft Computing Applications
Image Processing
A Comparison Study of Different Color Spaces in Clustering Based Image Segmentation / Aranzazu Jurio ; Miguel Pagola ; Mikel Galar ; Carlos Lopez-Molina ; Daniel Paternain
Retrieving Texture Images Using Coarseness Fuzzy Partitions / Jesús Chamorro-Martínez ; Pedro Manuel Martínez-Jiménez ; Jose Manuel Soto-Hidalgo
A Fuzzy Regional-Based Approach for Detecting Cerebrospinal Fluid Regions in Presence of Multiple Sclerosis Lesions / Francesc Xavier Aymerich ; Eduard Montseny ; Pilar Sobrevilla ; Alex Rovira
Probabilistic Scene Models for Image Interpretation / Alexander Bauer
Motion Segmentation Algorithm for Dynamic Scenes over H.264 Video / L. Jimenez-Linares
Using Stereo Vision and Fuzzy Systems for Detecting and Tracking People / Rui Paúl ; Eugenia Aguirre ; Miguel García-Silvente ; Rafael Muñoz-Salinas
Privacy and Security
Group Anonymity / Oleg Chertov ; Dan Tavrov
Anonymizing Categorical Data with a Recoding Method Based on Semantic Similarity / Sergio Martínez ; Aida Valls ; David Sánchez
Addressing Complexity in a Privacy Expert System / Siani Pearson
Privacy-Protected Camera for the Sensing Web / Ikuhisa Mitsugami ; Masayuki Mukunoki ; Yasutomo Kawanishi ; Hironori Hattori ; Michihiko Minoh
Bayesian Network-Based Approaches for Severe Attack Prediction and Handling IDSs' Reliability / Karim Tabia ; Philippe Leray
The Sensing Web
Structuring and Presenting the Distributed Sensory Information in the Sensing Web / Rin-ichiro Taniguchi ; Atsushi Shimada ; Yuji Kawaguchi ; Yousuke Miyata ; Satoshi Yoshinaga
Evaluation of Privacy Protection Techniques for Speech Signals / Kazumasa Yamamoto ; Seiichi Nakagawa
Digital Diorama: Sensing-Based Real-World Visualization / Takumi Takehara ; Yuta Nakashima ; Naoko Nitta ; Noboru Babaguchi
Personalizing Public and Privacy-Free Sensing Information with a Personal Digital Assistant / Takuya Kitade ; Yasushi Hirano ; Shoji Kajita ; Kenji Mase
The Open Data Format and Query System of the Sensing Web / Naruki Mitsuda ; Tsuneo Ajisaka
See-Through Vision: A Visual Augmentation Method for Sensing-Web / Yuichi Ohta ; Yoshinari Kameda ; Itaru Kitahara ; Masayuki Hayashi ; Shinya Yamazaki
Manufacturing and Scheduling
Manufacturing Virtual Sensors at Caterpillar, Inc. / Timothy J. Felty ; James R. Mason ; Anthony J. Grichnik
Modelling Low-Carbon UK Energy System Design through 2050 in a Collaboration of Industry and the Public Sector / Christopher Heaton ; Rod Davies
A Remark on Adaptive Scheduling of Optimization Algorithms / Krisztián Balázs ; László T. Kóczy
An Adaptive Fuzzy Model Predictive Control System for the Textile Fiber Industry / Stefan Berlik ; Maryam Nasiri
Methodology for Evaluation of Linked Multidimensional Measurement System with Balanced Scorecard / Yutaka Kigawa ; Kiyoshi Nagata ; Fuyume Sai ; Michio Amagasa
Predictive Probabilistic and Possibilistic Models Used for Risk Assessment of SLAs in Grid Computing / Robert Fullér
Author Index
Data Analysis Applications
Data-Driven Design of Takagi-Sugeno Fuzzy Systems for Predicting NOx Emissions / Edwin Lughofer ; Vicente Macián ; Carlos Guardiola ; Erich Peter Klement
Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations / Silvana Badaloni ; Marco Falda
24.

電子ブック

EB
International Conference on Research and Education in Robotics, Achim Gottscheber, David Obdrzalek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Walk-Startup of a Two-Legged Walking Mechanism / Kalman Babkovic ; László Nagy ; Damir Krklješ ; Branislav Borovac
Control Methodologies for Endoscope Navigation in Robotized Laparoscopic Surgery / Enrique Bauzano ; Victor Muñoz ; Isabel Garcia-Morales ; Belen Estebanez
Fast Object Registration and Robotic Bin Picking / Kay Böhnke ; Achim Gottscheber
What Role for Emotions in Cooperating Robots? - The Case of RH3-Y / Jean-Daniel Dessimoz ; Pierre-François Gauthey
A Mobile Robot for Small Object Handling / Ondrej Fišer ; Hana Szucsová ; Vladimír Grimmer ; Jan Popelka ; Vojtech Vonásek ; Tomáš Krajník ; Jan Chudoba
Real-Time Door Detection Based on AdaBoost Learning Algorithm / Jens Hensler ; Michael Blaich ; Oliver Bittel
DC Motor Drive for Small Autonomous Robots with Educational and Research Purpose / Milan Nikolic
A Multi-axis Control Board Implemented via an FPGA / Domenico Longo ; Giovanni Muscato
Robot Localisation in Known Environment Using Monte Carlo Localisation / David Obdrzálek ; Stanislav Basovník ; Pavol Jusko ; Tomáš Petrušek ; Michal Tulácek
Detecting Scene Elements Using Maximally Stable Colour Regions / Lukáš Mach ; Andrej Mikulík
Ultrasonic Localization of Mobile Robot Using Active Beacons and Code Correlation / Marek Peca
Calibration Methods for a 3D Triangulation Based Camera / Ulrike Schulz
Camera-Based Control for Industrial Robots Using OpenCV Libraries / Patrick A. Seidel
Generating Complex Movements of Humanoid Robots by Using Primitives / Miormir Vukobratovic ; Mirko Rakovic ; Milutin Nikolic
Author Index
Walk-Startup of a Two-Legged Walking Mechanism / Kalman Babkovic ; László Nagy ; Damir Krklješ ; Branislav Borovac
Control Methodologies for Endoscope Navigation in Robotized Laparoscopic Surgery / Enrique Bauzano ; Victor Muñoz ; Isabel Garcia-Morales ; Belen Estebanez
Fast Object Registration and Robotic Bin Picking / Kay Böhnke ; Achim Gottscheber
25.

電子ブック

EB
Claude Sammut, Geoffrey I. Webb
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
26.

電子ブック

EB
Lutz Frommberger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
27.

電子ブック

EB
Yide Ma, Zhaobin Wang, Kun Zhan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
28.

電子ブック

EB
Samuel R. H. Joseph, Sonia Bergamaschi, Zoran Despotovic, Takeo Kanade, Gianluca Moro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
29.

電子ブック

EB
Atefeh Farzindar, Takeo Kanade, Vlado Kešelj
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
30.

電子ブック

EB
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
31.

電子ブック

EB
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
32.

電子ブック

EB
Peter McBurney, Takeo Kanade, Nicolas Maudet, Simon Parsons, Iyad Rahwan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
33.

電子ブック

EB
Stasinos Konstantopoulos, Takeo Kanade, Vangelis Karkaletsis, Stavros Perantonis, Constantine D. Spyropoulos, George Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
34.

電子ブック

EB
Xingui He, Shaohua Xu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction.
Artificial Neural Networks.
Process Neurons.
FeedForward Process Neural Networks and Theoretical Issues.
Learning Algorithm of Process Neural Networks.
FeedBack Process Neural Networks.
Multi-aggregation Process Neural Networks.
Design and Construction of Process Neural Networks.
The Applications of Process Neural Networks.
Introduction.
Artificial Neural Networks.
Process Neurons.
35.

電子ブック

EB
Enrico Francesconi, Takeo Kanade, Simonetta Montemagni, Wim Peters, Daniela Tiscornia
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Legal Text Processing and Information Extraction / Part I:
Legal Language and Legal Knowledge Management Applications / Giulia Venturi
Named Entity Recognition and Resolution in Legal Text / Christopher Dozier ; Ravikumar Kondadadi ; Marc Light ; Arun Vachher ; Sriharsha Veeramachaneni ; Ramdev Wudali
Using Linguistic Information and Machine Learning Techniques to Identify Entities from Juridical Documents / Paulo Quaresma ; Teresa Gonçalves
Approaches to Text Mining Arguments from Legal Cases / Adam Wyner ; Raquel Mochales-Palau ; Marie-Francine Moens ; David Milward
Legal Text Processing and Construction of Knowledge Resources / Part II:
Automatic Identification of Legal Terms in Czech Law Texts / Karel Pala ; Pavel Rychlý ; Pavel Šmerk
Integrating a Bottom-Up and Top-Down Methodology for Building Semantic Resources for the Multilingual Legal Domain / Enrico Francesconi ; Simonetta Montemagni ; Wim Peters ; Daniela Tiscornia
Ontology Based Law Discovery / Alessio Bosca ; Luca Dini
Multilevel Legal Ontologies / Gianmaria Ajani ; Guido Boella ; Leonardo Lesmo ; Marco Martin ; Alessandro Mazzei ; Daniele P. Radicioni ; Piercarlo Rossi
Legal Text Processing and Semantic Indexing, Summarization and Translation / Part III:
Semantic Indexing of Legal Documents / Erich Schweighofer
Automated Classification of Norms in Sources of Law / Emile de Maat ; Radboud Winkels
Efficient Multilabel Classification Algorithms for Large-Scale Problems in the Legal Domain / Eneldo Loza Mencía ; Johannes Fürnkranz
An Automatic System for Summarization and Information Extraction of Legal Information / Emmanuel Chieze ; Atefeh Farzindar ; Guy Lapalme
Evaluation Metrics for Consistent Translation of Japanese Legal Sentences / Yasuhiro Ogawa ; Kazuhiro Imai ; Katsuhiko Toyama
Author Index
Legal Text Processing and Information Extraction / Part I:
Legal Language and Legal Knowledge Management Applications / Giulia Venturi
Named Entity Recognition and Resolution in Legal Text / Christopher Dozier ; Ravikumar Kondadadi ; Marc Light ; Arun Vachher ; Sriharsha Veeramachaneni ; Ramdev Wudali
36.

電子ブック

EB
Matthew E. Taylor, Karl Tuyls
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Abstraction and Generalization in Reinforcement Learning: A Summary and Framework / Marc Ponsen ; Matthew E. Taylor ; Karl Tuyls
The Effects of Evolved Sociability in a Commons Dilemma / Enda Howley ; Jim Duggan
Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach / Michael Kaisers
Decentralized Learning in Wireless Sensor Networks / Mihail Mihaylov ; Ann Nowé
Recursive Adaptation of Stepsize Parameter for Non-stationary Environments / Itsuki Noda
Multiagent Reinforcement Learning Model for the Emergence of Common Property and Transhumance in Sub-Saharan Africa / Balázs Pintér ; Ákos Bontovics ; András Lörincz
Learning to Locate Trading Partners in Agent Networks / John Porter ; Kuheli Chakraborty ; Sandip Sen
Coordinating Learning Agents for Multiple Resource Job Scheduling / Kagan Tumer ; John Lawson
Author Index
Abstraction and Generalization in Reinforcement Learning: A Summary and Framework / Marc Ponsen ; Matthew E. Taylor ; Karl Tuyls
The Effects of Evolved Sociability in a Commons Dilemma / Enda Howley ; Jim Duggan
Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach / Michael Kaisers
37.

電子ブック

EB
Jacky Baltes, Saeed Shiry Ghidary, Takeo Kanade, Michail G. Lagoudakis, Tadashi Naruse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Coordinated Action in a Heterogeneous Rescue Team / Fares Alnajar ; Hanne Nijhuis ; Arnoud Visser
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots / Harald Altinger ; Stefan J. Galler ; Stephan Mühlbacher-Karrer ; Gerald Steinbauer ; Franz Wotawa ; Hubert Zangl
Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment / Rodrigo A.M. Braga ; Pedro Malheiro ; Luis Paulo Reis
Creating Photo Maps with an Aerial Vehicle in USARsim / Heikow Bülow ; Andreas Birk ; Shams Feyzabadi
Real-Time Hand Gesture Recognition for Human Robot Interaction / Mauricio Correa ; Javier Ruiz-del-Solar ; Rodrigo Verschae ; Jong Lee-Ferng ; Nelson Castillo
Combining Key Frame Based Motion Design with Controlled Movement Execution / Stefan Czarnetzki ; Sören Kerner ; Daniel Klagges
Applying Dynamic Walking Control for Biped Robots / Oliver Urbann
Modeling Human Decision Making Using Extended Behavior Networks / Klaus Dorer
Motion Synthesis through Randomized Exploration on Submanifolds of Configuration Space / Ioannis Havoutis ; Subramanian Ramamoorthy
Robust and Computationally Efficient Navigation in Domestic Environments / Dirk Holz ; Gerhard K. Kraetzschmar ; Erich Rome
Robust Collision Avoidance in Unknown Domestic Environments / Stefan Jacobs ; Alexander Ferrein ; Stefan Schiffer ; Daniel Beck ; Gerhard Lakemeyer
Real-Time Ball Tracking in a Semi-automated Foosball Table / Rob Janssen ; Jeroen de Best ; René van de Molengraft
Three Humanoid Soccer Platforms: Comparison and Synthesis / Shivaram Kalyanakrishnan ; Todd Hester ; Michael J. Quinlan ; Yinon Bentor ; Peter Stone
[Best Student Paper] Learning Complementary Multiagent Behaviors: A Case Study
Rollover as a Gait in Legged Autonomous Robots: A Systems Analysis / Vadim Kyrylov ; Mihai Catalina ; Henry Ng
Pareto-Optimal Collaborative Defensive Player Positioning in Simulated Soccer / Eddie Hou
A Novel Camera Parameters Auto-adjusting Method Based on Image Entropy / Huimin Lu ; Hui Zhang ; Shaowu Yang ; Zhiqiang Zheng
[Best Paper] Object Recognition with Statistically Independent Features: A Model Inspired by the Primate Visual Cortex / Mohsen Malmir ; Saeed Shiry
Using Genetic Algorithms for Real-Time Object Detection / J. Martínez-Gómez ; J.A. Gámez ; I. García-Varea ; V. Matellán
An Approximate Computation of the Dominant Region Diagram for the Real-Time Analysis of Group Behaviors / Ryota Nakanishi ; Junya Maeno ; Kazuhito Murakami ; Tadashi Naruse
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao / Tim Niemüller
Stable Mapping Using a Hyper Particle Filter / Johannes Pellenz ; Dietrich Paulus
A Characterization of 3D Sensors for Response Robots / Jann Poppinga ; Kaustubh Pathak
Multiple Model Kalman Filters: A Localization Technique for RoboCup Soccer / Richard H. Middleton
Integrated Genetic Algorithmic and Fuzzy Logic Approach for Decision Making of Police Force Agents in Rescue Simulation Environment / Ashkan Radmand ; Eslam Nazemi ; Mohammad Goodarzi
IntellWheels MMI: A Flexible Interface for an Intelligent Wheelchair / Márcio Sousa ; Antonio Paulo Moreira
Analyzing the Human-Robot Interaction Abilities of a General-Purpose Social Robot in Different Naturalistic Environments / J. Ruiz-del-Solar ; M. Mascaró ; M. Correa ; F. Bernuy ; R. Riquelme ; R. Verschae
Communicating among Robots in the RoboCup Middle-Size League / Frederico Santos ; Luís Almeida ; Luís Seabra Lopes ; José Luís Azevedo ; M. Bernardo Cunha
Multi-robot Cooperative Object Localization: Decentralized Bayesian Approach / João Santos ; Pedro Lima
Evolution of Biped Walking Using Truncated Fourier Series and Particle Swarm Optimization / Nima Shafii ; Siavash Aslani ; Omid Mohamad Nezami
Efficient Behavior Learning by Utilizing Estimated State Value of Self and Teammates / Kouki Shimada ; Yasutake Takahashi ; Minoru Asada
Sensor and Information Fusion Applied to a Robotic Soccer Team / João Silva ; Nuno Lau ; João Rodrigues ; António J.R. Neves
Omnidirectional Walking Using ZMP and Preview Control for the NAO Humanoid Robot / Johannes Strom ; George Slavov ; Eric Chown
RoboCup@Home: Results in Benchmarking Domestic Service Robots / Thomas Wisspeintner ; Tijn van der Zan ; Luca Iocchi
Connecting the Real World with the Virtual World - Controlling AIBO through Second Life / Evan Wong ; Wei Liu ; Xiaoping Chen
A Hybrid Agent Simulation System of Rescue Simulation and USARSim Simulations from Going to Fire-Escape Doors to Evacuation to Shelters / Masaru Okaya ; Shigeru Yotsukura ; Tomoichi Takahashi
SSL-Vision: The Shared Vision System for the-RoboCup Small Size League / Stefan Zickler ; Tim Laue ; Oliver Birbach ; Mahisom Wongphati ; Manuela Veloso
Heuristic Formation Control in Multi-robot Systems Using Local Communication and Limited Identification / Michael de Denus ; John Anderson ; Jacky Baltes
Cooperative Multi-robot Map Merging Using Fast-SLAM / N. Ergin Özkucur ; H. Levent Akin
Author Index
Coordinated Action in a Heterogeneous Rescue Team / Fares Alnajar ; Hanne Nijhuis ; Arnoud Visser
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots / Harald Altinger ; Stefan J. Galler ; Stephan Mühlbacher-Karrer ; Gerald Steinbauer ; Franz Wotawa ; Hubert Zangl
Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment / Rodrigo A.M. Braga ; Pedro Malheiro ; Luis Paulo Reis
38.

電子ブック

EB
Friedhelm Schwenker, Neamat Gayar, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Supervised Learning
Pattern Classification Using a Penalized Likelihood Method / Ahmed Al-Ani ; Amir F. Atiya
Evaluation of Feature Selection by Multiclass Kernel Discriminant Analysis / Tsuneyoshi Ishii ; Shigeo Abe
Correlation-Based and Causal Feature Selection Analysis for Ensemble Classifiers / Rakkrit Duangsoithong ; Terry Windeatt
A New Monte Carlo-Based Error Rate Estimator / Ahmed Hefny
Recognition of Sequences of Graphical Patterns / Edmondo Trentin ; ShuJia Zhang ; Markus Hagenbuchner
Maximum Echo-State-Likelihood Networks for Emotion Recognition / Stefan Scherer ; Friedhelm Schwenker
Robustness Analysis of Eleven Linear Classifiers in Extremely High-Dimensional Feature Spaces / Ludwig Lausser ; Hans A. Kestler
Unsupervised Learning
Global Coordination Based on Matrix Neural Gas for Dynamic Texture Synthesis / Banchar Arnonkijpanich ; Barbara Hammer
SIC-Means: A Semi-fuzzy Approach for Clustering Data Streams Using C-Means / Amr Magdy ; Mahmoud K. Bassiouny
The Mathematics of Divergence Based Online Learning in Vector Quantization / Thomas Villmann ; Sven Haase ; Frank-Michael Schleif Barbara Hammer ; Michael Biehl
Cluster Analysis of Cortical Pyramidal Neurons Using SOM / Andreas Schierwagen ; Alan Alpár ; Ulrich Gärtner
Parallelized Kernel Patch Clustering / Stefan Fauβer
Visual Pattern Recognition
Neural Network Cascade for Facial Feature Localization / Thibaud Senechal ; Lionel Prevost ; Shehzad Muhammad Hanif
A Hidden Markov Model Based Approach for Facial Expression Recognition in Image Sequences / Miriam Schmidt ; Martin Schels
Analysis, Interpretation, and Recognition of Facial Action Units and Expressions Using Neuro-Fuzzy Modeling / Mahmoud Khademi ; Mohammad Hadi Kiapour ; Mohammad T. Manzuri-Shalmani ; Ali A. Kiaei
Content-Based Retrieval and Classification of Ultrasound Medical Images of Ovarian Cysts / Abu Sayeed Md. Sohail ; Prabir Bhattacharya ; Sudhir P. Mudur ; Srinivasan Krishnamurthy ; Lucy Gilbert
Applications
A Novel Word Spotting Algorithm Using Bidirectional Long Short-Term Memory Neural Networks / Volkmar Frinken ; Andreas Fischer ; Horst Bunke
Swarm Based Fuzzy Discriminant Analysis for Multifunction Prosthesis Control / Rami N. Khushaba ; Adel Al-Jumaily
Bayesian Learning of Generalized Gaussian Mixture Models on Biomedical Images / Tarek Elguebaly ; Nizar Bouguila
Defective Areas Identification in Aircraft Components by Bivariate EMD Analysis of Ultrasound Signals / Marco Leo ; David Looney ; Tiziana D'Orazio ; Danilo P. Mandic
Different Regions Identification in Composite Strain-Encoded (C-SENC) Images Using Machine Learning Techniques / Abdallah G. Motaal ; Neamat El-Gayar ; Nael F. Osman
Exploiting Neural Networks to Enhance Trend Forecasting for Hotels Reservations / Athanasius Zakhary ; Neamat El Gayar ; Sanaa El-Ola. H. Ahmed
VLSI Architecture of the Fuzzy Fingerprint Vault System / Sung Jin Lim ; Seung-Hoon Chae ; Sung Bum Pan
Invited Talk
Clustering Very Large Dissimilarity Data Sets / Alexander Hasenfuss
Author Index
Supervised Learning
Pattern Classification Using a Penalized Likelihood Method / Ahmed Al-Ani ; Amir F. Atiya
Evaluation of Feature Selection by Multiclass Kernel Discriminant Analysis / Tsuneyoshi Ishii ; Shigeo Abe
39.

電子ブック

EB
Thiago Alexandre Salgueiro Pardo, António Branco, Takeo Kanade, Aldebaro Klautau, Vera Lúcia Strube Lima, Renata Vieira
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Applications: Information Handling
Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese / Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio
Assessing the Impact of Stemming Accuracy on Information Retrieval / Felipe N. Flores ; Viviane P. Moreira ; Carlos A. Heuser
Exploiting Multilingual Grammars and Machine Learning Techniques to Build an Event Extraction System for Portuguese / Vanni Zavarella ; Hristo Tanev ; Jens Linge ; Jakub Piskorski ; Martin Atkinson ; Ralf Steinberger
Formalizing CST-Based Content Selection Operations / Maria Lucía Castro Jorge ; Thiago Alexandre Salgueiro Pardo
Applications: Text Processing
Translating from Complex to Simplified Sentences / Lucia Specia
Challenging Choices for Text Simplification / Caroline Gasperin ; Erick Maziero ; Sandra M. Aluísio
Comparing Sentence-Level Features for Authorship Analysis in Portuguese / Rui Sousa-Silva ; Luís Sarmento ; Tim Grant ; Eugénio Oliveira ; Belinda Maia
Language Processing
A Machine Learning Approach to Portuguese Clause Identification / Eraldo R. Fernandes ; Cícero N. dos Santos ; Ruy L. Milidiú
A Hybrid Approach for Multiword Expression Identification / Carlos Ramisch ; Helena de Medeiros Caseli ; Aline Villavicencio ; André Machado ; Maria José Finatto
Out-of-the-Box Robust Parsing of Portuguese / João Silva ; António Branco ; Sérgio Castro ; Ruben Reis
LXGram: A Deep Linguistic Processing Grammar for Portuguese / Francisco Costa
Language Resources
InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language / Vladia Pinheiro ; Tarcisio Pequeno ; Vasco Furtado ; Wellington Franco
Comparing Verb Synonym Resources for Portuguese / Jorge Teixeira
Auxiliary Verbs and Verbal Chains in European Portuguese / Jorge Baptista ; Nuno Mamede ; Fernando Gomes
P-AWL: Academic Word List for Portuguese / Neuza Costa ; Joaquim Guerra ; Marcos Zampieri ; Maria Cabral
Speech Recognition
Automatic Phone Clustering Based on Confusion Matrices / Carla Lopes ; Arlindo Veiga ; Fernando Perdigão
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface / Patrick Silva ; Pedro Batista ; Nelson Neto ; Aldebaro Klautau
A Baseline System for Continuous Speech Recognition of Brazilian Portuguese Using the West Point Brazilian Portuguese Speech Corpus / Fabiano Weimar dos Santos ; Dante Augusto Couto Barone ; André Gustavo Adami
Speech Synthesis
Voice Quality of European Portuguese Emotional Speech / Ana Nunes ; Rosa Lídia Coimbra ; António Teixeira
Prosodic Prediction in Brazilian Portuguese: A Contribution to Speech Synthesis / Cirineu Cecote Stein
The Role of Morphology in Generating High-Quality Pronunciation Lexica for Regional Variants of Portuguese / Simone Ashby ; José Pedro Ferreira
Author Index
Applications: Information Handling
Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese / Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio
Assessing the Impact of Stemming Accuracy on Information Retrieval / Felipe N. Flores ; Viviane P. Moreira ; Carlos A. Heuser
40.

電子ブック

EB
LÃ〓onard Kwuida, Takeo Kanade, BarıŠSertkaya
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
About the Enumeration Algorithms of Closed Sets / Alain Gély ; Raoul Medina ; Lhouari Nourine
Mathematics: Presenting, Reflecting, Judging / Rudolf Wille
The Role of Concept, Context, and Component for Dependable Software Development / Vasu Alagar ; Mubarak Mohammad ; Kaiyu Wan
Statistical Methods for Data Mining and Knowledge Discovery / Jean Vaillancourt
Regular Contributions
Formal Concept Analysis of Two-Dimensional Convex Continuum Structures
Counting of Moore Families for n=7 / Pierre Colomb ; Alexis Irlande ; Olivier Raynaud
Lattice Drawings and Morphisms / Vincent Duquenne
Approximations in Concept Lattices / Christian Meschke
Hardness of Enumerating Pseudo-intents in the Lectic Order / Felix Distel
On Links between Concept Lattices and Related Complexity Problems / Mikhail A. Babin ; Sergei O. Kuznetsov
An Algorithm for Extracting Rare Concepts with Concise Intents / Yoshiaki Okubo ; Makoto Haraguchi
Conditional Functional Dependencies: An FCA Point of View
Constrained Closed Datacubes / Sébastien Nedjar ; Alain Casali ; Rosine Cicchetti ; Lotfi Lakhal
Conceptual Navigation in RDF Graphs with SPARQL-Like Queries / Sébastien Ferré
An Approach to Exploring Description Logic Knowledge Bases
On Categorial Grammars as Logical Information Systems / Annie Foret
Describing Role Models in Terms of Formal Concept Analysis / Henri Mühle ; Christian Wende
Approaches to the Selection of Relevant Concepts in the Case of Noisy Data / Mikhail Klimushkin ; Sergei Obiedkov ; Camille Roth
Concept Analysis as a Framework for Mining Functional Features from Legacy Code / Amal El Kharraz ; Petko Valtchev ; Hafedh Mili
Concept Neighbourhoods in Lexical Databases / Uta Priss ; L. John Old
A Survey of Hybrid Representations of Concept Lattices in Conceptual Knowledge Processing / Peter Eklund ; Jean Villerd
History
Two Basic Algorithms in Concept Analysis / Bernhard Ganter
Author Index
Invited Talks
About the Enumeration Algorithms of Closed Sets / Alain Gély ; Raoul Medina ; Lhouari Nourine
Mathematics: Presenting, Reflecting, Judging / Rudolf Wille
41.

電子ブック

EB
Anna Isabel Esparcia-Alcázar, Stephen Dignum, Anikó Ekárt, Takeo Kanade, Sara Silva, A. Sima Uyar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Oral Presentations
Genetic Programming for Classification with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
An.Analysis of the Behaviour of Mutation in Grammatical Evolution / Jonathan Byrne ; Michael O'Neill ; James McDermott ; Anthony Brabazon
Positional Effect of Crossover and Mutation in Grammatical Evolution / Tom Castle ; Colin G. Johnson
Sub-tree Swapping Crossover and Arity Histogram Distributions / Stephen Dignum ; Riccardo Poli
Novelty-Based Fitness: An Evaluation under the Santa Fe Trail / John Doucette ; Malcolm I. Heywood
An Analysis of Genotype-Phenotype Maps in Grammatical Evolution / David Fagan ; Edgar Galván-López ; Sean McGarraghy
Handling Different Categories of Concept Drifts in Data Streams Using Distributed GP / Gianluigi Folino ; Giuseppe Papuzzo
An Indirect Approach to the Three-Dimensional Multi-pipe Routing Problem / Marcus Furuholmen ; Kyrre Glette ; Mats Hovin ; Jim Torresen
Phenotypic Diversity in Initial Genetic Programming Populations / David Jackson
A Relaxed Approach to Simplification in Genetic Programming / Thomas Liddle
Unsupervised Problem Decomposition Using Genetic Programming / Ahmed Kattan ; Alexandros Agapitos
GP-Fileprints: File Types Detection Using Genetic Programming
A Many Threaded CUDA Interpreter for Genetic Programming / W.B. Langdon
Controlling Complex Dynamics with Artificial Biochemical Networks / Michael A. Lones ; Andy M. Tyrrell ; Susan Stepney ; Leo S. Caves
Geometric Differential Evolution on the Space of Genetic Programs / Alberto Moraglio ; Sara Silva
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover / Nguyen Quang Uy ; Nguyen Thi Hien ; Nguyen Xuan Hoai
Evolving Genes to Balance a Pole / Miguel Nicolau ; Marc Schoenauer ; Wolfgang Banzhaf
Solution-Locked Averages and Solution-Time Binning in Genetic Programming
Enabling Object Reuse on Genetic Programming-Based Approaches to Object-Oriented Evolutionary Testing / José Carlos Bregieiro Ribeiro ; Mário Alberto Zenha-Rela ; Francisco Fernández de Vega
Analytic Solutions to Differential Equations under Graph-Based Genetic Programming / Tom Seaton ; Gavin Brown ; Julian F. Miller
Learning a Lot from Only a Little: Genetic Programming for Panel Segmentation on Sparse Sensory Evaluation Data / Katya Vladislavleva ; Kalyan Veeramachaneni ; Una-May O'Reilly ; Matt Burland ; Jason Parcon
Posters
Genetic Programming for Auction Based Scheduling / Mohamed Bader-El-Den ; Shaheen Fatima
Bandit-Based Genetic Programming / Jean-Baptiste ; Hoock ; Olivier Teytaud
Using Imaginary Ensembles to Select GP Classifiers / Ulf Johansson ; Rikard König ; Tuve Löfström ; Lars Niklasson
Analysis of Building Blocks with Numerical Simplification in Genetic Programming / David Kinzett
Fast Evaluation of GP Trees on GPGPU by Optimizing Hardware Scheduling / Ogier Maitre ; Nicolas Lachiche ; Pierre Collet
Ensemble Image Classification Method Based on Genetic Image Network / Shiro Nakayama ; Shinichi Shirakawa ; Noriko Yata ; Tomoharu Nagao
Fine-Grained Timing Using Genetic Programming / David R. White ; Juan M.E. Tapiador ; Julio Cesar Hernandez-Castro ; John A. Clark
Author Index
Oral Presentations
Genetic Programming for Classification with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
An.Analysis of the Behaviour of Mutation in Grammatical Evolution / Jonathan Byrne ; Michael O'Neill ; James McDermott ; Anthony Brabazon
42.

電子ブック

EB
Gabriele Puppis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Word Automata and Time Granularities / 2:
Background Knowledge / 2.1:
Words and Languages / 2.1.1:
Periodicity of Words / 2.1.2:
Word Automata / 2.1.3:
Time Granularities / 2.1.4:
The String-Based and Automaton-Based Approaches / 2.2:
The Granspec Formalism / 2.2.1:
From Granspecs to Single-String Automata / 2.2.2:
Counters and Multiple Transitions / 2.2.3:
The Logical Counterpart of RCSSA / 2.2.4:
Compact and Tractable Representations / 2.3:
Nested Repetitions of Words / 2.3.1:
Algorithms on NCSSA / 2.3.2:
Optimizing Representations / 2.3.3:
Reasoning on Sets of Granularities / 2.4:
Languages of Ultimately Periodic Words / 2.4.1:
Ultimately Periodic Automata / 2.4.2:
Algorithms on UPA / 2.4.3:
Applications to Time Granularity / 2.4.4:
Discussion / 2.5:
Tree Automata and Logics / 3:
Graphs and Trees / 3.1:
Tree Automata / 3.1.2:
Monadic Second-Order Logic / 3.1.3:
The Model Checking Problem / 3.1.4:
The Contraction Method for Tree Automata / 3.2:
Features and Types / 3.2.1:
Types and the Acceptance Problem / 3.2.2:
From Trees to Their Retractions / 3.2.3:
An Example / 3.2.4:
Tree Transformations / 3.3:
Tree Recolorings / 3.3.1:
Tree Substitutions / 3.3.2:
Tree Transducers / 3.3.3:
Inverse Substitutions / 3.3.4:
A Summary / 3.3.5:
The Class of Reducible Trees / 3.4:
Compositional Properties of Types / 3.4.1:
Closure Properties / 3.4.2:
Effectiveness of the Contraction Method / 3.5:
Reducible Trees and the Caucal Hierarchy / 3.5.1:
Two-Way Alternating Tree Automata / 3.5.2:
Morphic Trees / 3.5.3:
Layered Temporal Structures / 3.5.4:
Summary / 3.6:
Technical Proofs / A:
Proofs of Theorem 5 and Theorem 6 / A.l:
Proof of Theorem 8 / A.2:
Proof of Proposition 34 / A.3:
References
Notation
Index
Introduction / 1:
Word Automata and Time Granularities / 2:
Background Knowledge / 2.1:
43.

電子ブック

EB
Matteo Baldoni, Jamal Bentahar, Takeo Kanade, John Lloyd, M. Birna Riemsdijk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Playing with Rules / João Leite
Invited Papers
The Refinement of Choreographed Multi-Agent Systems / L&abrave;cr&abrave;mioara Aştef&abrave;noaei ; Frank S. de Boer ; Mehdi Dastani
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust / Célia da Costa Pereira ; Andrea G.B. Tettamanzi
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach / Henrique Lopes Cardoso ; Eugénio Oliveira
Contributed Papers
Unifying the Intentional and Institutional Semantics of Speech Acts / Carole Adam ; Andreas Herzig ; Dominique Longin ; Vincent Louis
Tableaux for Acceptance Logic / Mathijs de Boer ; Tiago de Lima ; Emiliano Lorini
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology / Nicoletta Fornara ; Marco Colombetti
Prioritized Goals and Subgoals in a Logical Account of Goal Change-A Preliminary Report / Shakil M. Khan ; Yves Lespérance
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks / Babak Khosravifar ; Jamal Bentahar ; Maziar Gomrokchi
Computing Utility from Weighted Description Logic Preference Formulas / Azzurra Rogone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games / Michal P. Sindlar ; Mehdi M. Dastani ; Frank Dignum ; John-Jules Ch. Meyer
Correctness Properties for Multiagent Systems / Munindar P. Singh ; Amit K. Chopra
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming / Tran Cao Son ; Chiaki Sakama
Social Commitments in Time: Satisfied or Compensated / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
Verifying Dribble Agents / Doan Thu Trang ; Brian Logan ; Natasha Alechina
Author Index
Invited Talk
Playing with Rules / João Leite
Invited Papers
44.

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Manh Thanh Le
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Web-Based Systems for Data Management
Enhancing Accuracy of Recommender System through Adaptive Similarity Measures Based on Hybrid Features / Deepa Anand ; Kamal K. Bharadwaj
Exploring Wikipedia and Text Features for Named Entity Disambiguation / Hien T. Nguyen ; Tru H. Cao
Telemedical System in Evaluation of Auditory Brainsteam Responses and Support of Diagnosis / Piotr Strzelczyk ; Ireneusz Wochlik ; Ryszard Tadeusiewicz ; Andrzej Izworski ; Jaroslaw Bulka
Service Discovery in the SOA System / Krzysztof Brzostowski ; Witold Rekuc ; Janusz Sobecki ; Leopold Szczurowski
An Information Theoretic Web Site Navigability Classification / Cheng-Tzu Wang ; Chih-Chung Lo ; Chia-Hsien Tseng ; Jong-Ming Chang
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning / César Andrés ; Mercedes G. Merayo ; Yaofeng Zhang
Managing Web Services in SOKU Systems / Agnieszka Prusiewicz
Autonomous Systems
A Computational Analysis of Cognitive Effort / Luca Longo ; Stephen Barrett
An Algorithm for Computing Optimal Coalition Structures in Non-linear Logistics Domains / Chattrakul Sombattheera
Collaborative Systems
Moral Hazard Resolved by Common-Knowledge in S5n Logic / Takashi Matsuhisa
An Algorithmic Approach to Social Knowledge Processing and Reasoning Based on Graph Representation - A Case Study / Zbigniew Tarapata ; Mariusz Chmielewski ; Rafal Kasprzyk
A Real Time Player Tracking System for Broadcast Tennis Video / Bao Dang ; An Tran ; Tien Dinh ; Thang Dinh
Twittering for Earth: A Study on the Impact of Microblogging Activism on Earth Hour 2009 in Australia / Marc Cheong ; Vincent Lee
Student Courses Recommendation Using Ant Colony Optimization / Jakub M. Tomczak
Web Ontology Building System for Novice Users: A Step-by-Step Approach / Shotaro Yasunaga ; Mitsunori Nakatsuka ; Kazuhiro Kuwabara
Automatic Lexical Annotation Applied to the SCARLET Ontology Matcher / Laura Po ; Sonia Bergamaschi
State of the Art of Semantic Business Process Management: An Investigation on Approaches for Business-to-Business Integration / Hanh Huu Hoang ; Phuong-Chi Thi Tran ; Thanh Manh Le
Tools and Applications
Evolving Concurrent Petri Net Models of Epistasis / Michael Mayo ; Lorenzo Beretta
Partial Orderings for Ranking Help Functions / Sylvia Encheva ; Sharil Tumin
Robust Prediction with ANNBFIS System / Robert Czabanski ; Michal Jezewski ; Krzysztof Horoba ; Janusz Jezewski ; Janusz Wróbel
An Unsupervised Learning and Statistical Approach for Vietnamese Word Recognition and Segmentation / Hieu Le Trung ; Vu Le Anh ; Kien Le Trung
Named Entity Recognition for Vietnamese / Dot Ba Nguyen ; Son Huu Hoang ; Son Bao Pham ; Thai Phuong Nguyen
Task Allocation in Mesh Connected Processors with Local Search Meta-heuristic Algorithms / Wojciech Kmiecik ; Marek Wojcikowski ; Leszek Koszalka ; Andrzej Kasprzak
Computer System for Making Efficiency Analysis of Meta-heuristic Algorithms to Solving Nesting Problem / Pawel Bogalinski ; Iwona Pozniak-Koszalka
Towards Collaborative Library Marketing System for Improving Patron Satisfaction / Toshiro Minami
Multiple Model Approach to Machine Learning
DAG Scheduling on Heterogeneous Distributed Systems Using Learning Automata / Habib Moti Ghader ; Davood KeyKhosravi ; Ali HosseinAliPour
Visualization of the Similar Protein Structures Using SOM Neural Network and Graph Spectra / Do Phuc ; Nguyen Thi Kim Phung
Real Time Traffic Sign Detection Using Color and Shape-Based Features / Tam T. Le ; Son T. Tran ; Seichii Mita ; Thuc D. Nguyen
Standard Additive Fuzzy System for Stock Price Forecasting / Sang Thanh Do ; Thi Thanh Nguyen ; Dong-Min Woo ; Dong-Chul Park
Complex Neuro-Fuzzy Self-learning Approach to Function Approximation / Chunshien Li ; Tai- Wei Chiang
On the Effectiveness of Gene Selection for Microarray Classification Methods / Zhongwei Zhang ; Jiuyong Li ; Hong Hu ; Hong Zhou
A Multiple Combining Method for Optimizing Dissimilarity-Based Classification / Sang- Woon Kim ; Seunghwan Kim
A Comparative Study on the Performance of Several Ensemble Methods with Low Subsampling Ratio / Zaman Faisal ; Hideo Hirose
Analysis of Bagging Ensembles of Fuzzy Models for Premises Valuation / Marek Krzystanek ; Tadeusz Lasota ; Zbigniew Telec ; Bogdan Trawinski
Comparison of Bagging, Boosting and Stacking Ensembles Applied to Real Estate Appraisal / Magdalena Graczyk ; Krzysztof Trawinski
A Three-Scan Algorithm to Mine High On-Shelf Utility Itemsets / Guo-Cheng Lan ; Tzung-Pei Hong ; Vincent S. Tseng
Incremental Prediction for Sequential Data / Tomasz Kajdanowicz ; Przemyslaw Kazienko
Predictive Maintenance with Multi-target Classification Models / Mark Last ; Alla Sinaiski ; Halasya Siva Subramania
Modeling and Optimization Techniques in Information Systems, Database Systems and Industrial Systems
Multiresolution Models and Algorithms of Movement Planning and Their Application for Multiresolution Battlefield Simulation
An Algorithm for Generating Efficient Outcome Points for Convex Multiobjective Programming Problem / Nguyen Thi Bach Kim ; Le Quang Thuy
Resources Utilization in Distributed Environment for Complex Services / Adam Grzech
DCA for Minimizing the Cost and Tardiness of Preventive Maintenance Tasks under Real-Time Allocation Constraint / Tran Duc Quynh ; Le Thi Hoai An ; Kondo Hloindo Adjallah
Cooperative Agents Based-Decentralized and Scalable Complex Task Allocation Approach Pro Massive Multi-Agents System / Zaki Brahmi ; Mohamed Mohsen Gammoudi ; Malek Ghenima
Mining Informative Rule Set for Prediction over a Sliding Window / Nguyen Dot Nhan ; Nguyen Thanh Hung ; Le Hoai Bac
Using Text Classification Method in Relevance Feedback / Zilong Chen ; Yang Lu
Fast and Near Optimal Parity Assignment in Palette Images with Enhanced CPT Scheme / Nguyen Hai Thanh ; Phan Trung Huy
Solving QoS Routing Problems by DCA / Ta Ank Son ; Djamel Khadraoui ; Pham Dinh Tao
Perceptual Watermarking Using a Multi-scale JNC Model / Phi-Bang Nguyen ; Marie Luong ; Azeddine Beghdadi
Author Index
Web-Based Systems for Data Management
Enhancing Accuracy of Recommender System through Adaptive Similarity Measures Based on Hybrid Features / Deepa Anand ; Kamal K. Bharadwaj
Exploring Wikipedia and Text Features for Named Entity Disambiguation / Hien T. Nguyen ; Tru H. Cao
45.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speeches
Declarative Technologies for Open Agent Systems and Beyond / Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Knowledge Representation for Automated Reasoning / Joanna Józefowska
Discovery of Processes and Their Interactions from Data and Domain Knowledge / Andrzej Skowron
Multi-Agent Systems Design and Implementation
Engaging the Dynamics of Trust in Computational Trust and Reputation Systems / Agnieszka Danek ; Joana Urbano ; Ana Paula Rocha ; Eugénio Oliveira
An Evaluation Method for Multi-Agent Systems / Pierpaolo Di Bitonto ; Maria Laterza ; Teresa Roselli ; Veronica Rossano
Trust Estimation Using Contextual Fitness
A Method for Improving Agent's Autonomy / Izabela Rejer
Service Oriented Context-Aware Software Agents for Greater Efficiency / Kutila Gunasekera ; Arkady Zaslavsky ; Shonali Krishnaswamy ; Seng Wai Loke
Methods of Task Redistribution in Multiagent Systems / Piotr Kalinowski ; Radostaw Katarzyniak
REST-A and Intercycle Messages / Michael Bergeret ; Abdelkader Gouaïch
Negotiations and Social Issues
Improving Multi-agent Negotiations Using Multi-Objective PSO Algorithm / Ahmad Esmaeili ; Nasser Mozayani
Including Notions of Fairness in Development of an Integrated Multi-agent Online Dispute Resolution Environment / Brooke Abrahams ; John Zeleznikow
Role Monitoring in Open Agent Societies
Trust and Distrust Prediction in Social Network with Combined Graphical and Review-Based Attributes / Piotr Borzymek ; Marcin Sydow
Web Services and Semantic Web
A Method for Reasoning about Complex Services within Geographic Information Systems / Piotr Grobelny
Providing Web Service of Established Quality with the Use of HTTP Requests Scheduling Methods / Krzysztof Zatwarnicki
Three-Valued Paraconsistent Reasoning for Semantic Web Agents / Linh Anh Nguyen ; Andrzej Szatas
A Framework of an Agent-Based Personal Assistant for Internet Users / Bernadetta Mianowska ; Ngoc Thanh Nguyen
Building Multiagent Environment for Military Decision Support Tools with Semantic Services / Mariusz Chmielewski ; Marcin Wilkos ; Krzysztof Wilkos
Information Flow Based Specification of Data Integration Problem / Grazyna Brzykcy
Cooperation, of Coordination and Teamwork
Cooperation of Agents in Manufacturing Systems / František Capkovic
Mitigating Human-Human Collaboration Problems Using Software Agents / Moamin Ahmed ; Mohd Sharifuddin Ahmad ; Mohd. Zaliman M. Yusoff
Team Formation and Optimization for Service Provisioning / Kresimir Jurasovic ; Mario Kusek ; Gordan Jezic
Self-adaptation Strategies to Favor Cooperation / Markus Eberling ; Hans Kleine Büning
The Effects of Local Trust Cooperation in Multiagent Systems / Thomas Schmidt
Using BDI-Agents with Coordination without Communication to Increase Lifetime, Preserving Autonomy and Flexibility in Wireless Sensor Networks / Underléa Corrêa ; Francisco Vasques ; Jomi Hübner ; Carlos Montez
Towards an Integrated Approach of Real-Time Coordination for Multi-agent Systems / Ghulam Mahdi ; Fabien Michel
Agent-Based Modeling, Simulation and Decision Making
The Influence of Call Graph Topology on the Dynamics of Telecommunication Markets / Bogumil Kaminski ; Maciej Latek
Classifying Agent Behaviour through Relational Sequential Patterns / Grazia Bombini ; Nicola Di Mauro ; Stefano Ferilli ; Floriana Esposito
Multi-agent Based Simulation of Animal Food Selective Behavior in a Pastoral System / Islem Henane ; Lamjed Ben Said ; Sameh Hadouaj ; Nasr Ragged
Movement Simulation and Management of Cooperating Objects in CGF Systems: A Case Study / Zbigniew Tarapata
Simulating Collective Intelligence of the Communities of Practice Using Agent-Based Methods / Emil Scarlat ; Iulia Maries
Using Perseus System for Modelling Epistemic Interactions / Magdalena Kacprzak ; Piotr Kulicki ; Robert Trypuz ; Katarzyna Budzynska ; Pawel Garbacz ; Marek Lechniak ; Pawel Rembelski
Agent-Based Approach in Evacuation Modeling / Jarostaw Was ; Konrad Kulakowski
Multi-Agent Applications
Core Non-emptiness Checking in Hedonic Games via Difference Logic ... / Helena Keinänen
Distributed Classification: Architecture and Cooperation Protocol in a Multi-agent System for E-Health / Nicolas Singer ; Sylvie Trouilhet ; Ali Rammal ; Jean-Marie Pecatte
Multidimensional Data Visualization Applied for User's Questionnaire Data Quality Assessment / Jarostaw Drapata ; Dmitrij Zatuchin ; Janusz Sobecki
Early Contention Notification for TCP Performance in Mobile Ad Hoc Networks / Woosuck Chang ; Chen Ni ; Geumdeok Kim ; Chonggun Kim
Agent-Based Remote Conversation Support for People with Aphasia / Kazuhiro Kuwabara ; Yuya Shimode ; Shohei Miyamoto
On the Effective Distribution of Knowledge Represented by Complementary Graphs / Leszek Kotulski ; Adam Sedziwy
Building Group Recommendations in E-learning Systems / Danuta Zakrzewska
Leader Election Based on Centrality and Connectivity Measurements in Ad Hoc Networks / Mary Wu ; Jason J. Jung
Concept of Analysing Spreading of an "Epidemics" by Means of a Multi-Agent Simulation / Bartosz Lipiéski ; Tomasz Tarnawski
A Multi-Agent System to Assist with Property Valuation Using Heterogeneous Ensembles of Fuzzy Models / Magdalena Graczyk ; Tadeusz Lasota ; Zbigniew Telec ; Bogdan Trawinski
Performance Evaluation of Multiagent Systems for Power System Topology Verification / Kazimierz Wilkosz ; Zofia Kruczkiewicz ; Tomasz Babczysnski ; Wojciech Penar
Author Index
Keynote Speeches
Declarative Technologies for Open Agent Systems and Beyond / Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Knowledge Representation for Automated Reasoning / Joanna Józefowska
46.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Management and e-Business
Agent-Based Decision Making in the Electronic Marketplace: Interactive Negotiation / Sung Ho Ha
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Personalized Support for Management of Financial Instruments by Means of Software Agents / Jarogniew Rykowski
MAS Approach to Business Models Simulations: Supply Chain Management Case Study / Jacek Jakiela ; Pawel Litwin ; Marcin Olech
Analysing Bidder Performance in Randomised and Fixed-Deadline Automated Auctions / Kumaara Velan ; Erol Gelenbe
Mobile Agents and Robots
cljRobust - Clojure Programming API for Lego Mindstorms NXT / Konrad Kulakowski
Agent-Enabled Collaborative Downloading: Towards Energy-Efficient Provisioning of Group-Oriented Services / Iva Bojic ; Vedran Podobnik ; Mario Kusek
Lifespan-Aware Routing for Wireless Sensor Networks / Adam Czubak ; Jakub Wojtanowski
Machine Learning
A Machine Learning Approach to Speech Act Classification Using Function Words / James O'Shea ; Zuhair Bandar ; Keeley Crockett
Neural Networks for Solving the Superposition Problem Using Approximation Method and Adaptive Learning Rate / Théophile K. Dagba ; Villevo Adanhounmè ; Sèmiyou A. Adédjouma
Distributed Data Mining System Based on Multi-agent Communication Mechanism / Sung Gook Kim ; Kyeong Deok Woo ; Jerzy Bala ; Sung Wook Baik
Biologically Inspired Agent System Based on Spiking Neural Network / Bartlomiej Józef Dzienkowski ; Urszula Markowska-Kaczmar
Agent-Based Optimization (ABO2010)
Cooperative Optimization in Cellular Automata - Based Multiagent Systems with Spatio-temporally Generalized Prisoner's Dilemma Model / Michal Seredynski ; Romuald Kotowski ; Wojciech Maka
An Agent-Based Simulated Annealing Algorithm for Data Reduction / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Feature Set Reduction by Evolutionary Selection and Construction / Katarzyna Drozdz ; Halina Kwasnicka
Iterative Method for Improving Consistency of Multi-attribute Object Judgments Performed by Teams of Decision Makers / Henryk Piech ; Urszula Bednarska
Experimental Investigation of the Synergetic Effect Produced by Agents Solving Together Instances of the Euclidean Planar Travelling Salesman Problem / Izabela Wierzbowska
Multidimentional Self-organization for Online Time-Constrained Vehicle Routing Problems / Besma Zeddini ; Mahdi Zargayouna
Cooperative Solution to the Vehicle Routing Problem / Dariusz Barbucha
AdQL - Anomaly Detection Q-Learning in Control Multi-queue Systems with QoS Constraints / Michal Stanek
Two Ensemble Classifiers Constructed from GEP-Induced Expression Trees / Joanna Jedrzejowicz
Experimental Evaluation of the A-Team Solving Instances of the RCPSP/max Problem / Ewa Ratajczak-Ropel
Agent-Enabled Social Computing (AESC2010)
Early Warning of Cardiac Problems in a Crowd / Przemyslaw Gawronski ; Khalid Saeed ; Krzysztof Kulakowski
Symmetry Approach to Evacuation Scenarios / Wieslawa Sikora ; Janusz Malinowski
Development of a Cognitive-Emotional Model for Driver Behavior / Christian Maag ; Christian Mark ; Hans-Peter Krüger
Modelling Dynamic Forgetting in Distributed Information Systems / Nicolas Höning ; Martijn C. Schut
Integrated Modeling of Cognitive Agents in Socio-technical Systems / Alexei Sharpanskykh
Digital Economy (DE2010)
Aggregated Information Representation for Technical Analysis on Stock Market with Csiszár Divergence / Ryszard Szupiluk ; Piotr Wojewnik ; Tomasz Zabkowski
Implementation of Network Oriented Manufacturing Structures / Marek Dudek ; Pawel Pawlewski
Supply Chain Arrangements in Recovery Network / Arkadiusz Kawa ; Paulina Golinska
A Study of Stock Market Trading Behavior and Social Interactions through a Multi Agent Based Simulation / Zahra Kodia ; Lamjed Ben Said ; Khaled Ghedira
e-Sourcing Cluster Strategies: Empathy vs. Egoism / Konrad Fuks
Application of Economic Order Value for Creation of Time-Defined Transactions in Web-Based Open Sourcing System / Grzegorz Klimarczyk ; Zygmunt Kopacz ; Michal Masadynski
Using Intelligent Systems for Information Technology Assessment (ISITA2010)
Ontology as a Tool for the IT Management Standards Support / Adam Czarnecki ; Cezary Orlowski
Methods of Incomplete and Uncertain Knowledge Acquisition in the Knowledge Processing Environment / Tomasz Sitek ; Rafal Rybacki
An Approach to Agent-Based Supporting System for IT Projects / Artur Ziólkowski
Doctoral Track
ACO-GA Approach to Paper-Reviewer Assignment Problem in CMS / Tomasz Kolasa ; Dariusz Król
Updatable Multi-agent OSGi Architecture for Smart Home System / Piotr Jaszczyk
An Approach to Evaluate the Impact of Web Traffic in Web Positioning / Pawel Kowalski
Agent System for Managing Distributed Mobile Interactive Documents / Magdalena Godlewska
Multiagent Means of Bandwidth Allocation for Telecommunication Market / Adam Potomski
Author Index
Management and e-Business
Agent-Based Decision Making in the Electronic Marketplace: Interactive Negotiation / Sung Ho Ha
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
47.

電子ブック

EB
Francisco J. Perales, Robert B. Fisher, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
48.

電子ブック

EB
Pierre Collet, Takeo Kanade, Pierrick Legrand, Evelyne Lutton, Nicolas Monmarché, Marc Schoenauer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Theory
Extremal Optimization Dynamics in Neutral Landscapes: The Royal Road Case / I. De Falco ; A. Della Cioppa ; D. Maisto ; U. Scafuri ; E. Tarantino
Improving the Scalability of EA Techniques: A Case Study in Clustering / Stefan R. Bach ; A. Sima Uyar ; Jürgen Branke
Ant Colony Optimization
MC-ANT: A Multi-Colony Ant Algorithm / Leonor Melo ; Francisco Pereira ; Ernesto Costa
Applications
Artificial Evolution for 3D PET Reconstruction / Franck P. Vidal ; Delphine Lazaro-Ponthus ; Samuel Legoupil ; Jean Louchet ; Evelyne Lutton ; Jean-Marie Rocchisani
A Hybrid Genetic Algorithm/Variable Neighborhood Search Approach to Maximizing Residual Bandwidth of Links for Route Planning / Gajaruban Kandavanam ; Dmitri Botvich ; Sasitharan Balasubramaniam ; Brendan Jennings
Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors / Shigeyoshi Tsutsui
On the Difficulty of Inferring Gene Regulatory Networks: A Study of the Fitness Landscape Generated by Relative Squared Error / Francesco Sambo ; Marco A. Montes de Oca ; Barbara Di Camillo ; Thomas Stützle
Combinatorial Optimization
Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three / Eduardo Rodriguez-Tello ; Jose Torres-Jimenez
A Priori Knowledge Integration in Evolutionary Optimization / Paul Pitiot ; Thierry Coudert ; Laurent Geneste ; Claude Baron
Robotics
On-Line, On-Board Evolution of Robot Controllers / N. Bredeche ; E. Haasdijk ; A. E. Eiben
The Transfer of Evolved Artificial Immune System Behaviours between Small and Large Scale Robotic Platforms / Amanda M. Whitbrook ; Uwe Aickelin ; Jonathan M. Garibaldi
Multi-objective Optimization
An Analysis of Algorithmic Components for Multiobjective Ant Colony Optimization: A Case Study on the Biobjective TSP / Manuel López-Ibáñez
Alternative Fitness Assignment Methods for Many-Objective Optimization Problems / Mario Garza Fabre ; Gregorio Toscano Pulido ; Carlos A. Coello Coello
Genetic Programming
Evolving Efficient List Search Algorithms / Kfir Wolfson ; Moshe Sipper
Semantic Similarity Based Crossover in GP: The Case for Real-Valued Function Regression / Nguyen Quang Uy ; Michael O'Neill ; Nguyen Xuan Hoai ; Bob Mckay ; Edgar Galván-López
Genetic-Programming Based Prediction of Data Compression Saving / Ahmed Kattan ; Riccardo Poli
Machine Learning
On the Characteristics of Sequential Decision Problems and Their Impact on Evolutionary Computation and Reinforcement Learning / André M.S. Barreto ; Douglas A. Augusto ; Helio J.C. Barbosa
Author Index
Theory
Extremal Optimization Dynamics in Neutral Landscapes: The Royal Road Case / I. De Falco ; A. Della Cioppa ; D. Maisto ; U. Scafuri ; E. Tarantino
Improving the Scalability of EA Techniques: A Case Study in Clustering / Stefan R. Bach ; A. Sima Uyar ; Jürgen Branke
49.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
50.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
51.

電子ブック

EB
Eyke Hüllermeier, Frank Hoffmann, Takeo Kanade, Rudolf Kruse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Machine Learning and Data Mining
Similarity and Instinguishability
Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View / Bernadette Bouchon-Meunier ; Giulianella Coletti ; Marie-Jeanne Lesot ; Maria Rifqi
A Stochastic Treatment of Similarity / Anca Ralescu ; Sofia Visa ; Stefana Popovici
Order-Based Equivalence Degrees for Similarity and Distance Measures
Comparing Partitions by Subset Similarities / Thomas A. Runkler
Finitely Valued Indistinguishability Operators / Gaspar Mayor ; Jordi Recasens
Discovering Rules-Based Similarity in Microarray Data / Andrzej Janusz
Clustering and Classification
Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion / Ludmila Himmelspach ; Stefan Conrad
Automatic Detection of Active Region on EUV Solar Images Using Fuzzy Clustering / M. Carmen Aranda ; Carlos Caballero
On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers / Edwin Lughofer
Multi-class Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning / Alberto Fernández ; Mara José del Jesus ; Francisco Herrera
Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints / Jerzy Blaszczynski ; Roman Slowinski ; Marcin Szelag
Web Page Classification: A Probabilistic Model with Relational Uncertainty / Elisabetta Fersini ; Enza Messina ; Francesco Archetti
Evidential Multi-Label Classification Approach to Learning from Data with Imprecise Labels / Zoulficar Younes ; Fahed Abdallah ; Thierry Denœux
A K-Neareat Neighbours Method Based on Lower Previsions / Sebastien Destercke
Statistics with Imprecise Data
Fuzzy Probabilities: Tentative Discussions on the Mathematical Concepts / Enric Trillas ; Takehiko Nakama ; Itziar García-Honrado
On Dealing with Imprecise Information in a Content Based Image Retrieval System / Tatiana Jaworska ; Janusz Kacprzyk ; Nicolas Marín ; Stawomir Zadrozny
Au Extension of Stochastic Dominance to Fuzzy Random Variables / Farid Aiche ; Didier Dubois
Correlation of Intuitionistic Fuzzy Sets / Eulalia Szmidt
A Correlation Ratio for Possibility Distributions / Robert Pullér ; József Mezei ; Péter Várlaki
Data Analysis
On Nonparametric Predictive Inference for Ordinal Data / Frank P.A. Coolen ; Pauline Coolen-Schrijner ; Tahani A. Maturi
Using Cloudy Kernels for Imprecise Linear Filtering / Olivier Strauss
Peakedness and Generalized Entropy for Continuous Density Functions / Inés Couso
The Most Representative Utility Function for Non-Additive Robust Ordinal Regression / Silvia Angilella ; Salvatore Greco ; Benedetto Matarazzo
Alternative Normalization Schemas for Bayesian Confirmation Measures / Roman Stowinski ; Izabela Szczech
Feature Analysis
Gender and Age Estimation from Synthetic Face Images / Alberto N. Escalante ; B. Laurenz Wiskott
Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity / Kemal Ince ; Frank Klawonn
Concept Analysis
Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling / Yassine Djouadi ; Henri Prade
A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis / Bruno Gaume ; Emmanuel Navarro
Negotiation as Creative Social Interaction Using Concept Hierarchies / Frederick E. Petry ; Ronald R. Yager
Temporal Data Mining
Estimating Top-k Destinations in Data Streams / Nuno Homem ; Joao Paulo Carvalho
A Data Mining Algorithm for Inducing Temporal Constraint Networks / Miguel R. Álvarez ; Paulo Félix ; Purificación Carineña ; Abraham Otero
Analysis of the Time Evolution of Scientograms Using the Subdue Graph Mining Algorithm / Arnaud Quirin ; Oscar Gordón ; Prakash Shelokar ; Carmen Zarco
Short-Time Prediction Based on Recognition of Fuzzy Time Series Patterns / Gernot Herbst ; Steffen F. Bocklisch
Time Series Comparison Using Linguistic Fuzzy Techniques / Rita Castillo-Ortega ; Nicolás Marín ; Daniel Sánchez
Granular Approach for Evolving System Modeling / Daniel Leite ; Pyramoi Costa Jr. ; Fernando Gomide
Data Mining Applications
Data Mining in Precision Agriculture: Management of Spatial Information / Georg Ru? ; Alexander Brenning
Fuzzy Multivariable Gaussian Evolving Approach for Fault Detection and Diagnosis / André Lemos ; Walmir Gaminhas
Dispersion Estimates for Telecommunications Fraud / João Paulo Carvalho
The Link Prediction Problem in Bipartite Networks / Jérôme Kunegis ; Ernesto W. De Luca ; Sahin Albayrak
Aggregation and Fusion
Aggregation
Symmetrization of Modular Aggregation Functions / Radko Mesiar ; Andrea Mesiarová-Zemánková
Smooth Aggregation Functions on Finite Scales / Margalida Mas ; Miquel Monserrat ; Joan Torrens
Dual Representable Aggregation Functions and Their Derived S-Implications / Isabel Aguiló ; Marc Carbonell ; Jaume Suñer
Aggregation Functions with Stronger Types of Monotonicity / Erich Peter Klement ; Maddalena Manzi
Some Remarks on the Characterization of Idempotent Uninorms / Daniel Ruiz-Aguilera ; Bernard De Baets ; Janos Fodor
On the Median and Its Extensions / Gleb Beliakov ; Humberto Bustince ; Javier Fernandez
Information Fusion
Evidential Combination of Multiple HMM Classifiers for Multi-script Handwritting Recognition / Yousri Kessentini ; Thomas Burger ; Thierry Paquet
Using Uncertainty Information to Combine Soft Classifications / Luisa M.S. Goncalves ; Cidália C. Fonte ; Mario Caetano
Performance Evaluation of a Fusion System Devoted to Image Interpretation / Abdellah Lamallem ; Lionel Valet ; Didier Coquin
A New Adaptive Consensus Reaching Process Based on the Experts' Importance / Ignacio J. Pérez ; F.J. Cabrerizo ; S. Alonso ; E. Herrera-Viedma
Integrals
On the Robustness for the Choquet Integral / Christophe Labreuche
Explicit Descriptions of Bisymmetric Sugeno Integrals / Miguel Couceiro ; Erkko Lehtonen
Learning Fuzzy-Valued Fuzzy Measures for the Fuzzy-Valued Sugeno Fuzzy Integral / Derek T. Anderson ; James M. Keller ; Timothy C. Havens
Choquet Integration on Set Systems / U. Faigle ; M. Grabisch ; M. Heyne
Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty / Nahla Ben Amor ; Hélène Fargier ; Wided Guezguez
Preference Modeling
A Fuzzy-Rule-Based Approach to Contextual Preference Queries / Allel Hadjali ; Amine Mokhtari ; Olivier Pivert
Extracting and Modelling Preferences from Dialogue / Nicholas Asher ; Elise Bonzon ; Alex Lascarides
Argumentation Framework with Fuzzy Preference Relations / Souhila Kaci
An Algorithm for Generating Consistent and Transitive Approximations of Reciprocal Preference Relations / Steven Freson ; Hans De Meyer
Preference Modeling and Model Management for Interactive Multi-objective Evolutionary Optimization / Johannes Krettek ; Jan Braun ; Frank Hoffmann ; Torsten Bertram
Dominance-Based Rough Set Approach to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty
Uncertainty Handling
Fuzzy Methods
Trimming Plethoric Answers to Fuzzy Queries: An Approach Based on Predicate Correlation / Patrick Bosc ; Grégory Smits
Searching Aligned Groups of Objects with Fuzzy Criteria / Maria Carolina Vanegas ; Isabelle Bloch ; Jordi Inglada
How to Translate Words into Numbers? A Fuzzy Approach for the Numerical Translation of Verbal Probabilities / Franziska Bocklisch ; Josef F. Krems
Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS / Virupaksha Kanjilal ; Hecken Liu ; Markus Schneider
Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method / Vilém Novák
Cytoplasm Contour Approximation Based on Color Fuzzy Sets and Color Gradient / Santiago Romani ; Belen Prados-Suárez ; Pilar Sobrevilla ; Eduard Montseny
Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies / Lena Wiese
Inference with Fuzzy and Probabilistic Information / Barbara Vantaggi
Bayesian Networks
Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever / Linda C. van der Gaag ; Janneke Bolt ; Willie Loeffen ; Armin Elbers
An Importance Sampling Approach to Integrate Expert Knowledge When Learning Bayesian Networks from Data / Andrés Cano ; Andrés R. Masegosa ; Serafín Moral
Belief Functions
Conflicts within and between Belief Functions / Milan Daniel
Consonant Continuous Belief Functions Conflicts Calculation / Jean-Marc Vannobel
Credal Sets Approximation by Lower Probabilities: Application to Credal Networks / Alessandro Antonucci ; Fabio Cuzzolin
Rule Discovery Process Based on Rough Sets under the Belief Function Framework / Salsabil Trabelsi ; Zied Elouedi ; Pawan Lingras
Independent Natural Extension / Gert de Cooman ; Enrique Miranda ; Marco Zaffalon
Logics
On Elementary Extensions in Fuzzy Predicate Logics / Pilar Dellunde ; Francesc Esteva
Logical Proportions - Typology and Roadmap / Gilles Richard
Author Index
Machine Learning and Data Mining
Similarity and Instinguishability
Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View / Bernadette Bouchon-Meunier ; Giulianella Coletti ; Marie-Jeanne Lesot ; Maria Rifqi
52.

電子ブック

EB
Pedro Meseguer, Rafael M. Gasca, Takeo Kanade, Lawrence Mandow
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
53.

電子ブック

EB
Guido Governatori, Takeo Kanade, Giovanni Sartor
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
54.

電子ブック

EB
Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Y-Means: An Autonomous Clustering Algorithm (Invited Paper) / Ali A. Ghorbani ; Iosif-Viorel Onut
A Survey and Analysis of Frameworks and Framework Issues for Information Fusion Applications (Invited Paper) / James Llinas
A Regular Tetrahedron Formation Strategy for Swarm Robots in Three-Dimensional Environment / M. Fikret Ercan ; Xiang Li ; Ximing Liang
Markovian Ants in a Queuing System / Ilija Tanackov ; Dragan Simic ; Siniša Sremac ; Jovan Tepic ; Suncica Kocic-Tanackov
A Parametric Method Applied to Phase Recovery from a Fringe Pattern Based on a Particle Swarm Optimization / J.F. Jimenez ; F.J. Cuevas ; J.H. Sossa ; L.E. Gomez
Automatic PSO-Based Deformable Structures Markerless Tracking in Laparoscopic Cholecystectomy / Haroun Djaghloul ; Mohammed Batouche ; Jean-Pierre Jessel
A Framework for Optimization of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization / Hajira Jabeen ; Abdul Rauf Baig
Developing an Intelligent Parking Management Application Based on Multi-agent Systems and Semantic Web Technologies / Andrés Muñoz ; Juan A. Botía
Linked Multicomponent Robotic Systems: Basic Assessment of Linking Element Dynamical Effect / Borja Fernandez-Gauna ; Jose Manuel Lopez-Guede ; Ekaitz Zulueta
Social Simulation for AmI Systems Engineering / Teresa Garcia-Valverde ; Emilio Serrano ; Juan A. Botia
Automatic Behavior Pattern Classification for Social Robots / Abraham Prieto ; Francisco Bellas ; Pilar Caamaño ; Richard J. Duro
Healthcare Information Fusion Using Context-Aware Agents / Dante I. Tapia ; Juan A. Fraile ; Ana de Luis ; Javier Bajo
Multivariate Discretization for Associative Classification in a Sparse Data Application Domain / María N. Moreno García ; Joel Pinho Lucas ; Vivian F. López Batista ; M. José Polo Martín
Recognition of Turkish Vowels by Probabilistic Neural Networks Using Yule-Walker AR Method / Erdem Yavuz ; Vedat Topuz
A Dynamic Bayesian Network Based Structural Learning towards Automated Handwritten Digit Recognition / Olivier Pauplin ; Jianmin Jiang
A Dual Network Adaptive Learning Algorithm for Supervised Neural Network with Contour Preserving Classification for Soft Real Time Applications / Piyabute Fuangkhon ; Thitipong Tanprasert
The Abnormal vs. Normal ECG Classification Based on Key Features and Statistical Learning / Jun Dong ; Jia-fei Tong ; Xia Liu
Classification of Wood Pulp Fibre Cross-Sectional Shapes / Asuka Yamakawa ; Gary Chinga-Carrasco
A Hybrid Cluster-Lift Method for the Analysis of Research Activities / Boris Mirkin ; Susana Nascimento ; Trevor Fenner ; Luís Moniz Pereira
Protein Fold Recognition with Combined SVM-RDA Classifier / Wiestaw Chmielnicki ; Katarzyna Stapor
Data Processing on Database Management Systems with Fuzzy Query / Irfan Simsek
A Hybrid Approach for Process Mining: Using From-to Chart Arranged by Genetic Algorithms / Eren Esgin ; Pinar Senkul ; Cem Cimenbicer
Continuous Pattern Mining Using the FCPGrowth Algorithm in Trajectory Data Warehouses / Marcin Gorawski ; Pawel Jureczek
Hybrid Approach for Language Identification Oriented to Multilingual Speech Recognition in the Basque Context / N. Barroso ; K. López de Ipiña ; A. Ezeiza ; O. Barroso ; U. Susperregi
An Approach of Bio-inspired Hybrid Model for Financial Markets / Vladeta Gajic ; Svetlana Simic
Interactive and Stereoscopic Hybrid 3D Viewer of Radar Data with Gesture Recognition / Jon Goenetxea ; Aitor Moreno ; Luis Unzueta ; Andoni Galdós ; Álvaro Segura
Recognition of Manual Actions Using Vector Quantization and Dynamic Time Warping / Marcel Martin ; Jonathan Maycock ; Florian Paul Schmidt ; Oliver Kramer
Protecting Web Services against DoS Attacks: A Case-Based Reasoning Approach / Cristian Pinzón ; Juan F. De. Paz ; Carolina Zato ; Javier Pérez
Ranked Tag Recommendation Systems Based on Logistic Regression / J.R. Quevedo ; E. Montañés ; J. Ranilla ; I. Díaz
A Hybrid Robotic Control System Using Neuroblastoma Cultures / J.M. Ferrández ; V. Lorente ; J.M. Cuadra ; F. delaPaz ; José Ramón Álvarez-Sánchez ; E. Fernández
Image Segmentation with a Hybrid Ensemble of One-Class Support vector Machines / Boguslaw Cyganek
Power Prediction in Smart Grids with Evolutionary Local Kernel Regression / Benjamin Satzger ; Jörg Lässig
Automatic Quality Inspection of Percussion Cap Mass Production by Means of 3D Machine Vision and Machine Learning Techniques / A. Tellaeche ; R. Arana ; A. Ibarguren ; J.M. Martínez-Otzeta
Speaker Verification and Identification Using Principal Component Analysis Based on Global Eigenvector Matrix / Minkyung Kim ; Eunyoung Kim ; Changwoo Seo ; Sungchae Jeon
Hybrid Approach for Automatic Evaluation of Emotion Elicitation Orientd to People with Intellectual Disabilities / R. Martínez ; E. Irigoyen ; N. Asla
Fusion of Fuzzy Spatial Relations / Nadeem Salamat ; El-hadi Zahzah
Reducing Artifacts in TMS-Evoked EEG / Juan José Fuertes ; Carlos M. Travieso ; A. Álvarez ; M.A. Ferrer ; J.B. Alonso
Model Driven Image Segmentation Using a Genetic Algorithm for Structured Data / Romain Raveaux ; Guillaume Hillairet
Stamping Line Optimization Using Genetic Algorithms and Virtual 3D Line Simulation / Javier A. García-Sedano ; Jon Alzola Bernardo ; Asier González González ; Óscar Berasategui Ruiz de Gauna ; Rafael Yuguero González de Mendivil
Evolutionary Industrial Physical Model Generation / Alberto Carrascal ; Amaia Alberdi
Evolving Neural Networks, with Maximum AUC for Imbalanced Data Classification / Xiaofen Lu ; Ke Tang ; Xin Yao
Memetic Feature Selection: Benchmarking Hybridization Schemata / M. Larrea ; J. Valera ; V. Gómez ; F. Artaza ; M. A. Esseghir ; Gilles Goncalves ; Yahya Slimani
A Hybrid Cellular Genetic Algorithm for Multi-objective Crew scheduling Problem / Fariborz Jolai ; Ghazal Assadipour
GENNET-Toolbox: An Evolving Genetic Algorithm for Neural Network Training / Vicente Gómez-Garay ; Eloy Irigoyen ; Fernando Artaza
An Evolutionary Feature-Based Visual Attention Model Applied to Face Recognition / Roberto A. Vázquez ; Humberto Sossa ; Beatriz A. Garro
Efficient Plant Supervision Strategy Using NN Based Techniques / Ramon Ferreiro Garcia ; Jose Luis Calvo Rolle ; Francisco Javier Perez Castelo
FDI and Accommodation Using NN Based Techniques / Alberto De Miguel Catoira ; Beatriz Ferreiro Sanz
A Hybird ACO Approach to the Matrix Bandwidth Minimization Problem / Camelia-M. Pintea ; Gloria-Cerasela Crisan ; Camelia Chira
Machine-Learning Based Co-adaptive Calibration: A Perspective to Fight BCI Illiteracy / Carmen Vidaurre ; Claudia Sannelli ; Klaus-Robert Müller ; Benjamin Blankertz
Analysing the Low Quality of the Data in Lighting Control Systems / Jose R. Villar ; Enrique de la Cal ; Javier Sedano ; Marco García-Tamargo
Type-1 Non-singleton Type-2 Takagi-Sugeno-Kang Fuzzy Logic Systems Using the Hybrid Mechanism Composed by a Kalman Type Filter and Back Propagation Methods / Gerardo M. Mendez ; Angeles Hernández ; Alberto Cavazos ; Marco-Tulio Mata-Jiménez
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning / Stefano Bragaglia ; Federico Chesani ; Anna Ciampolini ; Paola Mello ; Marco Montali ; Davide Sottara
Selecting Regions of Interest in SPECT Images Using Wilcoxon Test for the Diagnosis of Alzheimer's Disease / D. Salas-Gonzalez ; J.M. Górriz ; J. Ramírez ; Fermin Segovia ; Rosa Chaves ; Miriam López ; I.A. Illán ; Pablo Padilla
Effective Diagnosis of Alzheimer's Disease by Means of Association Rules / Javier Ramírez
Exploratory Matrix Factorization for PET Image Analysis / A. Kodewitz ; I.R. Keck ; A.M. Tomé ; Elmar W. Lang
NMF-Based Analysis of SPECT Brain Images for the Diagnosis of Alzheimer's Disease / Juan-Manuel Górriz ; Elmar Lang ; Ignacio Álvarez ; Diego Salas-González
Partial Least Squares for Feature Extraction of SPECT Images / C.G. Puntonet
Sensor Fusion Adaptive Filtering for Position Monitoring in Intense Activities / Alberto Olivares ; Gonzalo Olivares
Prediction of Bladder Cancer Recurrences Using Artificial Neural Networks / Ekaitz Zulueta Guerrero ; Naiara Telleria Garay ; Borja Ayerdi Vilches ; Eider Egilegor Iragorri ; David Lecumberri Castaños ; Ana Belén de la Hoz Rastrollo ; Carlos Pertusa Peña
Hybrid Decision Support System for Endovascular Aortic Aneurysm Repair Follow-Up / Jon Haitz Legarreta ; Fernando Boto ; Iván Macía ; Josu Maiora ; Guillermo García ; Céline Paloc ; Manuel Graña ; Mariano de Blas
On the Design of a CADS for Shoulder Pain Pathology / M.C. Hernández ; E. Martínez ; C. Vaquero
Exploring Symmetry to Assist Alzheimer's Disease Diagnosis
Thrombus Volume Change Visualization after Endovascular Abdominal Aortic Aneurysm Repair / Javier Sanchez Abuín
Randomness and Fuzziness in Bayes Multistage Classifier / Robert Burduk
Multiple Classifier System with Radial Basis Weight Function / Konrad Jackowski
Mixture of Random Prototype-Based Local Experts / Giuliano Armano ; Nima Hatami
Graph-Based Model-Selection Framework for Large Ensembles / Krisztian Buza ; Alexandros Nanopoulos ; Lars Schmidt-Thieme
Rough Set-Based Analysis of Characteristic Features for ANN Classifier / Urszula Stanczyk
Boosting Algorithm with Sequence-Loss Cost Function for Structured Prediction / Tomasz Kajdanowicz ; Przemyslaw Kazienko ; Jan Kraszewski
Application of Mixture of Experts to Construct Real Estate Appraisal Models / Magdalena Graczyk ; Tadeusz Lasota ; Zbigniew Telec ; Bogdan Trawinski
Designing Fusers on the Basis of Discriminants - Evolutionary and Neural Methods of Training / Michal Wozniak ; Marcin Zmyslony
Author Index
Y-Means: An Autonomous Clustering Algorithm (Invited Paper) / Ali A. Ghorbani ; Iosif-Viorel Onut
A Survey and Analysis of Frameworks and Framework Issues for Information Fusion Applications (Invited Paper) / James Llinas
A Regular Tetrahedron Formation Strategy for Swarm Robots in Three-Dimensional Environment / M. Fikret Ercan ; Xiang Li ; Ximing Liang
55.

電子ブック

EB
Emilio Corchado, Manuel Graña Romay, Takeo Kanade, Alexandre Manhaes Savio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
56.

電子ブック

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.
出版情報: Springer eBooks Computer Science , 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
57.

電子ブック

EB
Mehdi Dastani, Amal El Fallah Segrouchni, Takeo Kanade, João Leite, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Agent Architectures
The ARTS Real-Time Agent Architecture / Konstantin Vikhorev ; Natasha Alechina ; Brian Logan
Reducing Agent Plans to Workflows / Tayfun Gökmen Halaç ; Övünç Çetin ; Erdem Eser Ekinci ; Riza Cenk Erdur ; Oguz Dikenelli
Agent Programming Languages and Methodologies
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming / Alessandro Ricci ; Michele Piunti ; Mirko Viroli
Temporal Planning in Dynamic Environments for P-CLAIM Agents / Muhammad Adnan Hashmi ; Amal El Fallah Seghrouchni
Data Driven Language for Agents Secure Interaction / Mahdi Zargayouna ; Flavien Balbo ; Serge Haddad
Programming Social Middleware through Social Interaction Types / Juan Manuel Serrano ; Sergio Saugar
Social Interaction Models
Detecting Exceptions in Commitment Protocols: Discovering Hidden States / Özgür Kafali ; Pinar Yolum
Verifiable Semantic Model for Agent Interactions Using Social Commitments / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Development Tools for Multi-agent Systems
Call Graph Profiling for Multi Agent Systems / Dinh Doan Van Bien ; David Lillis ; Rem W. Collier
Applications
A Methodology for Developing Self-explaining Agents for Virtual Training / Maaike Harbers ; Karel van den Bosch ; John-Jules Meyer
Author Index
Agent Architectures
The ARTS Real-Time Agent Architecture / Konstantin Vikhorev ; Natasha Alechina ; Brian Logan
Reducing Agent Plans to Workflows / Tayfun Gökmen Halaç ; Övünç Çetin ; Erdem Eser Ekinci ; Riza Cenk Erdur ; Oguz Dikenelli
58.

電子ブック

EB
Gennaro Tosto, H. Dyke Parunak, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Urban and Environmental Modelling
Cumulative Effects and Emergent Properties of Multiple-Use Natural Resources / Scott Heckbert ; Wiktor Adamowicz ; Peter Boxall ; Daniel Hanneman
Micro-scale Simulation of the Macro Urban Form: Opportunities for Exploring Urban Change and Adaptation / Tim Baynes
Simulation of Economic Behaviour
An Agent-Based Framework for Assessing the Cost of Committal Search in Supply Networks / Rodolfo García-Flores ; Rene Weiskircher ; Nectarios Kontoleon ; Simon Dunstall
Does Cognitive Capacity Matter When Learning Using Genetic Programming in Double Auction Markets? / Shu-Heng Chen ; Chung-Chang Tai ; Shu G. Wang
A Multi-Agent System for Adaptive Production Networks / Samir Hamichi ; David Brée ; Zahia Guessoum ; Diana Mangalagiu
Methods and Methodologies
A Multi-environment Multi-agent Simulation Framework for Self-organizing Systems / Maíra Athanázio de Cerqueira Gatti ; Carlos José Pereira de Lucena
Software Development Process Simulation: Multi Agent-Based Simulation versus System Dynamics / Redha Cherif ; Paul Davidsson
Agent-Based Simulations with Beliefs and SPARQL-Based Ask-Reply Communication / Ion Mircea Diaconescu ; Gerd Wagner
Stigmergic Modeling of Hierarchical Task Networks / H. Van Dyke Parunak ; Theodore Belding ; Robert Bisson ; Sven Brueckner ; Elizabeth Downs ; Rainer Hilscher ; Keith S. Decker
Modelling of Social Phenomena
The Impact of Naive Agents in Heterogeneous Trust-Aware Societies / Amirali Salehi-Abari ; Tony White
Mentat: A Data-Driven Agent-Based Simulation of Social Values Evolution / Oliver Will ; Samer Hassan ; Luis Antunes ; Juan Pavón
Author Index
Urban and Environmental Modelling
Cumulative Effects and Emergent Properties of Multiple-Use Natural Resources / Scott Heckbert ; Wiktor Adamowicz ; Peter Boxall ; Daniel Hanneman
Micro-scale Simulation of the Macro Urban Form: Opportunities for Exploring Urban Change and Adaptation / Tim Baynes
59.

電子ブック

EB
Marcin Szczuka, Qinghua Hu, Richard Jensen, Takeo Kanade, Marzena Kryszkiewicz, Sheela Ramanna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Emergent Dynamics of Information Propagation in Large Networks / Katia Sycara
New Applications and Theoretical Foundations of the Dominance-based Rough Set Approach / Roman Slowinski
RSCTC 2010 Discovery Challenge
RSCTC'2010 Discovery Challenge: Mining DNA Microarray Data for Medical Diagnosis and Treatment / Marcin Wojnarski ; Andrzej Janusz ; Hung Son Nguyen ; Jan Bazan ; ChuanJiang Luo ; Ze Chen ; Feng Hu ; Guoyin Wang ; Lihe Guan ; Huan Luo ; Juan Gao ; Yuanxia Shen ; Vladimir Nikulin ; Tian-Hsiang Huang ; Geoffrey J. McLachlan ; Matko Bošnjak ; Dragan Gamberger
TunedIT.org: System for Automated Evaluation of Algorithms in Repeatable Experiments / Sebastian Stawicki ; Piotr Wojnarowski
Clustering
Consensus Multiobjective Differential Crisp Clustering for Categorical Data Analysis / Indrajit Saha ; Dariusz Plewczynski ; Ujjwal Maulik ; Sanghamitra Bandyopadhyay
Probabilistic Rough Entropy Measures in Image Segmentation / Dariusz Matyszko ; Jarostaw Stepaniuk
Distance Based Fast Hierarchical Clustering Method for Large Datasets / Bidyut Kr. Patra ; Neminath Hubballi ; Santosh Biswas ; Sukumar Nandi
TI-DBSCAN: Clustering with DBSCAN by Means of the Triangle Inequality / Marzena Kryszkiewicz ; Piotr Lasek
Multimedia and Telemedicine: Soft Computing Applications
Vehicle Classification Based on Soft Computing Algorithms / Piotr Dalka ; Andrzej Czyzewski
Controlling Computer by Lip Gestures Employing Neural Networks
Computer Animation System Based on Rough Sets and Fuzzy Logic / Piotr Szczuko
Adaptive Phoneme Alignment Based on Rough Set Theory / Konstantinos Avdelidis ; Charalampos Dimoulas ; George Kalliris ; George Papanikolaou
Monitoring Parkinson's Disease Patients Employing Biometric Sensors and Rule-Based Data Processing / Pawel Zwan ; Katarzyna Kaszuba ; Bozena Kostek
Content-Based Scene Detection and Analysis Method for Automatic Classification of TV Sports News / Kazimierz Choros ; Piotr Pawlaczyk
Combined Learning Methods and Mining Complex Data
Combining Multiple Classification or Regression Models Using Genetic Algorithms
Argument Based Generalization of MODLEM Rule Induction Algorithm / Krystyna Napierata ; Jerzy Stefanowski
Integrating Selective Pre-processing of Imbalanced Data with Ivotes Ensemble / Jerzy Blaszczynski ; Magdalena Deckert ; Szymon Wilk
Learning from Imbalanced Data in Presence of Noisy and Borderline Examples
Tracking Recurrent Concepts Using Context / João Bártolo Gomes ; Ernestina Menasalvas ; Pedro A.C. Sousa
Support Feature Machine for DNA Microarray Data / Tomasz Maszczyk ; Wlodzislaw Duch
Is It Important Which Rough-Set-Based Classifier Extraction and Voting Criteria Are Applied Together? / Dominik Slezak ; Sebastian Widz
Improving Co-training with Agreement-Based Sampling / Jin Huang ; Jelber Sayyad Shirabad ; Stan Matwin ; Jiang Su
Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data / William Klement ; Martin Michalowski ; Ken Farion
Gene-Pair Representation and Incorporation of GO-based Semantic Similarity, into Classification of Gene Expression Data / Torsten Schön ; Alexey Tsymbal ; Martin Huber
Rough Sets: Logical and Mathematical Foundations
A Fuzzy View on Rough Satisfiability / Anna Gomolinska
Rough Sets in Terms of Discrete Dynamical Systems / Marcin Wolski
A Preference-Based Multiple-Source Rough Set Model / Md. Aquil Khan ; Mohua Banerjee
Classification of Dynamics in Rough Sets / Davide Ciucci
Relational Granularity for Hypergraphs / John G. Stell
Perceptual Tolerance Intersection / Piotr Wasilewski ; James F. Peters ; Sheela Ramanna
Rough Approximations: Foundations and Methodologies
Categories of Directions and Rough Set Approximation Operators / Murat Diker
Approximations and Classifiers / Andrzej Skowron ; Jaroslaw Stepaniuk
A Note on a Formal Approach to Rough Operators / Adam Grabowski ; Magdalena Jastrzebska
Communicative Approximations as Rough Sets / Abhinav Pathak ; Gopal Krishna ; Amitabha Mukerjee|317
On the Correctness of Rough-Set Based Approximate Reasoning / Patrick Doherty ; Andrzej Szalas
Unit Operations in Approximation Spaces / Zbigniew Bonikowski
Machine Learning: Methodologies and Algorithms
Weighted Nearest Neighbor Classification via Maximizing Classification Consistency / Pengfei Zhu ; Qinghua Hu ; Yongbin Yang
Rough Set-Based Incremental Learning Approach to Face Recognition / Xuguang Chen ; Wojciech Ziarko
A Comparison of Dynamic and Static Belief Rough Set Classifier / Salsabil Trabelsi ; Zied Elouedi ; Pawan Lingras
Rule Generation in Lipski's Incomplete Information Databases / Hiroshi Sakai ; Michinori Nakata
A Fast Randomisation Test for Rule Significance / Ivo Düntsch ; Günther Gediga
Ordinal Classification with Monotonicity Constraints by Variable Consistency Bagging
Learnability in Rough Set Approaches / Marcin Szelag
Upper Bounds on Minimum Cardinality of Exact and Approximate Reducts / Igor Chikalov ; Mikhail Moshkov ; Beata Zielosko
An Extension of Rough Set Approximation to Flow Graph Based Data Analysis / Doungrat Chitcharoen ; Puntip Pattaraintakorn
Credibility Coefficients Based on SVM / Roman Podraza ; Bartosz Janeczek
On Algorithm for Building of Optimal ?-Decision Trees / Abdulaziz Alkhalid
Layered Approximation Approach to Knowledge Elicitation in Machine Learning / Tuan Trung Nguyen
Multiagent Systems
Configuration Management of Mobile Agents Based on SNMP / Michal Komorowski
Adaptive Immunity-Based Multiagent Systems (AIBMAS) Inspired by the Idiotypic Network / Chung-Ming Ou ; C.R. Ou
Distributed Default Logic for Context-A ware Computing in Multi-Agent Systems / Dominik Ryzko ; Henryk Rybinski
A Novel Approach to Default Reasoning for MAS / Przemyslaw Wiech
A Platform for the Evaluation of Automated Argumentation Strategies / Piotr S. Kosmicki
Emerging Intelligent Technologies and Net-Centric Applications
Fuzzy Similarity-Based Relative Importance of MPEG-7 Visual Descriptors for Emotional Classification of Images / EunJong Park ; SungHwan Jeong ; Joon Whoan Lee
The Impact of Recommendation Sources on the Adoption Intention of Microblogging Based on Dominance-based Rough Set Approach / Yang-Chieh Chin ; Chaio-Chen Chang ; Chiun-Sin Lin ; Gwo-Hshiung Tzeng
Fault Effects Analysis and Reporting System for Dependability Evaluation / Piotr Gawkowski ; Monika Anna Kuczynska ; Agnieszka Komorowska
Solving the Reporting Cells Problem Using a Scatter Search Based Algorithm / Sónia M. Almeida-Luz ; Miguel A. Vega-Rodríguez ; Juan A. Gómez-Pulido ; Juan M. Sánchez-Pérez
Learning Age and Gender Using Co-occurrence of Non-dictionary Words from Stylistic Variations / R. Rajendra Prasath
Disturbance Measurement Utilization in Easily Reconfigurable Fuzzy Predictive Controllers: Sensor Fault Tolerance and Other Benefits / Piotr M. Marusak
Classification and Decision Support Applications
Biometric-Based Authentication System Using Rough Set Theory / Hala S. Own ; Waheeda Al-Mayyan ; Hussein Zedan
Classification of Facial Photograph Sorting Performance Based on Verbal Descriptions / Daryl H. Hepting ; Richard Spring ; Timothy Maciag ; Katherine Arbuthnott
Random Musical Bands Playing in Random Forests / Miron B. Kursa ; Elzbieta Kubera ; Witold R. Rudnicki ; Alicja A. Wieczorkowska
An Empirical Comparison of Rule Sets Induced by LERS and Probabilistic Rough Classification / Jerzy W. Grzymala-Busse ; Shantan R. Marepally ; Yiyu Yao
DRSA Decision Algorithm Analysis in Stylometric Processing of Literary Texts / Urszula Stanczyk
Blind Music Timbre Source Isolation by Multi- resolution Comparison of Spectrum Signatures / Xin Zhang ; Wenxin Jiang ; Zbigniew W. Ras ; Rory Lewis
Rough Sets for Solving Classification Problems in Computational Neuroscience / Tomasz G. Smolinski ; Astrid A. Prinz
Towards Approximate SQL - Infobright's Approach / Marcin Kowalski
A Protein Classifier Based on SVM by Using the Voxel Based Descriptor / Georgina Mirceva ; Andreja Naumoski ; Danco Davcev
Intelligent Methods in Optimization and Control
Explicit Neural Network-Based Nonlinear Predictive Control with Low Computational Complexity / Maciej Lawrynczuk
Solution of the Inverse Heat Conduction Problem by Using the ABC Algorithm / Edyta Hetmaniok ; Damian Slota ; Adam Zielonka
Application of Fuzzy Wiener Models in Efficient MPC Algorithms
Multicriteria Subjective Reputation Management Model / Michal Majdan ; Wlodzimierz Ogryczak
Application of Fuzzy Preference Based Rough Set Model to Condition Monitoring / Xiaomin Zhao ; Ming J. Zuo ; Tejas Patel
Graph-Based Optimization Method for Information Diffusion and Attack Durability in Networks / Zbigniew Tarapata ; Rafal Kasprzyk
Granularity and Granular Systems
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language / Linh Anh Nguyen
Representation of Granularity for Non-Euclidian Relational Data by Jaccard Coefficients and Binary Classifications / Shoji Hirano ; Shusaku Tsumoto
Information Systems in Modeling Interactive Computations on Granules
Distributed Representations to Detect Higher Order Term Correlations in Textual Content / Pinar Öztürk ; Hans Moen
Author Index
Keynote Talks
Emergent Dynamics of Information Propagation in Large Networks / Katia Sycara
New Applications and Theoretical Foundations of the Dominance-based Rough Set Approach / Roman Slowinski
60.

電子ブック

EB
Ngoc Thanh Nguyen, Manh Thanh Le
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speeches
Selected Problems of the Static Complex Systems Identification / Jerzy Swiatek
Combining and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study / Amin Anjomshoaa ; A Min Tjoa ; Andreas Hubmer
Intelligent Database Systems
Web Page Augmentation with Client-Side Mashups as Meta-Querying / Stephan Hagemann ; Gottfried Vossen
Soft Computing Techniques for Intrusion Detection of SQL-Based Attacks / Jaroslaw Skaruz ; Jerzy Pawel Nowacki ; Aldona Drabik ; Franciszek Seredynski ; Pascal Bouvry
Efficiently Querying XML Documents Stored in RDBMS in the Presence of Dewey-Based Labeling Scheme / Moad Maghaydah ; Mehmet A. Orgun
From Data Mining to User Models in Evolutionary Databases / César Andrés ; Manuel Núñez ; Yaofeng Zhang
How to Construct State Registries-Matching Undeniability with Public Security / Przemyslaw Kubiak ; Miroslaw Kutylowski ; Jun Shao
Data Warehouses and Data Mining
Regions of Interest in Trajectory Data Warehouse / Marcin Gorawski ; Pawel Jureczek
AFOPT-Tax: An Efficient Method for Mining Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
A Novel Method to Find Appropriate ? for DBSCAN / Jamshid Esmaelnejad ; Jafar Habibi ; Soheil Hassas Yeganeh
Towards Semantic Preprocessing for Mining Sensor Streams from Heterogeneous Environments / Jason J. Jung
HOT aSAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery / Ninh D. Pham ; Quang Loc Le ; Tran Khanh Dang
The Vector Space Models for Finding Co-occurrence Names as Aliases in Thai Sports News / Thawatchai Suwanapong ; Thanaruk Theeramunkong ; Ekawit Nantajeewarawat
Efficiently Mining High Average Utility Itemsets with a Tree Structure / Chun-Wei Lin ; Tzung-Pei Hong ; Wen-Hsiang Lu
Intelligent Information Retrieval
Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning / Nguyen Minh The ; Takahiro Kawamura ; Hiroyuki Nakagawa ; Ken Nakayama ; Yasuyuki Tahara ; Akihiko Ohsuga
Visualization of Influenza Protein Segment HA in Manifold Space / Cheng-Yuan Liou ; Wei-Chen Cheng
Going Beyond the Surrounding Text to Semantically Annotate and Search Digital Images / Pakinee Aimmanee ; Shahrul Azman Noah ; Datul Aida Ali ; Arifah Che Alhadi ; Junaidah Mohamad Kassim
Context Oriented Analysis of Web 2.0 Social Network Contents - MindMeister Use-Case / Khue Vo Sao ; Edgar Weippl ; Michael Hollauf
Technologies for Intelligent Information Systems
Generation of a FIR Filter by Means of a Neural Network for Improvement of the Digital Images Obtained Using the Acquisition Equipment Based on the Low Quality CCD Structurecture / Jakub Peksinski ; Grzegorz Mikolajczak
Robust Fuzzy Clustering Using Adaptive Fuzzy Meridians / Tomasz Przybyla ; Janusz Jezewski ; Janusz Wróbel ; Krzysztof Horoba
An Ambient Agent Model Incorporating an Adaptive Model for Environmental Dynamics / Jan Treur ; Muhammad Umair
A New Algorithm for Divisible Load Scheduling with Different Processor Available Times / Amin Shokripour ; Mohamed Othman ; Hamidah Ibrahim
Evolutionary Computational Intelligence in Solving the Fractional Differential Equations / Muhammad Asif Zahoor Raja ; Junaid Ali Khan ; I.M. Qureshi
A Neural Network Optimization-Based Method of Image Reconstruction from Projections / Robert Cierniak
Entrance Detection of Buildings Using Multiple Cues / Suk-Ju Kang ; Hoang-Hon Trinh ; Dae-Nyeon Kim ; Kang-Hyun Jo
Spectrum Sharing with Buffering in Cognitive Radio Networks / Chau Pham Thi Hong ; Youngdoo Lee ; Insoo Koo
Extracting Chemical Reactions from Thai Text for Semantics-Based Information Retrieval / Peerasak Intarapaiboon
Coalition Formation Using Combined Deterministic and Evolutionary Approach / Halina Kwasnicka ; Wojciech Gruszczyk
Applications of Intelligent Systems
A New CBIR System Using SIFT Combined with Neural Network and Graph-Based Segmentation / Nguyen Due Anh ; Pham The Bao ; Bui Ngoc Nam ; Nguyen Huy Hoang
Computer-Aided Car Over-Taking System / Magdalena Baranska
Learning Model for Reducing the Delay in Traffic Grooming Optimization / Viet Minh Nhat Vo
Power Load Forecasting Using Data Mining and Knowledge Discovery Technology / Yongli Wang ; Dongxiao Niu ; Yakun Wang
A Collaborative Framework for Multiagent Systems / Moamin Ahmed ; Mohd Sharifuddin Ahmad ; Mohd Zaliman M. Yusoff
Solving Unbounded Knapsack Problem Based on Quantum Genetic Algorithms / Rung-Ching Chen ; Yun-Hou Huang ; Ming-Hsien Lin
Detecting Design Pattern Using Subgraph Discovery / Ming Qiu ; Qingshan Jiang ; An Gao ; Ergan Chen ; Di Qiu ; Shang Chai
A Fuzzy Time Series-Based Neural Network Approach to Option Price Forecasting / Yungho Leu ; Chien-Pang Lee ; Chen-Chia Hung
Integrated Use of Artificial Neural Networks and Genetic Algorithms for Problems of Alarm Processing and Fault Diagnosis in Power Systems / Paulo Cícero Fritzen ; Ghendy Cardoso Jr. ; João Montagner Zauk ; Adriano Peres de Morais ; Ubiratan H. Bezerra ; Joaquim A.P.M. Beck
Using Data from an AMI-Associated Sensor Network for Mudslide Areas Identification / Cheng-Jen Tang ; Miau Ru Dai
Semantic Web Service Composition System Supporting Multiple Service Description Languages / Nhan Cach Dang ; Duy Ngan Le ; Thanh Tho Quan ; Minh Nhut Nguyen
Forecasting Tourism Demand Based on Improved Fuzzy Time Series Model / Hung-Lieh Chou ; Jr-Shian Chen ; Ching-Hsue Cheng ; Hia Jong Teoh
Weighted Fuzzy Time Series Forecasting Model / Jia- Wen Wang ; Jing- Wei Liu
A System for Assisting English Oral Proficiency - A Case Study of the Elementary Level of General English Proficiency Test (GEPT) in Taiwan / Chien-Hsien Huang ; Huey-Ming Lee
Verification of Stored Security Data in Computer System / Heng-Sheng Chen ; Tsang- Yean Lee
Ant Colony Clustering Using Mobile Agents as Ants and Pheromone / Masashi Mizutani ; Munehiro Takimoto ; Yasushi Kambayashi
Mining Source Codes to Guide Software Development / Sheng-Kuei Hsu ; Shi-Jen Lin
Forecasting Stock Market Based on Price Trend and Variation Pattern / Chung-Ho Su ; Tai-Liang Chen ; Hung-Hsing Chiang
Intelligent Prebuffering Using Position Oriented Database for Mobile Devices / Ondrej Krejcar
Author Index
Keynote Speeches
Selected Problems of the Static Complex Systems Identification / Jerzy Swiatek
Combining and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study / Amin Anjomshoaa ; A Min Tjoa ; Andreas Hubmer
61.

電子ブック

EB
Madalina Croitoru, Sébastien Ferré, Takeo Kanade, Dickson Lukose
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
62.

電子ブック

EB
Jürgen Giesl, Reiner Hähnle, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Logical Frameworks and Combination of Systems
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus / Anders Schack-Nielsen ; Carsten Schürmann
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) / Brigitte Pientka ; Joshua Dunfield
MCMT: A Model Checker Modulo Theories / Silvio Ghilardi ; Silvio Ranise
On Hierarchical Reasoning in Combinations of Theories / Carsten Ihlemann ; Viorica Sofronie-Stokkermans
Description Logic I
Global Caching for Coalgebraic Description Logics / Rajeev Goré ; Clemens Kupke ; Dirk Pattinson ; Lutz Schröder
Tractable Extensions of the Description Logic $L with Numerical Datatypes / Despoina Magka ; Yevgeny Kazakov ; Ian Horrocks
Higher-Order Logic
Analytic Tableaux for Higher-Order Logic with Choice / Julian Backes ; Chad E. Brown
Monotonicity Inference for Higher-Order Formulas / Jasmin Christian Blanchette ; Alexander Krauss
Sledgehammer: Judgement Day / Sascha Böhme ; Tobias Nipkow
Invited Talk
Logic between Expressivity and Complexity / Johan van Benthem
Verification
Multi-Prover Verification of Floating-Point Programs / Ali Ayad ; Claude Marché
Verifying Safety Properties with the TLA+ Proof System / Kaustuv Chaudhuri ; Damien Doligez ; Leslie Lamport ; Stephan Merz
MUNCH - Automated Reasoner for Sets and Multisets / Ruzica Piskac ; Viktor Kuncak
A Slice-Based Decision Procedure for Type-Based Partial Orders / Elena Sherman ; Brady J. Garvin ; Matthew B. Dwyer
Hierarchical Reasoning for the Verification of Parametric Systems
First-Order Logic
Interpolation and Symbol Elimination in Vampire / Kryštof Hoder ; Laura Kovács ; Andrei Voronkov
iProver-Eq: An Instantiation-Based Theorem Prover with Equality / Konstantin Korovin ; Christoph Sticksel
Classical Logic with Partial Functions / Hans de Nivelle
Non-Classical Logic
Automated Reasoning for Relational Probabilistic Knowledge Representation / Christoph Beierle ; Marc Finthammer ; Gabriele Kern-Isberner ; Matthias Thimm
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse / Florian Widmann
Terminating Tableaux for Hybrid Logic with Eventualities / Mark Kaminski ; Gert Smolka
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic / Marta Cialdea Mayer ; Serenella Cerrito
Induction
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion / Markus Aderhold
Focused Inductive Theorem Proving / David Baelde ; Dale Miller ; Zachary Snow
Decision Procedures
A Decidable Class of Nested Iterated Schemata / Vincent Aravantinos ; Ricardo Caferra ; Nicolas Peltier
RegSTAB: A SAT Solver for Propositional Schemata
Linear Quantifier Elimination as an Abstract Decision Procedure / Nikolaj Bjørner
A Decision Procedure for CTL* Based on Tableaux and Automata / Oliver Friedmann ; Markus Latte ; Martin Lange
URBiVA: Uniform Reduction to Bit-Vector Arithmetic / Filip Maric ; Predrag Janicic
Keynote Talk
Induction, Invariants, and Abstraction / Deepak Kapur
Arithmetic
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation / Jonathan A. Abourbih ; Luke Blaney ; Alan Bundy ; Fiona McNeill
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents / Hicham Bensaid
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic / Angelo Brillout ; Daniel Kroening ; Philipp Rümmer ; Thomas Wahl
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development / Leonardo de Moura
Applications
Automating Security Analysis: Symbolic Equivalence of Constraint Systems / Vincent Cheval ; Hubert Comon-Lundh ; Stéphanie Delaune
System Description: The Proof Transformation System CERES / Tsvetan Dunchev ; Alexander Leitsch ; Tomer Libal ; Daniel Weller ; Bruno Woltzenlogel Paleo
Premise Selection in the Naproche System / Marcos Cramer ; Peter Koepke ; Daniel Kühlwein ; Bernhard Schröder
On the Saturation of YAGO / Martin Suda ; Christoph Weidenbach ; Patrick Wischnewski
Description Logic II
Optimized Description Logic Reasoning via Core Blocking / Birte Glimm ; Boris Motik
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
Termination
Decreasing Diagrams and Relative Termination / Nao Hirokawa ; Aart Middeldorp
Monotonicity Criteria for Polynomial Interpretations over the Naturals / Friedrich Neurauter ; Harald Zankl
Termination Tools in Ordered Completion / Sarah Winkler
Author Index
Logical Frameworks and Combination of Systems
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus / Anders Schack-Nielsen ; Carsten Schürmann
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) / Brigitte Pientka ; Joshua Dunfield
63.

電子ブック

EB
Isabelle Bichindaritz, Takeo Kanade, Stefania Montani
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Translational Bioinformatics: Challenges and Opportunities for Case-Based Reasoning and Decision Support / Riccardo Bellazzi ; Cristiana Larizza ; Matteo Gabetta ; Giuseppe Milani ; Angelo Nuzzo ; Valentina Favalli ; Eloisa Arbustini
Why and How Knowledge Discovery Can Be Useful for Solving Problems with CBR / Amedeo Napoli
Real-Time Case-Based Reasoning for Interactive Digital Entertainment (Extended Abstract) / Ashwin Ram
Theoretical/Methodological Research Papers
Applying Machine Translation Evaluation Techniques to Textual CBR / Ibrahim Adeyanju ; Nirmalie Wiratunga ; Robert Lothian ; Susan Craw
Intelligent Data Interpretation and Case Base Exploration through Temporal Abstractions / Alessio Bottrighi ; Giorgio Leonardi ; Stefania Montani ; Luigi Portinale ; Paolo Terenziani
An Algorithm for Adapting Cases Represented in an Expressive Description Logic / Julien Cojan ; Jean Lieber
Case-Based Plan Diversity / Alexandra Coman ; Héctor Muñoz-Avila
Reducing the Memory Footprint of Temporal Difference Learning over Finitely Many States by Using Case-Based Generalization / Matt Dilts
Text Adaptation Using Formal Concept Analysis / Valmi Dufour-Lussier ; Emmanuel Nauer ; Yannick Toussaint
Visualization for the Masses: Learning from the Experts / Jill Freyne ; Barry Smyth
Imitating Inscrutable Enemies: Learning from Stochastic Policy Observation, Retrieval and Reuse / Kellen Gillespie ; Justin Karneeb ; Stephen Lee-Urban
The Utility Problem for Lazy Learners - Towards a Non-eager Approach / Tor Gunnar Houeland ; Agnar Aamodt
EGAL: Exploration Guided Active Learning for TCBR / Rong Hu ; Sarah Jane Delany ; Brian Mac Namee
Introspective Knowledge Revision in Textual Case-Based Reasoning / Karthik Jayanthi ; Sutanu Chakraborti ; Stewart Massie
A General Introspective Reasoning Approach to Web Search for Case Adaptation / David Leake ; Jay Powell
Detecting Change via Competence Model / Ning Lu ; Guangquan Zhang ; Jie Lu
CBTV: Visualising Case Bases for Similarity Measure Design and Selection
Goal-Driven Autonomy with Case-Based Reasoning / Ulit Jaidee ; David W. Aha ; Elizabeth Carter
Case Retrieval with Combined Adaptability and Similarity Criteria: Application to Case Retrieval Nets / Nabila Nouaouria ; Mounir Boukadoum
Amalgams: A Formal Approach for Combining Multiple Case Solutions / Santiago Ontañón ; Enric Plaza
Recognition of Higher-Order Relations among Features in Textual Cases Using Random Indexing / Pinar Öztürk ; Rajendra Prasath
Extending CBR with Multiple Knowledge Sources from Web / Juan A. Recio-García ; Miguel A. Casado-Hernández ; Belén Díaz-Agudo
Taxonomic Semantic Indexing for Textual Case-Based Reasoning / Juan A. Recio-Garcia
A Case for Folk Arguments in Case-Based Reasoning / Luís A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Reexamination of CBR Hypothesis / Xi-feng Zhou ; Ze-lin Shi ; Huai-ci Zhao
Applied Research Papers
Case Based Reasoning with Bayesian Model Averaging: An Improved Method for Survival Analysis on Microarray Data / Isabelle Bichindaritz ; Amalia Annest
User Trace-Based Recommendation System for a Digital Archive / Reim Doumat ; Elöd Egyed-Zsigmond ; Jean-Marie Pinon
On-the-Fly Adaptive Planning for Game-Based Learning / Ioana Hulpus ; Manuel Fradinho ; Conor Hayes
A Case Based Reasoning Approach for the Monitoring of Business Workflows / Stelios Kapetanakis ; Miltos Petridis ; Brian Knight ; Jixin Ma ; Liz Bacon
A Case-Based Reasoning Approach to Automating the Construction of Multiple Choice Questions / David McSherry
Towards Case-Based Adaptation of Workflows / Mirjam Minor ; Ralph Bergmann ; Sebastian Görg ; Kirstin Walter
A Method Based on Query Caching and Predicate Substitution for the Treatment of Failing Database Queries / Olivier Pivert ; Hélène Jaudoin ; Carmen Brando ; Allel Hadjali
Case Acquisition from Text: Ontology-Based Information Extraction with SCOOBIE for myCBR / Thomas Roth-Berghofer ; Benjamin Adrian ; Andreas Dengel
Similarity-Based Retrieval and Solution Re-use Policies in the Game of Texas Hold'em / Jonathan Rubin ; Ian Watson
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation / Kevin McCarthy ; Yasser Salem
Improving Pervasive Application Behavior Using Other Users' Information / Mike Spence ; Siobhán Clarke
a.SCatch: Semantic Structure for Architectural Floor Plan Retrieval / Markus Weber ; Christoph Langenhan ; Marcus Liwicki ; Frank Petzold
Runtime Estimation Using the Case-Based Reasoning Approach for Scheduling in a Grid Environment / Edward Xia ; Igor Jurisica ; Julie Waterhouse ; Valerie Sloan
Author Index
Invited Talks
Translational Bioinformatics: Challenges and Opportunities for Case-Based Reasoning and Decision Support / Riccardo Bellazzi ; Cristiana Larizza ; Matteo Gabetta ; Giuseppe Milani ; Angelo Nuzzo ; Valentina Favalli ; Eloisa Arbustini
Why and How Knowledge Discovery Can Be Useful for Solving Problems with CBR / Amedeo Napoli
64.

電子ブック

EB
Norbert E. Fuchs, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Language Aspects
An Evaluation Framework for Controlled Natural Languages / Tobias Kuhn
Rhetorical Compositions for Controlled Natural Languages / Andrew Potter
Anaphora Resolution Involving Interactive Knowledge Acquisition / Rolf Schwitter
Talking Rabbit: A User Evaluation of Sentence Production / Paula Engelbrecht ; Glen Hart ; Catherine Dolbear
Naturalness vs. Predictability: A Key Debate in Controlled Languages / Peter Clark ; William R. Murray ; Phil Harrison ; John Thompson
Implementing Controlled Languages in GF / Krasimir Angelov ; Aarne Ranta
Polysemy in Controlled Natural Language Texts / Normunds Gruzitis ; Guntis Barzdins
Economical Discourse Representation Theory / Johan Bos
Controlled English Ontology-Based Data Access / Camilo Thorne ; Diego Calvanese
SBVR's Approach'to Controlled Natural Language / Silvie Spreeuwenberg ; Keri Anderson Healy
Tools and Applications
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts / Marcos Cramer ; Bernhard Fisseni ; Peter Koepke ; Daniel Kühlwein ; Bernhard Schröder ; Jip Veldman
On Designing Controlled Natural Languages for Semantic Annotation / Brian Davis ; Pradeep Dantuluri ; Laura Dragan ; Siegfried Handschuh ; Hamish Cunningham
Development of a Controlled Natural Language Interface for Semantic MediaWiki / Paul R. Smart ; Jie Bao ; Dave Braines ; Nigel R. Shadbolt
A Controlled Language for the Specification of Contracts / Gordon J. Pace ; Michael Rosner
Rabbit to OWL: Ontology Authoring with a CNL-Based Tool / Ronald Denaux ; Vania Dimitrova ; Anthony G. Cohn
Writing Clinical Practice Guidelines in Controlled Natural Language / Richard N. Shiffman ; George Michel ; Michael Krauthammer ; Norbert E. Fuchs ; Kaarel Kaljurand
What Are Controlled Natural Languages?
On Controlled Natural Languages: Properties and Prospects / Adam Wyner ; Danica Damljanovic ; Norbert Fuchs ; Stefan Hoefler ; Ken Jones ; Martin Luts ; Jonathan Pool ; Mike Rosner ; John Sowa
Author Index
Language Aspects
An Evaluation Framework for Controlled Natural Languages / Tobias Kuhn
Rhetorical Compositions for Controlled Natural Languages / Andrew Potter
65.

電子ブック

EB
Marco Kuhlmann, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Motivation / 1.1:
Dependency Structures / 1.1.1:
Generative Capacity and Non-projectivity / 1.1.2:
Lexicalized Grammars Induce Dependency Trees / 1.2:
Overview of the Book / 1.3:
Dependency Languages / 1.3.1:
Contributions / 1.3.3:
Preliminaries / 2:
Projective Dependency Structures / 3:
Projectivity / 3.1:
Projectivity in the Sense of Harper and Hays / 3.1.1:
Projectivity in the Sense of Lecerf and Ihm / 3.1.2:
Projectivity in the Sense of Fitialov / 3.1.3:
Related Work / 3.1.4:
Algebraic Framework / 3.2:
Tree Traversal Strategies / 3.2.1:
Traversal of Treelet-Ordered Trees / 3.2.2:
Order Annotations / 3.2.3:
Dependency Algebras / 3.2.4:
Algorithmic Problems / 3.3:
Encoding and Decoding / 3.3.1:
Testing whether a Dependency Structure Is Projective / 3.3.2:
Empirical Evaluation / 3.3.3:
The Projectivity Hypothesis / 3.4.1:
Experimental Setup / 3.4.2:
Results and Discussion / 3.4.3:
Dependency Structures of Bounded Degree / 3.4.4:
The Block-Degree Measure / 4.1:
Blocks and Block-Degree / 4.1.1:
A Hierarchy of Non-projective Dependency Structures / 4.1.2:
Traversal of Block-Ordered Trees / 4.1.3:
Segmented Dependency Structures / 4.2.2:
Dependency Structure Algebras / 4.2.3:
Encoding / 4.3:
Computing the Block-Degree of a Dependency Structure / 4.3.2:
Dependency Structures without Crossings / 4.4:
Weakly Non-projective Dependency Structures / 5.1:
Definition of Weak Non-projectivity / 5.1.1:
Relation to the Block-Degree Measure / 5.1.2:
Algebraic Opaqueness / 5.1.3:
Well-Nested Dependency Structures / 5.1.4:
Definition of Well-Nestedness / 5.2.1:
Non-crossing Partitions / 5.2.2:
Algebraic Characterization / 5.2.3:
Testing whether a Dependency Structure Is Well-Nested / 5.2.4:
Structures and Grammars / 5.2.5:
Context-Free Grammars / 6.1:
Definition / 6.1.1:
String Semantics / 6.1.2:
Linearization Semantics / 6.1.3:
Dependency Semantics / 6.1.4:
Linear Context-Free Rewriting Systems / 6.2:
Non-essential Concatenation Functions / 6.2.1:
Coupled Context-Free Grammars / 6.2.4:
Tree Adjoining Grammar / 6.3.1:
Regular Dependency Languages / 6.4.1:
Regular Sets of Dependency Structures / 7.1:
Algebraic Recognizability / 7.1.1:
Elementary Properties / 7.1.2:
Regular Term Grammars / 7.1.3:
Regular Dependency Grammars / 7.1.4:
Dependency Languages and Lexicalized Grammars / 7.1.5:
Pumping Lemmata / 7.2:
The Pumping Lemma for Regular Term Languages / 7.2.1:
Ogden's Lemma for Regular Term Languages / 7.2.2:
Constant Growth / 7.3:
Constant Growth and Semilinearity / 7.3.1:
Regular Term Languages are Semilinear / 7.3.2:
Generative Capacity and Parsing Complexity / 7.3.3:
Projection of String Languages / 8.1:
Labelled Dependency Structures / 8.1.1:
String-Generating Regular Dependency Grammars / 8.1.2:
String-Generative Capacity / 8.1.3:
String Languages and Structural Properties / 8.2:
Masked Strings / 8.2.1:
Enforcing a Given Block-Degree / 8.2.2:
Enforcing Ill-Nestedness / 8.2.3:
Hierarchies of String Languages / 8.2.4:
Parsing Complexity / 8.2.5:
Membership Problems / 8.3.1:
The Standard Membership Problem / 8.3.2:
The Uniform Membership Problem / 8.3.3:
Recognition of Well-Nested Languages / 8.3.4:
Conclusion / 8.3.5:
Main Contributions / 9.1:
Future Directions / 9.2:
Development of the Formalism / 9.2.1:
Linguistic Relevance / 9.2.2:
Applications to Parsing / 9.2.3:
An Algebraic Perspective on Grammar Formalisms / 9.2.4:
References
Index
Introduction / 1:
Motivation / 1.1:
Dependency Structures / 1.1.1:
66.

電子ブック

EB
Thanaruk Theeramunkong, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Takeo Kanade, Philippe Lenca, Cholwich Nattee, Josiah Poon, Graham Williams
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The iZi Project: Easy Prototyping of Interesting Pattern Mining Algorithms / Frédéric Flouvat ; Fabien De Marchi ; Jean-Marc Petit
CODE: A Data Complexity Framework for Imbalanced Datasets / Cheng G. Weng ; Josiah Poon
An Empirical Study of Applying Ensembles of Heterogeneous Classifiers on Imperfect Data / Kuo- Wei Hsu ; Jaideep Srivastava
Undersampling Approach for Imbalanced Training Sets and Induction from Multi-label Text-Categorization Domains / Sareewan Dendamrongvit ; Miroslav Kubat
Adaptive Methods for Classification in Arbitrarily Imbalanced and Drifting Data Streams / Ryan N. Lichtenwalter ; Nitesh V. Chawla
Two Measures of Objective Novelty in Association Rule Mining / José L. Balcázar
PAKDD Data Mining Competition 2009: New Ways of Using Known Methods / Chaim Linhart ; Guy Harari ; Sharon Abramovich ; Altina Buchris
Feature Selection for Brain-Computer Interfaces / Irena Koprinska
Mining Protein Interactions from Text Using Convolution Kernels / Ramanathan Narayanan ; Sanchit Misra ; Simon Lin ; Alok Choudhary
Missing Phrase Recovering by Combining Forward and Backward Phrase Translation Tables / Peerachet Porkaew ; Thepchai Supnithi
Automatic Extraction of Thai-English Term Translations and Synonyms from Medical Web Using Iterative Candidate Generation with Association Measures / Kobkrit Viriyayudhakorn ; Thanaruk Theeramunkong ; Cholwich Nattee ; Manabu Okumura
Accurate Subsequence Matching on Data Stream under Time Warping Distance / Vit Niennattrakul ; Dechawut Wanichsan ; Chotirat Ann Ratanamahatana
Author Index
The iZi Project: Easy Prototyping of Interesting Pattern Mining Algorithms / Frédéric Flouvat ; Fabien De Marchi ; Jean-Marc Petit
CODE: A Data Complexity Framework for Imbalanced Datasets / Cheng G. Weng ; Josiah Poon
An Empirical Study of Applying Ensembles of Heterogeneous Classifiers on Imperfect Data / Kuo- Wei Hsu ; Jaideep Srivastava
67.

電子ブック

EB
Anssi Yli-Jyrä, Takeo Kanade, András Kornai, Jacques Sakarovitch, Bruce Watson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tutorials
Learing Finite State Machines / Colin de la Higuera
Special Theme Tutorials
Developing Computational Morphology for Low-and Middle-Density Languages / Kemal Oflazer
Invited Papers
fsm2-A Scripting Language Interpreter for Manipulating Weighted Finite-State Automata / Thomas Hanneforth
Selected Operations and Applications of n-Tape Weighted Finite-State Machines / André Kempe
OpenFst / Johan Schalkwyk
Special Theme Invited Talks
Morphological Analysis of Tone Marked Kinyarwanda Text / Jackson Muhirwe
Regular Papers
Minimizing Weighted Tree Grammars Using Simulation / Andreas Maletti
Compositions of Top-Down Tree Transducers with ?-Rules / Heiko Vogler
Reducing Nondeterministic Finite Automata with SAT Solvers / Jaco Geldenhuys ; Brink van der Merwe ; Lynttte van Zijl
Joining Composition and Trimming of Finite-State Transducers / Johannes Bubenzer ; Kay-Michael Würzner
Special Theme Extended Abstracts
Porting Basque Morphological Grammars to foma, an Open-Source Tool / Iñaki Alegria ; Izaskun Etxeberria ; Mans Hulden ; Montserrat Maritxalar
Describing Georgian Morphology with a Finite-State System / Oleg Kapanadze
Finite State Morphology of the Nguni Language Cluster: Modelling and Implementation Issues / Laurette Pretorius ; Sonja Bosch
A Finite State Approach to Setswana Verb Morphology / Biffie Viljoen ; Rigardt Pretorius ; Ansu Berg
Competition Announcements
Zulu: An Interactive Learning Competition / David Combe ; Jean-Chritstophe Janodet
Author Index
Tutorials
Learing Finite State Machines / Colin de la Higuera
Special Theme Tutorials
68.

電子ブック

EB
Thomas Icard, Takeo Kanade, Reinhard Muskens
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Pragmatics
Can DP Be a Scope Island? / Simon Charlow
Semantic Meaning and Pragmatic Inference in Non-cooperative Conversation / Michael Franke
What Makes a Knight? / Stefan Wintein
The Algebraic Structure of Amounts: Evidence from Comparatives / Daniel Lassiter
Mathematical Linguistics
Extraction in the Lambek-Grishin Calculus / Arno Bastenhof
Formal Parameters of Phonology: From Government Phonology to SPE / Thomas Graf
Applied Computational Linguistics
Variable Selection in Logistic Regression: The British English Dative Alternation / Daphne Theijssen
A Salience-Driven Approach to Speech Recognition for Human-Robot Interaction / Pierre Lison
Language Technologies for Instructional Resources in Bulgarian / Ivelina Nikolova
Logic and Computation
Description Logics for Relative Terminologies / Szymon Klarman
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems / Andreas Schnabl
POP* and Semantic Labeling Using SAT / Martin Avanzini
Author Index
Semantics and Pragmatics
Can DP Be a Scope Island? / Simon Charlow
Semantic Meaning and Pragmatic Inference in Non-cooperative Conversation / Michael Franke
69.

電子ブック

EB
Hrafn Loftsson, Sigrún Helgadóttir, Takeo Kanade, Eiríkur Rögnvaldsson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Reliving the History: The Beginnings of Statistical Machine Translation and Languages with Rich Morphology / Jan Hajic
Harmonizing WordNet and FrameNet / Christiane D. Fellbaum
Research Papers
A Morphosyntactic Brill Tagger for Inflectional Languages / Szymon Acedanski
Hybrid Syntactic-Semantic Reranking for Parsing Results of ECAs Interactions Using CRFs / Enzo Acerbi ; Guillermo Pérez ; Fabio Stella
Automatic Distractor Generation for Domain Specific Texts / Itziar Aldabe ; Montse Maritxalar
Summarization as Feature Selection for Document Categorization on Small Datasets / Emmanuel Anguiano-Hernández ; Luis Villaseñor-Pineda ; Manuel Montes-y-Gómez ; Paolo Rosso
A Formal Ontology for a Computational Approach of Time and Aspect / Aurélien Arena ; Jean-Pierre Desclés
A Non-linear Semantic Mapping Technique for Cross-Language Sentence Matching / Rafael E. Banchs ; Marta R. Costa-jussà
Comparison of Paraphrase Acquisition Techniques on Sentential Paraphrases / Houda Bouamor ; Aurélien Max ; Anne Vilnat
Digital Learning for Summarizing Arabic Documents / Mohamed Mahdi Boudabous ; Mohamed Hédi Maaloul ; Lamia Hadrich Belguith
Concept Based Representations for Ranking in Geographic Information Retrieval / Maya Carrillo ; Esaú Villatoro-Tello ; Aurelio López-López ; Chris Eliasmith
Using Machine Translation Systems to Expand a Corpus in Textual Entailment / Julio J. Castillo
Frames in Formal Semantics / Robin Cooper
Clustering E-Mails for the Swedish Social Insurance Agency - What Part of the E-Mail Thread Gives the Best Quality? / Hercules Dalianis ; Magnus Rosell ; Eriks Sneiders
OpenMaTrEx: A Free/Open-Source Market-Driven Example-Based Machine Translation System / Sandipan Dandapat ; Mikel L. Forcada ; Declan Groves ; Sergio Penkale ; John Tinsley ; Andy Way
Head Finders Inspection: An Unsupervised Optimization Approach / Martín A. Domínguez ; Gabriel Infante-Lopez
Estimating the Birth and Death Years of Authors of Undated Documents Using Undated Citations / Yaakov HaCohen-Kerner ; Dror Mughaz
Using Temporal Cues for Segmenting Texts into Events / Ludovic Jean-Louis ; Romaric Besançon ; Olivier Ferret
Enriching the Adjective Domain in the Japanese WordNet / Kyoko Kanzaki ; Francis Bond ; Takayuki Kuribayashi ; Hitoshi Isahara
Comparing SMT Methods for Automatic Generation of Pronunciation Variants / Panagiota Karanasou ; Lori Lamel
Automatic Learning of Discourse Relations in Swedish Using Cue Phrases / Stefan Karlsson ; Pierre Nugues
The Representation of Diatheses in the Valency Lexicon of Czech Verbs / Václava Kettnerová ; Markéta Lopatková
Symbolic Classification Methods for Patient Discharge Summaries Encoding into ICD / Laurent Kevers ; Julia Medori
User-Tailored Document Planning - A Game-Theoretic Approach / Ralf Klabunde ; Alexander Kornrumpf
Anaphora Resolution with Real Preprocessing / Manfred Klenner ; Don Tuggener ; Angela Fahrni ; Rico Sennrich
Automatic Construction of a Morphological Dictionary of Multi-Word Units / Cvetana Krstev ; Ranka Stankovic ; Ivan Obradovic
Collocation Extraction in Turkish Texts Using Statistical Methods / Senem Kumova Metin ; Bahar Karaoglan
Towards the Design and Evaluation of ROILA: A Speech Recognition Friendly Artificial Language / Omar Mubin ; Christoph Bartneck ; Loe Feijs
Time Expressions Ontology for Information Seeking Dialogues in the Public Transport Domain / Agnieszka Mykowiecka
Reliability of the Manual Segmentation of Pauses in Natural Speech / Raoul Oehmen ; Kim Kirsner ; Nicolas Fay
Large-Scale Language Modeling with Random Forests for Mandarin Chinese Speech-to-Text / Ilya Oparin ; Jean-Luc Gauvain
Design and Evaluation of an Agreement Error Detection System: Testing the Effect of Ambiguity, Parser and Corpus Type / Maite Oronoz ; Arantza Díaz de Ilarraza ; Koldo Gojenola
TectoMT: Modular NLP Framework / Martin Popel ; Zdenek Zabokrtský
Using Information From the Target Language to Improve Crosslingual Text Classification / Gabriela Ramírez-de-la-Rosa ; David Pinto-Avendañor ; Thamar Solorio
Event Detection Using Lexical Chain / Sangeetha S. ; R.S. Thakur ; Michael Arock
Using Comparable Corpora to Improve the Effectiveness of Cross-Language Information Retrieval / Fatiha Sadat
Semi-automatic Endogenous Enrichment of Collaboratively Constructed Lexical Resources: Piggybacking onto Wiktionary / Franck Sajous ; Emmanuel Navarro ; Bruno Gaume ; Laurent Prévot ; Yannick Chudy
Portable Extraction of Partially Structured Facts from the Web / Andrew Salway ; Liadh Kelly ; Inguna Skadina ; Gareth J.F. Jones
Passage Retrieval in Log Files: An Approach Based on Query Enrichment / Hassan Saneifar ; Stéphane Bonniol ; Anne Laurent ; Pascal Poncelet ; Mathieu Roche
Part-of-Speech Tagging Using Parallel Weighted Finite-State Transducers / Miikka Silfverberg ; Krister Lindén
Automated Email Answering by Text Pattern Matching
A System to Control Language for Oral Communication / Laurent Spaggiari ; Sylviane Cardey
Robust Semi-supervised and Ensemble-Based Methods in Word Sense Disambiguation / Anders Søgaard ; Anders Johannsen
The Effect of Semi-supervised Learning on Parsing Long Distance Dependencies in German and Swedish / Christian Rishøj
Shooting at Flies in the Dark: Rule-Based Lexical Selection for a Minority Language Pair / Linda Wiechetek ; Francis M. Tyers ; Thomas Omma
Author Index
Invited Talks
Reliving the History: The Beginnings of Statistical Machine Translation and Languages with Rich Morphology / Jan Hajic
Harmonizing WordNet and FrameNet / Christiane D. Fellbaum
70.

電子ブック

EB
Lars Braubach, Jean-Pierre Briot, Takeo Kanade, John Thangarajah
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Communication Models / I:
Programming Multiagent Systems without Programming Agents / Munindar P. Singh ; Amit K. Chopra
Elements of a Business-Level Architecture for Multiagent Systems
A Computational Semantics for Communicating Rational Agents Based on Mental Models / Koen V. Hindriks ; M. Birna van Riemsdijk
Formal Models / II:
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata / Ammar Mohammed ; Ulrich Furbach
Probabilistic Behavioural State Machines / Peter Novák
Golog Speaks the BDI Language / Sebastian Sardina ; Yves Lespérance
Organizations and Environments / III:
A Middleware for Modeling Organizations and Roles in Jade / Matteo Baldoni ; Guido Boella ; Valerio Genovese ; Andrea Mugnaini ; Roberto Grenna ; Leendert van der Torre
An Open Architecture for Service-Oriented Virtual Organizations / Adriana Giret ; Vicente Julián ; Miguel Rebollo ; Estefanía Argente ; Carlos Carrascosa ; Vincente Botti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments / Alessandro Ricci ; Mirko Viroli ; Michele Piunti
Analysis and Debugging / IV:
Debugging BDI-Based Multi-Agent Programs / Mehdi Dastani ; Jaap Brandsema ; Amco Dubel ; John-Jules Ch. Meyer
Space-Time Diagram Generation for Profiling Multi Agent Systems / Dinh Doan Van Bien ; David Lillis ; Rem W. Collier
Infrastructure for Forensic Analysis of Multi-Agent Based Simulations / Emilio Serrano ; Juan A. Botia ; Jose M. Cadenas
Agent Architectures / V:
Representing Long-Term and Interest BDI Goals / Lars Braubach ; Alexander Pokahr
Introducing Relevance Awareness in BDI Agents / Emiliano Lorini
Modularity and Compositionality in Jason / Neil Madden ; Brian Logan
Applications / VI:
A MultiAgent System for Monitoring Boats in Marine Reserves / Giuliano Armano ; Eloisa Vargiu
Agent-Oriented Control in Real-Time Computer Games / Tristan M. Behrens
Author Index
Communication Models / I:
Programming Multiagent Systems without Programming Agents / Munindar P. Singh ; Amit K. Chopra
Elements of a Business-Level Architecture for Multiagent Systems
71.

電子ブック

EB
Kumiyo Nakakoji, Takeo Kanade, Eric McCready, Yohei Murakami
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Juris-Informatics / Part I:
Third International Workshop on Juris-Informatics / Seiichiro Sakurai
Using BATNAs and WANTAs in Online Dispute Resolution / Francisco Andrade ; Paulo Novais ; Davide Carneiro ; John Zeleznikow ; José Neves
Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm / Vi-sit Boonchom ; Nuanwan Soonthornphisaj
Reflective Visualization of the Agreement Quality in Mediation / Yoshiharu Maeno ; Katsumi Nitta ; Yukio Ohsawa
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning / Guido Governatori ; Antonino Rotolo ; Rossella Rubino
Evaluating Cases in Legal Disputes as Rival Theories / Pontus Stenetorp ; Jason Jingshi Li
Law-Aware Access Control: About Modeling Context and Transforming Legislation / Michael Stieghahn ; Thomas Engel
Knowledge Collaboration in Software Development / Part II:
3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009) / Masao Ohira ; Yunwen Ye
On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study / Emad Shihab ; Nicolas Bettenburg ; Bram Adams ; Ahmed E. Hassan
A Proposal of TIE Model for Communication in Software Development Process / Masakazu Kanbe ; Shuichiro Yamamoto ; Toshizumi Ohta
Identifying the Concepts That Are Searchable with Keywords in Code Search Engines / Toshihiro Kamiya
On the Use of Emerging Design as a Basis for Knowledge Collaboration / Tiago Proenca ; Nilmax Teones Moura ; André van der Hoek
A Time-Lag Analysis for Improving Communication among OSS Developers / Kiwako Koyama ; Akinori Ihara ; Shinsuke Matsumoto ; Yasutaka Kamei ; Ken-ichi Matsumoto
Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs / Kumiyo Nakakoji ; Yasuhiro Yamamoto
Logic and Engineering of Natural Language Semantics / Part III:
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6) / Daisuke Bekki
Representing Covert Movements by Delimited Continuations / Kenichi Asai
Problems with Intervention and Binding into Relations / Alastair Butler ; Kei Yoshimoto
A Translation from Logic to English with Dynamic Semantics / Elizabeth Coppock ; David Baxter
Semantics of Possibility Suffix "(Rar)e" / Takashi lida
An Adaptive Logic for the Formal Explication of Scalar Implicatures / Hans Lycke
Two Kinds of Procedural Semantics for Privative Modification / Giuseppe Primiero ; Bjørn Jespersen
On the Nature and Formal Analysis of Indexical Presuppositions / Igor Yanovich
Non-standard Uses of German 1st Person Singular Pronouns / Sarah Zobel
Learning with Logics and Logics for Learning / Part IV:
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) / Akihiro Yamamoto ; Kauichi Hirata ; Shin-ichi Minato
Inferability of Unbounded Unions of Certain Closed Set Systems / Yuichi Kameda ; Hiroo Tokunaga
Mining Frequent k-Partite Episodes from Event Sequences / Takashi Katoh ; Hiroki Arimura ; Kouichi Hirata
Learning from Positive Data Based on the MINL Strategy with Refinement Operators / Seishi Ouchi
Computing Minimal Models by Positively Minimal Disjuncts / Ken Satoh
Author Index
Juris-Informatics / Part I:
Third International Workshop on Juris-Informatics / Seiichiro Sakurai
Using BATNAs and WANTAs in Online Dispute Resolution / Francisco Andrade ; Paulo Novais ; Davide Carneiro ; John Zeleznikow ; José Neves
72.

電子ブック

EB
De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Takeo Kanade, Zhongming Zhao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
73.

電子ブック

EB
De-Shuang Huang, Takeo Kanade, Carlos Alberto Reyes García, Lei Zhang, Xiang Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
74.

電子ブック

EB
Julian Padget, Alexander Artikis, Takeo Kanade, Eric Matson, Axel Polleres, Viviane Torres Silva, Kostas Stathis, Wamberto Vasconcelos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Building and Managing Organizations / Part I:
Conditional Dependence Networks in Requirements Engineering / Guido Boella ; Leendert van der Torre ; Serena Villata
A Norm-Based Organization Management System / Natalia Criado ; Vicente Julián ; Vicente Botti ; Estefania Argente
Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies / Jurriaan van Diggelen ; Jeffrey M. Bradshaw ; Matthew Johnson ; Andrzej Uszok ; Paul J. Feltovich
Building Multi-Agent Systems for Workflow Enactment and Exception Handling / Joey Lam ; Frank Guerin ; Wamberto Vasconcelos ; Timothy J. Norman
An Approach for Virtual Organisations' Dissolution / Nicolás Hormazábal ; Henrique Lopes Cardoso ; Josep Lluis de la Rosa ; Eugénio Oliveira
Playing with Agent Coordination Patterns in MAGE / Visara Urovi ; Kostas Stathis
A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems / Luciano R. Coutinho ; Anarosa A.F. Brandã ; Jaime S. Sichman ; Jomi F. Hübner ; Olivier Boissier
A Normative Organisation Programming Language for Organisation Management Infrastructures / Rafael H. Bordini
Social Norms and Semantics / Part II:
Monitoring Social Expectations in Second Life / Stephen Cranefield ; Guannan Li
Towards a Logical Model of Social Agreement for Agent Societies / Emiliano Lorini ; Mario Verdicchio
Promotion of Selfish Agents in Hierarchical Organisations / Suzanne Sadedin ; Christian Guttmann
The SIOC Project: Semantically-Interlinked Online Communities, from Humans to Machines / Alexandre Passant ; Uldis Bojars ; John G. Breslin ; Stefan Decker
Directing Status Messages to Their Audience in Online Communities / Milan Stankovic ; Philippe Laublet
Effects of Social Network Topology and Options on Norm Emergence / Onkur Sen ; Sandip Sen
Norms and Reasoning / Part III:
Directed Deadline Obligations in Agent-Based Business Contracts
Internal Agent Architecture for Norm Identification / Bastin Tony Roy Savarimuthu ; Maryam A. Purvis ; Martin K. Purvis
Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem / Thomas Kemmerich
An Infection-Based Mechanism in Large Convention Spaces / Norman Salazar ; Juan A. Rodriguez-Aguilar ; Josep Ll. Arcos
The Classification Game: Complexity Regularization through Interaction / Samarth Swarup
Dealing with Incomplete Normative States / Juan Manuel Serrano ; Sergio Saugar
Towards an Architecture for Self-regulating Agents: A Case Study in International Trade / Brigitte Burgemeestre ; Joris Hulstijn ; Yao-Hua Tan
Author Index
Building and Managing Organizations / Part I:
Conditional Dependence Networks in Requirements Engineering / Guido Boella ; Leendert van der Torre ; Serena Villata
A Norm-Based Organization Management System / Natalia Criado ; Vicente Julián ; Vicente Botti ; Estefania Argente
75.

電子ブック

EB
Jürgen Dix, Guido Governatori, Wojtek Jamroga, Takeo Kanade, João Leite
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited talks
Is Computational Complexity a Barrier to Manipulation? / Toby walsh
Games, Norms and Strategic Notions in Information Flow Security (Abstract) / Ron van der Meyden
Group Announcements: Logic and Games (Extended abstract) / Thomas Ã…gones
Strong Equivalence in Argumentation (abstract) / Stefan Woltran
Reguler papers
Hypergraphs of Multiparty Secrets / Sara Miner More ; Pauel Naumou
Combining Logics in Simple Type Theory / Christoph Benzmüiller
Speculative Adductive Reasoning for Hierarchical Agent Systems / Jiefei Ma ; Krysia Broad ; Randy Goebel ; Hiroshi Hosobe ; Alessandra Russo ; Ken satoh
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes / Pedro Arturo góngora ; Eric Ufferman ; Francisco Hernández-Quiroz
What Happened to My Commitment? Exception Diagnosis Among Misalignment and Misbehaviour / Özgür Kafali ; Federico Chesani ; Paolo Torroni
Verifying Business Process Compliance by Reasoning about Actions / Davide D'Aprile ; Laura Giodano ; Valentina Gliozzi ; Alberto Martelli ; Gian Luca Pozzato ; Daniele Theseider Dupré
From Organization Specification to Normative Programming in Multi-Agent Organizations / Jomi F. Hübner ; Olivier Boissier ; Rafael H. Bordini
Finding Uniform Strategies for Multi-Agent Systems / Jan Calta ; Dmitry Shkatov ; Holger Schlingloff
Playing Extensive Form Games in Parallel / Sujata Ghosh ; R.Ramanujam ; Sunil Simon
Exploring the Boundary of Half Positionality / Alessandro Bianco ; Marco Faella ; Fabio Mogavero ; Aniello Murano
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy sets / Jonathan A.Zvesper ; Krzysztof R. Apt
An Agent Language with Destructive Assignment and Model - Theoretic Semantics / Robert Kowalski ; Fariba sadri
Model Checking Agent Programs by Using the Program Interpreter / Sung-Shik T.Q. jongmans ; Koen V.Hindriks ; M.birna Van Riemsdijk
A Dialogue Games Framework for the Operational Semantics of Logic Agent - Oriented Languages / Stefania Constantini ; Arianna Tocchio
Author index
Invited talks
Is Computational Complexity a Barrier to Manipulation? / Toby walsh
Games, Norms and Strategic Notions in Information Flow Security (Abstract) / Ron van der Meyden
76.

電子ブック

EB
Edwin R. Hancock, Francisco Escolano, Takeo Kanade, Ilkay Ulusoy, Richard C. Wilson, Terry Windeatt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
From Region Based Image Representation to Object Discovery and Recognition / Narendra Ahuja ; Sinisa Todorovic
Learning on Manifolds / Fatih Porikli
Classification and Trees / Luc Devroye
Structural Patterns in Complex Networks through Spectral Analysis / Ernesto Estrada
Structural Descriptions
Graph Embedding Using an Edge-Based Wave Kernel / Hewayda ElGhawalby ; Edwin R. Hancock
A Structured Learning Approach to Attributed Graph Embedding / Haifeng Zhao ; Jun Zhou ; Antonio Robles-Kelly
Machine Learning
Combining Elimination Rules in Tree-Based Nearest Neighbor Search Algorithms / Eva Gómez-Ballester ; Luisa Micó ; Franck Thollard ; Jose Oncina ; Francisco Moreno-Seco
Localized Projection Learning / Kazuki Tsuji ; Mineichi Kudo ; Akira Tanaka
Entropy-Based Variational Scheme for Fast Bayes Learning of Gaussian Mixtures / Antonio Peñalver ; Francisco Escolano ; Boyan Bonev
Structural Learning
Learning Graph Quantization / Brijnesh J. Jain ; S. Deepak Srinivasan ; Alexander Tissen ; Klaus Obermayer
High-Dimensional Spectral Feature Selection for 3D Object Recognition Based on Reeb Graphs / Daniela Giorgi ; Silvia Biasotti
Dissimilarity-Based Multiple Instance Learning / Lauge Sørensen ; Marco Loog ; David M.J. Tax ; Wan-Jui Lee ; Marleen de Bruijne ; Robert P.W. Duin
A Game Theoretic Approach to Learning Shape Categories and Contextual Similarities / Aykut Erdem ; Andrea Torsello
Poster Session
A Comparison between Two Representatives of a Set of Graphs: Median vs. Barycenter Graph / Itziar Bardaji ; Miquel Ferrer ; Alberto Sanfeliu
Impact of Visual Information on Text and Content Based Image Retrieval / Christophe Moulin ; Christine Largeron ; Mathias Géry
Automatic Traffic Monitoring from Satellite Images Using Artificial Immune System / Mehrad Eslami ; Karim Faez
Graduated Assignment Algorithm for Finding the Common Labelling of a Set of Graphs / Albert Solé-Ribalta ; Francesc Serratosa
Affinity Propagation for Class Exemplar Mining / Shengping Xia ; Rui Song
Guided Informative Image Partitioning / Nathan Brewer ; Nianjun Liu ; Lei Wang
Visual Alphabets on Different Levels of Abstraction for the Recognition of Deformable Objects / Martin Stommel ; Klaus-Dieter Kuhnert
Graph Embedding Based on Nodes Attributes Representatives and a Graph of Words Representation / Jaume Gibert ; Ernest Valveny
Extracting Plane Graphs from Images / Émilie Samuel ; Colin de la Higuera ; Jean-Christophe Janodet
Indexing Tree and Subtree by Using a Structure Network / Mingming Zhang ; Shinichiro Omachi
Attributed Graph Matching for Image-Features Association Using SIFT Descriptors / Gerard Sanromà ; René Alquézar
A Causal Extraction Scheme in Top-Down Pyramids for Large Images Segmentation / Romain Goffe ; Guillaume Damiand ; Luc Brun
Fast Population Game Dynamics for Dominant Sets and Other Quadratic Optimization Problems / Samuel Rota Bulò ; Immanuel M. Bomze ; Marcello Pelillo
What Is the Complexity of a Network? The Heat Flow-Thermodynamic Depth Approach / Miguel A. Lozano
New Partially Labelled Tree Similarity Measure: A Case Study / David Rizo ; José M. Iñesta
Complete Search Space Exploration for SITG Inside Probability / Guillem Gascó ; Joan-Andreu Sánchez ; José-Miguel Benedí
Commute-Time Convolution Kernels for Graph Clustering / Normawati A. Rahman
Geometric Methods
Non-Euclidean Dissimilarities: Causes and Informativeness / Robert P. W. Duin ; Elzbieta Pekalska
Non-parametric Mixture Models for Clustering / Pavan Kumar Mallapragada ; Rong Jin ; Anil Jain
Structural Methods for Vision
A Probabilistic Approach to Spectral Unmixing / Cong Phuoc Huynh
A Game-Theoretic Approach to the Enforcement of Global Consistency in Multi-view Feature Matching / Emanuele Rodolà ; Andrea Albarelli
An Algorithm for Recovering Camouflage Errors on Moving People / D. Conte ; P. Foggia ; G. Percannella ; F. Tufano ; M. Vento
Clustering
Semi-supervised Clustering Using Heterogeneous Dissimilarities / Manuel Martín-Merino
On Consensus Clustering Validation / João M.M. Duarte ; Ana L.N. Fred ; André Lourenço ; F. Jorge F. Duarte
Pairwise Probabilistic Clustering Using Evidence Accumulation / Ana Fred
Exploring the Performance Limit of Cluster Ensemble Techniques / Xiaoyi Jiang ; Daniel Abdala
Contour Grouping by Clustering with Multi-feature Similarity Measure / Xue Bai ; Siwei Luo ; Qi Zou ; Yibiao Zhao
A Psychophysical Evaluation of Texture Degradation Descriptors / Jirí Filip ; Pavel Vácha ; Michal Haindl ; Patrick R. Green
Content-Based Tile Retrieval System
Performance Improvement in Multiple-Model Speech Recognizer under Noisy Environments / Jang-Hyuk Yoon ; Yong-Joo Chung
On Feature Combination for Music Classification / Zhouyu Fu ; Guojun Lu ; Kai-Ming Ting ; Dengsheng Zhang
Information Theoretical Kernels for Generative Embeddings Based on Hidden Markov Models / André F.T. Martins ; Manuele Bicego ; Vittorio Murino ; Pedro M.Q. Aguiar ; Mário A.T. Figueiredo
Dynamic Linear Combination of Two-Class Classifiers / Carlo Lobrano ; Roberto Tronic ; Giorgio Giacinto ; Fabio Roli
Large-Scale Text to Image Retrieval Using a Bayesian K-Neighborhood Model / Roberto Paredes
Maximum a Posteriori Based Kernel Classifier Trained by Linear Programming / Nopriadi ; Yukihiko Yamashita
Improvement of the Disc Harmonic Moments Descriptor by an Exponentially Decaying Distance Transform / Noureddine Ennahnahi ; Mohammed Oumsis ; Mohammed Meknassi
Feature Level Fusion of Face and Palmprint Biometrics / Dakshina Ranjan Kisku ; Phalguni Gupta ; Jamuna Kanta Sing
Scale and Rotation Invariant Detection of Singular Patterns in Vector Flow Fields / Wei Liu ; Eraldo Ribeiro
Using K-NN SVMs for Performance Improvement and Comparison to K-Highest Lagrange Multipliers Selection / Sedat Ozer ; Chi Hau Chen ; Imam Samil Yetik
Automatic Speech Segmentation Based on Acoustical Clustering / Jon A. Gómez ; Emilio Sanchis ; María J. Castro-Bleda
An Efficient Iris and Eye Corners Extraction Method / Nesli Erdogmus ; Jean-Luc Dugelay
Dissimilarity-Based Methods
An Empirical Comparison of Kernel-Based and Dissimilarity-Based Feature Spaces / Sang-Woon Kim
The Dissimilarity Representation as a Tool for Three-Way Data Classification: A 2D Measure / Diana Porro-Muñoz ; Mauricio Orozco-Alzate ; Isneri Talavera ; John Makario Londoño-Bonilla
Regularising the Ricci Flow Embedding / Weiping Xu ; Richard C. Wilson
Spherical Embedding and Classification
Language
Language Detection and Tracking in Multilingual Documents Using Weak Estimators / Aleksander Stensby ; B. John Oommen ; Ole-Christoffer Granmo
Similarity Word-Sequence Kernels for Sentence Clustering / Jesús Andrés-Ferrer ; Germán Sanchis-Trilles ; Francisco Casacuberta
Bayesian Adaptation for Statistical Machine Translation
A Generative Score Space for Statistical Dialog Characterization in Social Signalling / Anna Pesarin ; Marco Cristani ; Paolo Calanca
Multiple Classifiers
A Modular Approach to Training Cascades of Boosted Ensembles / Teo Susnjak ; Andre L. Barczak ; Ken A. Hawick
A Linear Combination of Classifiers via Rank Margin Maximization / Claudio Marrocco ; Paolo Simeone ; Francesco Tortorella
Combination of Dichotomizers for Maximizing the Partial Area under the ROC Curve / Maria Teresa Ricamato
Graphs
Thara Coefficients: A Flexible Tool for Higher Order Learning / Peng Ren ; Tatjana Aleksic
A New Spectral Bound on the Clique Number of Graphs
Large Sample Statistics in the Domain of Graphs
Statistical Pattern Recognition
Analysis of the Multi-Dimensional Scale Saliency Algorithm and Its Application to Texture Categorization / Pablo Suau
Interactive Image Retrieval Using Smoothed Nearest Neighbor Estimates / Miguel Arevalillo-Herráez ; Francesc J. Ferri
Kernel Fusion of Multiple Histogram Descriptors for Robust Face Recognition / Chi-Ho Chan ; Josef Kittler ; Muhammad Atif Tahir
Structural Methods for OCR
Efficient OCR Post-Processing Combining Language, Hypothesis and Error Models / Rafael Llobet ; J. Ramon Navarro-Cerdan ; Juan-Carlos Perez-Cortes ; Joaquim Arlandis
Rejection Threshold Estimation for an Unknown Language Model in an OCR Task
A New Editing Scheme Based on a Fast Two-String Median Computation Applied to OCR / José Ignacio Abreu Salas ; Juan Ramón Rico-Juan
Author Index
Invited Talks
From Region Based Image Representation to Object Discovery and Recognition / Narendra Ahuja ; Sinisa Todorovic
Learning on Manifolds / Fatih Porikli
77.

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Ryszard Kowalczyk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
HYDRA: A Middleware-Oriented Integrated Architecture for e-Procurement in Supply Chains / Giner Alor-Hernandez ; Alberto Aguilar-Lasserre ; Ulises Juarez-Martinez ; Ruben Posada-Gomez ; Guillermo Cortes-Robles ; Mario Alberto Garcia-Martinez ; Juan Miguel Gomez-Berbis ; Alejandro Rodriguez-Gonzalez
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH / Linh Anh Nguyen ; Andrzej Szalas
An Efficient Ant-Based Edge Detector / Dogan Aydin
Stochastic Local Search for Core Membership Checking in Hedonic Games / Helena Keinänen
A Different Perspective on a Scale for Pairwise Comparisons / J. Fülöp ; W.W. Koczkodaj ; S.J. Szarek
An Awareness-Based Learning Model to Deal with Service Collaboration in Cloud Computing / Mauricio Paletta ; Pilar Herrero
Ontology-Based Administration of Web Directories / Marko Horvat ; Gordan Gledec ; Nikola Bogunovic
Distributed Deliberative Recommender Systems / Juan A. Recio-García ; Belén Díaz-Agudo ; Sergio González-Sanz ; Lara Quijano Sanchez
Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence / Amine Chohra ; Kurosh Madani ; Dalel Kanzari
The Living Cell as a Multi-agent Organisation: A Compositional Organisation Model of Intracellular Dynamics / C.M Jonker ; J.L. Snoep ; J. Treur ; H.V. Westerhoff ; W.C.A. Wijngaards
Author Index
HYDRA: A Middleware-Oriented Integrated Architecture for e-Procurement in Supply Chains / Giner Alor-Hernandez ; Alberto Aguilar-Lasserre ; Ulises Juarez-Martinez ; Ruben Posada-Gomez ; Guillermo Cortes-Robles ; Mario Alberto Garcia-Martinez ; Juan Miguel Gomez-Berbis ; Alejandro Rodriguez-Gonzalez
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH / Linh Anh Nguyen ; Andrzej Szalas
An Efficient Ant-Based Edge Detector / Dogan Aydin
78.

電子ブック

EB
Byeong-Ho Kang, Takeo Kanade, Debbie Richards
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Machine Learning
A Graph-Based Projection Approach for Semi-supervised Clustering / Tetsuya Yoshida ; Kazuhiro Okatani
Self-organisation in an Agent Network via Multiagent Q-Learning / Dayong Ye ; Minjie Zhang ; Quan Bai ; Takayuki Ito
Improving Trading Systems Using the RSI Financial Indicator and Neural Networks / Alejandro Rodríguez-González ; Fernando Guldrís-Iglesias ; Ricardo Colomo-Palacios ; Juan Miguel Gomez-Berbis ; Enrique Jimenez-Domingo ; Giner Alor-Hernandez ; Rubén Posada-Gomez ; Guillermo Cortes-Robles
Balanced Student Partitioning to Promote Effective Learning: Applications in an International School / Wenbin Zhu ; Hu Qin ; Andrew Lim ; Zhou Xu
Data Mining
Laban-Based Motion Rendering for Emotional Expression of Human Form Robots / Megumi Masuda ; Shohei Kato ; Hidenori Itoh
Self-supervised Mining of Human Activity from CGM / Nguyen Minh The ; Takahiro Kawamura ; Hiroyuki Nakagawa ; Yasuyuki Tahara ; Akihiko Ohsuga
Data Mining Using an Adaptive HONN Model With Hyperbolic Tangent Neurons / Shuxiang Xu
Business Intelligence for Delinquency Risk Management via Cox Regression / Sung Ho Ha ; Eun Kyoung Kwon
Knowledge Engineering & Ontology
An Ontology-Based Adaptive Learning System to Enhance Self-directed Learning / Mihye Kim ; Sook-Young Choi
Context-Aware Service Framework for Decision-Support Applications Using Ontology-Based Modeling / Giovanni Cagalaban ; Seoksoo Kim
A Disaster Management Metamodel (DMM) Validated / Siti Hajar Othman ; Ghassan Beydoun
Another Investigation of an Interontologia between Chinese Lexical Systems and Roget's Thesaurus / Sang-Rak Kim ; Jae-Gun Yang ; Jae-Hak J. Bae
Incremental Knowledge Acquisition
Incremental Knowledge Acquisition Using Generalised RDR for Soccer Simulation / Angela Finlayson ; Paul Compton
Incremental System Engineering Using Process Networks / Avishkar Misra ; Arcot Sowmya
RDRCE: Combining Machine Learning and Knowledge Acquisition / Han Xu ; Achim Hoffmann
Simulated Assessment of Ripple Round Rules / Ivan Bindoff ; Byeong Ho Kang
The Ballarat Incremental Knowledge Engine / Richard Dazeley ; Philip Warner ; Scott Johnson ; Peter Vamplew
KA Applications in Internet and Mobile Computing
Finding Relation between PageRank and Voter Model / Takayasu Fushimi ; Kazumi Saito ; Masahiro Kimura ; Hiroshi Motoda ; Kouzou Ohara
Mobile Sync-application for Life Logging and High-Level Context Using Bayesian Network / Tae-min Jung ; Young-Seol Lee ; Sung-Bae Cho
Consensus Clustering and Supervised Classification for Profiling Phishing Emails in Internet Commerce Security / John L. Yearwood ; Byeong H. Kang ; Andrei V. Kelarev
People Recommendation Based on Aggregated Bidirectional Intentions in Social Network Site / Yang Sok Kim ; Ashesh Mahidadia ; Xiongcai Cai ; Mike Bain ; Alfred Krzywicki ; Wayne Wobcke
Visualising Intellectual Structure of Ubiquitous Computing / Maria R. Lee ; Tsung Teng Chen
Acquiring Expected Influence Curve from Single Diffusion Sequence / Yuya Yoshikawa
KA Applications in Multimedia and Games
Automatic Speech-Based Classification of Gender, Age and Accent / Phuoc Nguyen ; Dat Tran ; Xu Huang ; Dharmendra Sharma
MMG: A Learning Game Platform for Understanding and Predicting Human Recall Memory / Umer Fareed ; Byoung-Tak Zhang
Efficient Bulk-Insertion for Content-Based Video Indexing / Narissa Onkhum ; Juggapong Natwichai
Author Index
Machine Learning
A Graph-Based Projection Approach for Semi-supervised Clustering / Tetsuya Yoshida ; Kazuhiro Okatani
Self-organisation in an Agent Network via Multiagent Q-Learning / Dayong Ye ; Minjie Zhang ; Quan Bai ; Takayuki Ito
79.

電子ブック

EB
Carlos E. Ferreira, Takeo Kanade, Satoru Miyano, Peter F. Stadler
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Full Papers
Evolution of the Long Non-coding RNAs MALAT1 and MEN?/? / Peter F. Stadler
Granger Causality in Systems Biology: Modeling Gene Networks in Time Series Microarray Data Using Vector Autoregressive Models / André Fujita ; Patricia Severino ; João Ricardo Sato ; Satoru Miyano
Semi-supervised Approach for Finding Cancer Sub-classes on Gene Expression Data / Clerton Ribeiro ; Francisco de Assis T. de Carvalho ; Ivan G. Costa
Bounds on the Transposition Distance for Lonely Permutations / Luis Antonio B. Kowada ; Rodrigo de A. Hausen ; Celina M.H. de Figueiredo
Insights on Haplotype Inference on Large Genotype Datasets / Rogério S. Rose ; Katia S. Guimarães
Extended Abstracts
An SVM Model Based on Physicochemical Properties to Predict Antimicrobial Activity from Protein Sequences with Cysteine Knot Motifs / William F. Porto ; Fabiano C. Fernandes ; Octávio L. Franco
Enabling Annotation Provenance in Bioinformatics Workflow Applications / Milene Pereira Guimarães ; Maria Cláudia Cavalcanti
BAT: A New Biclustering Analysis Toolbox / Cristian Andrés Gallo ; Julieta Sol Dussaut ; Jessica Andrea Carballido ; Ignacio Ponzoni
Detection of Protein Domains in Eukaryotic Genome Sequences / Arli A. Parikesit ; Sonja J. Prohaska
Discretization of Flexible-Receptor Docking Data / K.S. Machado ; A.T. Winck ; D.D. Ruiz ; O. Norberto de Souza
Author Index
Full Papers
Evolution of the Long Non-coding RNAs MALAT1 and MEN?/? / Peter F. Stadler
Granger Causality in Systems Biology: Modeling Gene Networks in Time Series Microarray Data Using Vector Autoregressive Models / André Fujita ; Patricia Severino ; João Ricardo Sato ; Satoru Miyano
80.

電子ブック

EB
Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Takeo Kanade, Jean-Arcady Meyer, Jean-Baptiste Mouret
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
81.

電子ブック

EB
Byoung-Tak Zhang, Takeo Kanade, Mehmet A. Orgun
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
82.

電子ブック

EB
Yiyu Yao, Jimmy Huang, Takeo Kanade, Jiming Liu, Tomaso Poggio, Ron Sun, Ning Zhong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Fractionating the Rational Brain / Vinod Goel
Cognitive Informatics and Denotation Mathematical Means for Brain Informatics / Yingxu Wang
Cognitive Computing
An Adaptive Model for Dynamics of Desiring and Feeling Based on Hebbian Learnig / Tibor Bosse ; Mark Hoogendoorn ; Zulfiqar A. Memon ; Jan Treur ; Muhammad Umair
Modelling the Emergence of Group Decisions Based on Mirroring and Somatic Marking / C. Natalie van der Wal ; Arlette van Wissen
Rank-Score Characteristics (RSC) Function and Cognitive Diversity / D. Frank Hsu ; Bruce S. Kristal ; Christina Schweikert
Congnitive Effort for Multi-agent Systems / Luca Longo ; Stephen Barrett
Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes / Alexei Sharpanskykh
Data Brain and Analysis
The Effect of the Normalization Strategy on Voxel-Based Analysis of DTI Images: A Pattern Recognition Based Assessment / Gloria Díaz ; Gonzalo Pajares ; Eduardo Romero ; Juan Alvarez-Linera ; Eva López ; Juan Antonio ; Hernández-Tamames ; Norberto Malpica
Single Trial Classification of EEG and Peripheral Physiological Signals for Recognition of Emotions Induced by Music Videos / Sander Koelstra ; Ashkan Yazdani ; Mohammad Soleymani ; Christian Mühl ; Jong-Seok Lee ; Anton Nijholt ; Thierry Pun ; Touradj Ebrahimi ; Ioannis Patrus
Brain Signal Recognition and Conversion towards Symbiosis with Ambulatory Humanoids / Yasuo Matsuyama ; Keita Noguchi ; Takashi Hatakeyama ; Nimiko Ochiai ; Tatsuro Hori
Feature Rating by Random Subspaces for Functional Brain Mapping / Diego Sona ; Paolo Avesani
Recurrence Plots for Identifying Memory Components in Single-Trial EEGs / Nasibeh Talebi ; Ali Motie Nasrabadi
Comparing EEG/ERP-Like and fMRI-Like Techniques for Reading Machine Thoughts / Fabio Massimo Zanzotto ; Danilo Croce
Improving Individual Identification in Security Check with an EEG Based Biometric Solution / Qinglin Zhao ; Hong Peng ; Bin Hu ; Quanying Liu ; Li Liu ; YanBing Qi ; Lanlan Li
Neuronal Modeling and Brain Modeling
Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method / Mohamed Baghdadi ; Nacéra Benamrane ; Lakhdar Sais
Domain-Specific Modeling as a Pragmatic Approach to Neuronal Model Descriptions / Ralf Ansory ; Lars Schwabe
Guessing What's on Your Mind: Using the N400 in Brain Computer Interfaces / Marijn van Vliet ; Boris Reuderink ; Mannes Poel
A Brain Data Integration Model Based on Multiple Ontology and Semantic Similarity / Li Xue ; Yun Xiong ; Yangyong Zhu
Perception and Information Processing
How Does Repetition of Signals Increase Precision of Numerical Judgement? / Eike B. Kroll ; Jörg Rieger ; Bodo Vogt
Sparse Regression Models of Pain Perception / Irina Rish ; Guillermo A. Cecchi ; Marwan N. Baliki ; A. Vania Apkarian
A Study of Mozart Effect on Arousal, Mood and Attention Blink / Chen Xie ; Lun Zhao ; Duoqian Miao ; Deng Wang ; Zhihua Wei ; Hongyun Zhang
Learning
Attentional Disengage from Test-Related Pictures in Test-Anxious Students: Evidence from Event-Related Potentials / Rui Chen ; Renlai Zhou
Concept Learning in Text Comprehension / Manas Hardas ; Javed Khan
A Qualitative Approach of Learning in Parkinson's Disease / Delphine Penny-Leguy ; Josiane Caron-Pargue
Cognition-Inspired Applications
Modelling Caregiving Interactions during Stress / Azizi Ab Aziz
Computational Modeling and Analysis of Therapeutical Interventions for Depression / Fiemke Both ; Michel C.A. Klein
A Time Series Based Method for Analyzing and Predicting Personalized Medical Data / Qinwin vivian Hu ; Xiangji Jimmy Huang ; William Melek ; C. Joseph Kurian
Language Analytics for Assessing Brain Health: Cognitive Impairment, Depression and Pre-symptomatic Alzheimer's Disease / William L. Jarrold ; Bart Peintner ; Eric Yeh ; Ruth Krasnow ; Harold S. Javitz ; Gary E. Swan
The Effect of Sequence Complexity on the Construction of Protein-Protein Interaction Networks / Mehdi Kargar ; Aijun An
Data Fusion and Feature Selection for Alzheimer's Diagnosis / Blake Lemoine ; Sara Rayburn ; Ryan Benton
A Cognitive Architecture Based on Neuroscience for the Control of Virtual 3D Human Creatures / Felipe Rodríguez ; Francisco Galvan ; Félix Ramos ; Erick Castellanos ; Gregorio García ; Pablo Covarrubia
Towards Inexpensive BCI Control for Wheelchair Navigation in the Enabled Environment - A Hardware Survey / Kenyon Stamps ; Yskandar Hamam
Expression Recognition Methods Based on Feature Fusion / Chang Su ; Jiefang Deng ; Yong Yang ; Guoyin Wang
Investigation on Human Characteristics of Japanese Katakana Recognition by Active Touch / Suguru Yokotani ; Jiajia Yang ; Jinglong Wu
WICI Perspectives on Brain Informatics
Towards Systematic Human Brain Data Management Using a Data-Brain Based GLS-BI System / Jianhui Chen ; Ning Zhong ; Runhe Huang
The Role of the Parahippocampal Cortex in Memory Encoding and Retrieval: An fMRI Study / Mi Li ; Shengfu Lu ; Jiaojiao Li
Brain Activation and Deactivation in Human Inductive Reasoning: An fMRI Study / Peipeng Liang ; Yang Mei ; Xiugin Jia ; Yanhui Yang ; Kurcheng Li
Clustering of fMRI Data Using Affinity Propagation / Dazhong Liu ; Wanxuan Lu
Interaction between Visual Attention and Goal Control for Speeding Up Human Heuristic Search / Rifeng Wang ; Jie Xiang
The Role of Posterior Parietal Cortex in Problem Representation / Yulin Qin ; Junjie Chen ; Haiyan Zhou ; Kuncheng Li ; Ning zhong
Basic Level Advantages and Its Switching during Information Retrieval: An fMRI Study / Jieyu Liu ; Wei Jing ; Yiyu Yao
Author index
Keynote Talks
Fractionating the Rational Brain / Vinod Goel
Cognitive Informatics and Denotation Mathematical Means for Brain Informatics / Yingxu Wang
83.

電子ブック

EB
Colin Fyfe, Darryl Charles, Cesar Garcia-Osorio, Takeo Kanade, Peter Tino, Hujun Yin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Large Scale Instance Selection by Means of a Parallel Algorithm / Aida de Haro-García ; Juan Antonio Romero del Castillo ; Nicolás García-Pedrajas
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection / Carsten Elfers ; Mirko Horstmann ; Karsten Sohr ; Otthein Herzog
Generalized Derivative Based Kernelized Learning Vector Quantization / Frank-Michael Schleif ; Thomas Villmann ; Barbara Hammer ; Petra Schneider ; Michael Biehl
Cost Optimization of a Localized Irrigation System Using Genetic Algorithms / Mônica Sakuray Pais ; Júlio César Ferreira ; Marconi Batista Teixeira ; Keiji Yamanaka ; Gilberto Arantes Carrijo
Dimension Reduction for Regression with Bottleneck Neural Networks / Elina Parviainen
Analysing Satellite Image Time Series by Means of Pattern Mining / François Petitjean ; Pierre Gançarski ; Florent Masseglia ; Germain Forestier
Sentences Generation by Frequent Parsing Patterns / Takashi Yanagisawa ; Takao Miura ; Isamu Shioya
Gallbladder Boundary Segmentation from Ultrasound Images Using Active Contour Model / Marcin Ciecholewski
On the Power of Topological Kernel in Microarray-Based Detection of Cancer / Vilen Jumutc ; Pawel Zayakin
An Evolutionary Multi-objective Optimization of Market Structures Using PBIL / Xinyang Li ; Andreas Krause
New Application of Graph Mining to Video Analysis / Hisashi Koga ; Tsuji Tomokazu ; Takanori Yokoyama ; Toshinori Watanabe
Classification by Multiple Reducts-kNN with Confidence / Naohiro Ishii ; Yuichi Morioka ; Hiroaki Kimura ; Yongguang Bao
Towards Automatic Classification of Wikipedia Content / Julian Szymanski
Investigating the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data / Andrea Guidali ; Elisabetta Binaghi ; Mauro Guglielmin ; Marco Pascale
A Comparison of Three-Voting Methods for Bagging with the MLEM2 Algorithm / Clinton Cohagan ; Jerzy W. Grzymala-Busse ; Zdzislaw S. Hippe
Simplified Self-adapting Skip Lists / Jonathan J. Pittard ; Alan L. Tharp
Multi-Agent Architecture with Support to Quality of Service and Quality of Service and Quality of Control / Jose-Luis Poza-Luján ; Juan-Luis Posadas-Yagüe ; Jose-Enrique Simó-Ten
Robust 1-Norm Soft Margin Smooth Support Vector Machine / Li-Jen Chien ; Yuh-Jye Lee ; Zhi-Peng Kao ; Chih-Cheng Chang
A Generalization of Independence in Naive Bayes Model / Yu Fujimoto ; Noboru Murata
Interval Filter: A Locality-Aware Alternative to Bloom Filters for Hardware Membership Queries by Interval Classification / Ricardo Quislant ; Eladio Gutierrez ; Oscar Plata ; Emilio D. Zapata
Histogram Distance for Similarity Search in Large Time Series Database / Yicun Ouyang ; Feng Zhang
The Penalty Avoiding Rational Policy Making Algorithm in Continuous Action Spaces / Kazuteru Miyazaki
Applying Clustering Techniques to Reduce Complexity in Automated Planning Domains / Luke Dicken ; John Levine
The M-OLAP Cube Selection Problem: A Hyper-polymorphic Algorithm Approach / Jorge Loureiro ; Orlando Belo
Privacy Preserving Technique for Euclidean Distance Based Mining Algorithms Using a Wavelet Related Transform / Mohammad Ali Kadampur ; Somayajulu D.V.L.N
Extracting Features from an Electrical Signal of a Non-Intrusive Load Monitoring System / Marisa B. Figueiredo ; Ana de Almeida ; Bernardete Ribeiro ; António Martins
Annotation and Retrieval of Cell Images / Maria F. O'Connor ; Arthur Hughes ; Chaoxin Zheng ; Anthony Davies ; Dermot Kelleher ; Khurshid Ahmad
Adaptive Particle Swarm Optimizer for Feature Selection / M.A. Esseghir ; Gilles Goncalves ; Yahya Slimani
A Randomized Sphere Cover Classifier / Reda Younsi ; Anthony Bagnall
Directed Figure Codes with Weak Equality / Wtodzimierz Moczurad
Surrogate Model for Continuous and Discrete Genetic Optimization Based on RBF Networks / Lukáš Bajer ; Martin Holena
Relevance of Contextual Information in Compression-Based Text Clustering / Ana Granados ; Rafael Martínez ; David Camacho ; Francisco de Borja Rodríguez
Simple Deterministically Constructed Recurrent Neural Networks / Ali Rodan ; Peter Tino
Non-negative Matrix Factorization Implementation Using Graphic Processing Units / Noel Lopes
A Neighborhood-Based Clustering by Means of the Triangle Inequality / Marzena Kryszkiewicz ; Piotr Lasek
Selection of Structures with Grid Optimization, in Multiagent Data Warehouse / Marcin Gorawski ; Stawomir Bankowski ; Michal Gorawski
Approximating the Covariance Matrix of GMMs with Low-Rank Perturbations / Malik Magdon-Ismail ; Jonathan T. Purnell
Learning Negotiation Policies Using IB3 and Bayesian Networks / Gislaine M. Nalepa ; Bráulio C. Ávila ; Fabrício Enembreck ; Edson E. Scalabrin
Trajectory Based Behavior Analysis for User Verification / Hsing-Kuo Pao ; Hong-Yi Lin ; Kuan-Ta Chen ; Junaidillah Fadlil
Discovering Concept Mappings by Similarity Propagation among Substructures / Qi H. Pan ; Fedja Hadzic ; Tharam S. Dillon
Clustering and Visualizing SOM Results / José Alfredo F. Costa
A Hybrid Evolutionary Algorithm to Quadratic Three-Dimensional Assignment Problem with Local Search for Many-Core Graphics Processors / Piotr Lipinski
Evolution Strategies for Objective Functions with Locally Correlated Variables
Neural Data Analysis and Reduction Using Improved Framework of Information-Preserving EMD / Zareen Mehboob ; Hujun Yin
Improving the Performance of the Truncated Fourier Series Least Squares (TFSLS) Power System Load Model Using an Artificial Neural Network Paradigm / Shonique L. Miller ; Gary L. Lebby ; Ali R. Osareh
An Efficient Approach to Clustering Real-Estate Listings / Maciej Grzenda ; Deepak Thukral
Incremental Update of Cyclic Association Rules / Eya Ben Ahmed
Author Index
Large Scale Instance Selection by Means of a Parallel Algorithm / Aida de Haro-García ; Juan Antonio Romero del Castillo ; Nicolás García-Pedrajas
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection / Carsten Elfers ; Mirko Horstmann ; Karsten Sohr ; Otthein Herzog
Generalized Derivative Based Kernelized Learning Vector Quantization / Frank-Michael Schleif ; Thomas Villmann ; Barbara Hammer ; Petra Schneider ; Michael Biehl
84.

電子ブック

EB
Rossitza Setchi, Robert J. Howlett, Lakhmi C. Jain, Ivan Jordanov, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
85.

電子ブック

EB
Rossitza Setchi, Robert J. Howlett, Lakhmi C. Jain, Ivan Jordanov, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
86.

電子ブック

EB
Rossitza Setchi, Robert J. Howlett, Lakhmi C. Jain, Ivan Jordanov, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
87.

電子ブック

EB
Rossitza Setchi, Robert J. Howlett, Lakhmi C. Jain, Ivan Jordanov, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Knowledge-Based Systems for e-Business
A Study on Traveling Purpose Classification Method to Extract Traveling Requests / Nobuo Suzuki ; Mariko Yamamura ; Kazuhiko Tsuda
Customer Path Controlling in the Retail Store with the Vertex Dominating Cycle Algorithms / Hirokazu Yanagihara ; Muni S. Srivastava ; Takeshi Sugiyama
Quality Assurance and Intelligent Web-Based Information Technology
A Framework for the Quality Assurance of Blended E-Learning Communities / Iraklis Varlamis ; Ioannis Apostolakis
Quality of Content in Web 2.0 Applications
Telepediatrics Education on the Semantic Web / Sofia Sidirokastriti ; Anastasia N. Kastania
Web Applications and Public Diplomacy / Antigoni Koffa
Knowledge-Based Interface Systems
A Hybrid Face Recognition System for Managing Time of Going to Work and Getting away from Office / Yoshinori Adachi ; Zeng Yunfei ; Masahiro Ozaki ; Yuji Iwahori
Multi-Relationa Pattern Mining System for General Database Systems / Nobuhiro Inuzuka ; Toshiyuki Makino
Recovering 3-D Shape Based on Light Fall-Off Stereo under Point Light Source Illumination and Perspective Projection / Claire Rouveyrol ; Robert J.Woodham ; Kunio Kasugai
Shadow Detection Method Based on Dirichlet Process Mixture Model / Wataru Kurahashi ; Shinji Fukui ; Robert J. Woodham
Vowel Sound Recognition Using a Spectrum Envelope Feature Detection Method and Neural Network / Masashi Kawaguchi ; Naohiro Yonekura ; Takashi Jimbo ; Naohiro Ishii
Information Extraction Using XPath / Masashi Okada ; Ippei Torii
Information Visualization System for Activation of Shopping Streets / Yousuke Okada ; Takahito Niwa ; Manabu Onogi
Reasoning Based Intelligent Systems
Introduction to Intelligent Network Routing Based on EVALPSN / Kazumi Nakamatsu ; Jair Minoro Abe ; Takashi Watanabe
Introduction to Intelligent Elevator Control Based on EVALPSN / Seiki Akama ; Roumen Kountchev
A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network / Claudio Rodrigo Torres ; Germano Lambert-Torres ; João Inácio Da Silva Filho ; Helga Gonzaga Martins
Paraconsistent Artificial Neural Networks and EEG Analysis / Helder F.S. Lopes
A Reasoning-Based Strategy for Exploring the Synergy among Alternative Crops / Hércules Antonio do Prado ; Edilson Ferneda ; Ricardo Coelho de Faria
Reasoning Elements for a Vehicle Routing System / Bernardo A. Mello ; Janaína A.S. Diniz ; Adelaide Figueiredo
A Mechanism for Converting Circuit Grammars to Definite Clauses / Takashi Tanaka
Constructive Discursive Reasoning
Formal Concept Analysis of Medical Incident Reports / Takahiro Baba ; Lucing Liu ; Sachio Hirokawa
Compression of Multispectral Images with Inverse Pyramid Decomposition
Data Mining and Service Science for Innovation
Econometric Approach for Broadband Market in Japan / Takeshi Kurosawa ; Hiromichi Kawano ; Motoi Iwashita ; Shinsuke Shimogawa ; Shouji Kouno ; Akiya Inoue
Opinion Exchange Support System by Visualizing Input History / Yukihiro Tamura ; Yuuki Tomiyama ; Wataru Sunayama
Extracting Promising Sequential Patterns from RFID Data Using the LCM Sequence / Takanobu Nakahara ; Takeaki Uno ; Katsutoshi Yada
Relation between Stay-Time and Purchase Probability Based on RFID Data in a Japanese Supermarket / Keiji Takai
Implementing an Image Search System with Integrating Social Tags and DBpedia / Chie Iijima ; Makito Kimura ; Takahira Yamaguchi
The Influence of Shopping Path Length on Purchase Behavior in Grocery Store / Marina Kholod ; Haruka Azuma
Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control / Takashi Mitsuishi ; Hidefumi Kawakatsu ; Yasunari Shidama
Innovations in Chance Discovery
Temporality and Reference Place: Discovering Chances for Conflict Avoidance in Teamwork / Ruediger Oehlmann
Discovering Research Key Terms as Temporal Patterns of Importance Indices for Text Mining / Hidenao Abe ; Shusaku Tsumoto
Categorized and Integrated Data Mining of Medical Data from the Viewpoint of Chance Discovery / Akinori Abe ; Norihiro Hagita ; Michiko Furutani ; Yoshiyuki Furutani ; Rumiko Matsuoka
Support System for Thinking New Criteria of Unclassified Diseases / Yoko Nishihara ; Yoshimune Hiratsuka ; Akira Murakami ; Yukio Ohsawa ; Toshiro Kumakawa
Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules / Vladimir Rybakov
Fairing Chance Cognitive Niche Impoverishment / Lorenzo Magnani ; Emanuele Bardone
Advanced Knowledge-Based Systems
Summarization for Geographically Distributed Data Streams / Anna Ciampi ; Annalisa Appice ; Donato Malerba
Gradual Data Aggregation in Multi-granular Fact Tables on Resource-Constrained Systems / Nadeem Iftikhar ; Torben Bach Pedersen
A Refinement Operator Based Method for Semantic Grouping of Conjunctive Query Results / Agnieszka Lawrynowicz ; Claudia d'Amato ; Nicola Fanizzi
Semantic Network of Ground Station-Satellite Communication System / Katarzyna Dabrowska-Kubik
W-kmeans: Clustering News Articles Using WordNet / Christos Bouras ; Vassilis Tsogkas
An Efficient Mechanism for Stemming and Tagging: The Case of Greek language / Giorgos Adam ; Konstantinos Asimakis ; Vassilis Poulopoulos
Co-clustering Analysis of Weblogs Using Bipartite Spectral Projection Approach / Guandong Xu ; Yu Zong ; Peter Dolog ; Yanchun Zhang
Talking Biology in Logic, and Back / Hasan Jamil
Analysis of Medical Pathways by Means of Frequent Closed Sequences / Elena Baralis ; Giulia Bruno ; Silvia Chiusano ; Virna C. Domenici ; Naeem A. Mahoto ; Caterina Petrigni
Inheriting Access Control Rules from Large Relational Databases to Materialized Views Automatically / Alfredo Cuzzocrea ; Mohand-Said Hacid ; Nicola Grillo
MySQL Data Mining: Extending MySQL to Support Data Mining Primitives (Demo) / Alfredo Ferro ; Rosalba Giugno ; Piera Laura Puglisi ; Alfredo Pulvirenti
A Genetic Algorithm to Design Industrial Materials / E. Tenorio ; J. Gómez-Ruiz ; J.I. Peláez ; J.M. Doña
Intelligent Network and Service
A Proposal of P2P Content Retrieval System Using Access-Based Grouping Technique / Takuya Sasaki ; Jun Sawamoto ; Takashi Katoh ; Yuji Wada ; Norihisa Segawa ; Eiji Sugino
The Effects of Individual Differences in Two Persons on the Distributed and Cooperative KJ Method in an Anonymous Environment / Takaya Yuizono ; Zhe Jin
Pictograph Chat Communicator III: A Chat System That Embodies Cross-Cultural Communication / Jun Munemori ; Taro Fukuda ; Moonyati Binti Mohd Yatid ; Tadashi Nishide ; Junko Itou
Distance Learning Support System for Game Programming with Java / Kouji Yoshida ; Takumu Yaoi ; Isao Miyaji ; Kunihiro Yamada ; Satoru Fujii
Evidence Analysis Method Using Bloom Filter for MANET Forensics / Takashi Mishina ; Yoh Shiraishi ; Osamu Takahashi
Diminished Reality for Landscape Video Sequences with Homographies / Kosuke Takeda ; Ryuuki Sakamoto
Prediction of Combinatorial Protein-Protein Interaction Networks from Expression Data Using Statistics on Conditional Probability / Takatoshi Fujiki ; Etsuko Inoue ; Takuya Yoshihiro ; Masaru Nakagawa
Development and Evaluation of a Historical Tour Support System Using 3D Graphics and Mobile Terminal / Takahiro Shima ; Megumi Takahashi ; Koji Yoshida
Repetition of Dialogue Atmosphere Using Characters Based on Face-to-Face Dialogue
Soft Computing Techniques and Their Intelligent Utilizations Toward Gaming, Robotics, Stock Markets etc.
CMOS-Based Radiation Movie and Still Image Pickup System with a Phototimer Using Smart Pattern Recognition / Osamu Yuuki ; Hiroshi Mineno ; Tadanori Mizuno
Utilization of Evolutionary Algorithms for Making Commons Game Much More Exciting / Noriyuki Komine ; Norio Baba ; Hisashi Handa ; Mariko Kusaka ; Masaki Takeda ; Yuriko Yoshihara ; Keisuke Kogawa
Education of Embedded System by Using Electric Fan / Junji Namiki
Development and Evaluation of a Routing Simulator for a Mutually Complementary Network Incorporating Wired and Wireless Components / Hiroki Morita ; Naoki Yusa ; Masanori Kojima
On the Impact of the Metrics Choice in SOM Learning: Some Empirical Results from Financial Data / Marina Resta
Reinforcement Learning Scheme for Grouping and Characterization of Multi-agent Network / Koichiro Morihiro ; Nobuyuki Matsui ; Teijiro Isokawa ; Haruhiko Nishimura
Extracting Principal Components from Pseudo-random Data by Using Random Matrix Theory / Mieko Tanaka-Yamawaki
Music Impression Detection Method for User Independent Music Retrieval System / Masato Miyoshi ; Satoru Tsuge ; Hillary Kipsang Choge ; Tadahiro Oyama ; Momoyo Ito ; Minoru Fukumi
Applying Fuzzy Sets to Composite Algorithm for Remote Sensing Data / Kenneth J. Mackin ; Takashi Yamaguchi ; Jong Geol Park ; Eiji Nunohiro ; Kotaro Matsushita ; Yukio Yanagisawa ; Masao Igarashi
Immunity-Based Systems
Evaluations of Immunity-Based Diagnosis for a Motherboard / Haruki Shida ; Takeshi Okamoto ; Yoshiteru Ishida
A Note on Dynamical Behaviors of a Spatial Game Operated on Intercrossed Rules / Kouji Harada
Asymmetry in Repairing and Infection: The Case of a Self-repair Network / Kei-ichi Tanabe
A Note on Symmetry in Logic of Self-repair: The Case of a Self-repair Network
An Immunity-Based Scheme for Statistical En-route Filtering in Wireless Sensor Networks / Yuji Watanabe
Author Index
Knowledge-Based Systems for e-Business
A Study on Traveling Purpose Classification Method to Extract Traveling Requests / Nobuo Suzuki ; Mariko Yamamura ; Kazuhiko Tsuda
Customer Path Controlling in the Retail Store with the Vertex Dominating Cycle Algorithms / Hirokazu Yanagihara ; Muni S. Srivastava ; Takeshi Sugiyama
88.

電子ブック

EB
Longbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Takeo Kanade, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Agents for Data Mining / Part I:
Finding Useful Items and Links in Social and Agent Networks / Sandip Sen
Integrating Workflow into Agent-Based Distributed Data Mining Systems / Chayapol Moemeng ; Xinhua Zhu ; Longbing Cao
Pilot Study: Agent-Based Exploration of Complex Data in a Hospital Environment / Ted Carmichael ; Mirsad Hadzikadic ; Ognjen Gajic
Multi-agent Information Retrieval in Heterogeneous Industrial Automation Environments / Stephan Pech ; Peter Goehner
Data Mining for Agents / Part II:
A Data Mining Approach to Identify Obligation Norms in Agent Societies / Bastin Tony Roy Savarimuthu ; Stephen Cranefield ; Maryam Purvis ; Martin Purvis
Probabilistic Modeling of Mobile Agents' Trajectories / Štepán Urban ; Michal Jakob ; Michal Pechoucek
Real-Time Sensory Pattern Mining for Autonomous Agents / Pedro Sequeira ; Cláudia Antunes
Data Mining in Agents / Part III:
Analyzing Agent-Based Simulations of Inter-organizational Networks / Dominik Schmitz ; Thomas Arzdorf ; Matthias Jarke ; Gerhard Lakemeyer
Clustering in a Multi-Agent Data Mining Environment / Santhana Chaimontree ; Katie Atkinson ; Frans Coenen
Time-Based Reward Shaping in Real-Time Strategy Games / Martin Midtgaard ; Lars Vinther ; Jeppe R. Christiansen ; Allan M. Christensen ; Yifeng Zeng
Wise Search Engine Based on LSI / Yang Jianxiong ; Junzo Watada
Pattern Recognition in Online Environment by Data Mining Approach / MohammadReza EffatParvar ; Mehdi EffatParvar ; Maseud Rahgozar
Agent Mining Applications / Part IV:
A Multiple System Performance Monitoring Model for Web Services / Yong Yang ; Dan Luo ; Chengqi Zhang
Implementing an Open Reference Architecture Based on Web Service Mining for the Integration of Distributed Applications and Multi-Agent Systems / Dionisis D. Kehagias ; Dimitrios Tzovaras ; Efthimia Mavridou ; Kostantinos Kalogirou ; Martin Becker
Minority Game Data Mining for Stock Market Predictions / Ying Ma ; Guanyi Li ; Yingsai Dong ; Zengchang Qin
Author Index
Agents for Data Mining / Part I:
Finding Useful Items and Links in Social and Agent Networks / Sandip Sen
Integrating Workflow into Agent-Based Distributed Data Mining Systems / Chayapol Moemeng ; Xinhua Zhu ; Longbing Cao
89.

電子ブック

EB
Darina Dicheva, Danail Dochev, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments / Khalil Ben Mohamed ; Michel Leclère ; Marie-Laure Mugnier
Use-Based Discovery of Pervasive Services / Raman Kazhamiakin ; Volha Kerhet ; Massimo Paolucci ; Marco Pistore ; Matthias Wagner
Expressive Approximations in DL-Lite Ontologies / Elena Botoeva ; Diego Calvanese ; Mariano Rodriguez-Muro
Reasoning Mechanism for Cardinal Direction Relations / Ah-Lian Kor ; Brandon Bennett
A Framework for Time-Series Analysis / Vladimir Kurbalija ; Milos Radovanovic ; Zoltan Geler ; Mirjana Ivanovic
Intelligent Techniques for Adaptation, Personalization, and Recommendation
Cross-Language Personalization through a Semantic Content-Based Recommender System / Pasquale Lops ; Cataldo Musto ; Fedelucio Narducci ; Marco de Gemmis ; Pierpaolo Basile ; Giovanni Semeraro
Towards Effective Recommendation of Social Data across Social Networking Sites / Yuan Wang ; Jie Zhang ; Julita Vassileva
Term Ranking and Categorization for Ad-Hoc Navigation / Ondrej Ševce ; Jozef Tvarozek ; Mária Bieliková
Time Optimized Algorithm for Web Document Presentation Adaptation / Rong Pan ; Peter Dolog
Constraints and Search
Discrepancy-Based Sliced Neighborhood Search / Fabio Parisini ; Michele Lombardi ; Michela Milano
ConstraintModels for Reasoning on Unification in Inductive Logic Programming / Roman Barták
Coalition Structure Generation with GRASP / Nicola Di Mauro ; Teresa M.A. Basile ; Stefano Ferilli ; Floriana Esposito
Machine Learning, Data Mining, and Information Retrieval
A Bayesian Model for Entity Type Disambiguation / Barbara Bazzanella ; Heiko Stoermer ; Paolo Bouquet
The Impact of Valence Shifters on Mining Implicit Economic Opinions / Claudiu Musat ; Stefan Trausan-Matu
Entity Popularity on the Web: Correlating ANSA News and AOL Search / Angela Fogarolli ; George Giannakopoulos
Using Machine Learning to Prescribe Warfarin / Brent Martin ; Marina Filipovic ; Lara Rennie ; David Shaw
Single-Stacking Conformity Approach to Reliable Classification / Evgueni Smirnov ; Nikolay Nikolaev ; Georgi Nalbantov
A Relative Word-Frequency Based Method for Relevance Feedback / Zilong Chen ; Yang Lu
AI in Education
Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation / Sergio Gutierrez-Santos ; Manolis Mavrikis ; George Magoulas
A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search / Mihai Dascalu ; Traian Rebedea
Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors / Dimitrios Sklavakis ; Ioannis Refanidis
Applications
Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions / Anatoli Nachev
An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets / Veselka Boeva ; Elena Kostadinova
EVTIMA: A System for IE from Hospital Patient Records in Bulgarian / Svetla Boytcheva ; Galia Angelova ; Ivelina Nikolova ; Elena Paskaleva ; Dimitar Tcharaktchiev ; Nadya Dimitrova
Direct Field Oriented Neural Control of a Three Phase Induction Motor / Ieroham S. Baruch ; Irving P. de la Cruz ; Boyka Nenkova
General Shape Analysis Applied to Stamps Retrieval from Scanned Documents / Dariusz Frejlichowski ; Pawet Forczmanski
Posters
Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain / Farooq Ahmad ; Helena Lindgren
Towards Ontological Blending / Joana Hois ; Oliver Kutz ; Till Mossakowski ; John Bateman
Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics / Tatyana Ivanova ; Rumen Andreev ; Valentina Terzieva
A Meta Learning Approach: Classification by Cluster Analysis / Anna Jurek ; Yaxin Bi ; Shengli Wu ; Chris Nugent
Mapping Data Driven and Upper Level Ontology / Mariana Damova ; Svetoslav Petrov ; Kiril Simov
Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis / Piotr A. Kowalski ; Piotr Kulczycki
Individualized Virtual Humans for Social Skills Training / H. Chad Lane
Signal Classification with Self-organizing Mixture Networks / Piotr Lipinski
Simulation of the Autonomous Agent Behavior by Autoregressive Models / Vanya Markova
Semi-Partitioned Horn Clauses: A Tractable Logic of Types / Allan Ramsay
Feed Rate Profiles Synthesis Using Genetic Algorithms / Olympia Roeva
An Ontology of All of Computing: An Update on Challenges and Approaches / Lillian N. Cassel ; Siva Kumar Inguva ; Jan Buzydlowski
Author Index
Knowledge Representation and Reasoning
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments / Khalil Ben Mohamed ; Michel Leclère ; Marie-Laure Mugnier
Use-Based Discovery of Pervasive Services / Raman Kazhamiakin ; Volha Kerhet ; Massimo Paolucci ; Marco Pistore ; Matthias Wagner
90.

電子ブック

EB
Marco Dorigo, Mauro Birattari, Gianni A. Caro, RenÃ〓 Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich GroÃ, Takeo Kanade, Hiroki Sayama, Erol Şahin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Graph-Based Developmental Swarm Representation and Algorithm / Sebastian von Mammen ; David Phillips ; Timothy Davison ; Christian Jacob
A Modified Particle Swarm Optimization Algorithm for the Best Low Multilinear Rank Approximation of Higher-Order Tensors / Pierre B. Borckmans ; Mariya Ishteva ; Pierre-Antoine Absil
A Robotic Validation of the Attractive Field Model: An Inter-disciplinary Model of Self-regulatory Social Systems / Md. Omar Faruque Sarker ; Torbjørn S. Dahl
A Thermodynamic Approach to the Analysis of Multi-robot Cooperative Localization under Independent Errors / Yotam Elor ; Alfred M. Bruckstein
An Efficient Optimization Method for Revealing Local Optima of Projection Pursuit Indices / Guillermo Leguizamón ; Carlos A. Coello Coello ; Souad Larabi Marie-Sainte ; Alain Berro ; Anne Ruiz-Gazen
Ant Colony Optimisation for Ligand Docking / Oliver Korb ; Jason Cole
Antbots: A Feasible Visual Emulation of Pheromone Trails for Swarm Robots / Ralf Mayet ; Jonathan Roberz ; Thomas Schmickl ; Karl Crailsheim
Automatic Configuration of Multi-Objective ACO Algorithms / Manuel López-Ibáñez ; Thomas Stützle
Autonomous Morphogenesis in Self-assembling Robots Using IR-Based Sensing and Local Communications / Wenguo Liu ; Alan F.T. Winfield
Autonomous Multi-agent Cycle Based Patrolling
Biologically Realistic Primitives for Engineered Morphogenesis / Justin Werfel
Evaluating the Robustness of Activator-Inhibitor Models for Cluster Head Computation / Lidia Yamamoto ; Daniele Miorandi
Evolution of Self-organised Path Formation in a Swarm of Robots / Valerio Sperati ; Vito Trianni ; Stefano Nolfi
Extensions to the Ant-Miner Classification Rule Discovery Algorithm / Khalid M. Salama ; Ashraf M. Abdelbar
Functional Blueprints: An Approach to Modularity in Grown Systems / Jacob Beal
Heterogeneous Particle Swarm Optimization / Andries P. Engelbrecht
Modern Continuous Optimization Algorithms for Tuning Real and Integer Algorithm Parameters / Zhi Yuan ; Marco A. Montes de Oca ; Mauro Biratiari
Multi-agent Deployment on a Ring Graph
Multi-Swarm Optimization for Dynamic Combinatorial Problems: A Case Study on Dynamic Vehicle Routing Problem / Mostepha Redouane Khouadjia ; Enrique Alba ; Laetitia Jourdan ; El-Ghazali Talbi
Off-line vs. On-line Tuning: A Study on MAX-MIN Ant System for the TSP / Paola Pellegrini ; Mauro Birattari
Opinion Dynamics for Decentralized Decision-Making in a Robot Swarm / Eliseo Ferrante ; Nithin Mathews ; Marco Dorigo|251
Positional Communication and Private Information in Honeybee Foraging Models / Peter Bailis ; Radhika Nagpal
Rank Based Particle Swarm Optimization / Affan Khan ; Muhammad Sadeequllah ; Riaz-ul-Hasnain ; Azzam-ul-Asar
Self-organized Task Partitioning in a Swarm of Robots / Marco Prison ; Nam-Luc Tran ; Nadir Baiboun ; Arne Brutschy ; Giovanni Pini ; Andrea Roli ; Marco Dorigo
Slime Mold Inspired Path Formation Protocol for Wireless Sensor Networks / Ke Li ; Kyle Thomas ; Claudio Torres ; Louis Rossi ; Chien-Chung Shen
Solving the Multi-dimensional Multi-choice Knapsack Problem with the Help of Ants / Shahrear Iqbal ; Md. Faizul Bari ; M. Sohel Rahman
Theoretical Properties of Two ACO Approaches for the Traveling Salesman Problem / Timo Kötzing ; Frank Neumann ; Heiko Röglin ; Carsten Witt
Short Papers
A Cooperative Network Game Efficiently Solved via an Ant Colony Optimization Approach / Pablo Romero ; Franco Robledo ; Pablo Rodríguez-Bocca ; Darío Padula ; María Elisa Bertinat
A Deterministic Metaheuristic Approach Using "Logistic Ants" for Combinatorial Optimization / Rodolphe Charrier ; Christine Bourjot ; François Charpillet
A Model Based Ant Colony Design for the Protein Engineering Problem / Matteo Borrotti ; Davide De Lucrezia ; Giovanni Minervini ; Irene Poli
ACOPHY: A Simple and General Ant Colony Optimization Approach for Phylogenetic Tree Reconstruction / Huy Q. Dinh ; Bui Quang Minh ; Hoang Xuan Huan ; Arndt von Haeseler
Ant Based Semi-supervised Classification / Víctor Álvarez ; José Andrés Armario ; María Dolores Frau ; Félix Gudiel ; Belén Güemes ; Elena Martín ; Amparo Osuna ; Anindya Halder ; Susmita Ghosh ; Ashish Ghosh
Automatic Generation of Optimised Working Time Models in Personnel Planning / Volker Nissen ; Maik Günther
Bee-Sensor: A Step Towards Meta-Routing Strategies in Hybrid Ad Hoc Networks / Israr Ullah ; Muhammad Saleem ; Muddassar Farooq
Cooperation in a Heterogeneous Robot Swarm through Spatially Targeted Communication / Niihin Mathews ; Anders Lyhne Christensen ; Rehan 0'Grady
Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario / Paolo Amato ; Massimo Masserini ; Giancarlo Mauri ; Gianfranco Cerofolini
EDA-PSO: A Hybrid Paradigm Combining Estimation of Distribution Algorithms and Particle Swarm Optimization / Endika Bengoetxea ; Pedro Larrañaga
Emergent Flocking with Low-End Swarm Robots / Christoph Moeslinger
Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics / Jennifer Owen ; Susan Stepney ; Jonathan Timmis
Formal Verification of Probabilistic Swarm Behaviours / Savas Konur ; Clare Dixon ; Michael Fisher
Inverse Modeling in Geoenvironmental Engineering Using a Novel Particle Swarm Optimization Algorithm / Tadikonda Venkata Bharat ; Jitendra Sharma
Mobile Stigmergic Markers for Navigation in a Heterogeneous Robotic Swarm / Frederick Ducatelle ; Gianni A. Di Caro ; Alexander Föorster ; Luca Gambardella
Motif Finding Using Ant Colony Optimization / Salim Bouamama ; Abdellah Boukerram ; Amer F. Al-Badarneh
Multiple Ant Colony System for Substructure Discovery / Oscar Cordón ; Arnaud Quirin ; Rocío Romero-Zaliz
Opportunistic Ant-Based Path Management for Wireless Mesh Networks / Laurent Paquereau ; Bjarne E. Helvik
Parallel Ant Colony Optimization Algorithm on a Multi-core Processor / Shigeyoshi Tsutsui ; Noriyuki Fujimoto
Particle Swarm Optimization in High Dimensional Spaces / Juan L. Fernández-Martíinez ; Tapan Mukerji ; Esperanza García-Gonzalo
Particle Swarm Optimization of Bollinger Bands / Matthew Butler ; Dimitar Kazakov
Protein Structure Prediction in Lattice Models with Particle Swarm Optimization / Andrei Bautu ; Henri Luchian
Short and Robust Communication Paths in Dynamic Wireless Networks / Yoann Pigné ; Frédéric Guinand
The ACO Encoding / Alberto Moraglio ; Fernando E.B. Otero ; Colin G. Johnson
The Complexity of Grid Coverage by Swarm Robotics / Yaniv Altshuler
The Design of an Active Structural Vibration Reduction System Using a Modified Particle Swarm Optimization / Adam Schmidt
Extended Abstracts
Ant Colony Extended: Search in Solution Spaces with a Countably Infinite Number of Solutions / Jose B. Escario ; Juan F. Jimenez ; Jose M. Giron-Sierra
Automatic Parameter Configuration of Particle Swarm Optimization by Classification of Function Features / Tjorben Bogon ; Georgios Poursanidis ; Andreas D. Lattner ; Ingo J. Timm
Constructing Low-Cost Swarm Robots That March in Column Formation / Asuki Kouno ; Shigeru Takano ; Einoshin Suzuki
Coordinating Heterogeneous Swarms through Minimal Communication among Homogeneous Sub-swarms / Carlo Pinciroli ; Rehan O'Grady
Effect of Particle Initialization on the Performance of Particle Swarm Niching Algorithms / Isabella Schoeman
Energy Efficient Swarm Deployment for Search in Unknown Environments / Timothy Stirling ; Dario Floreano
Genetic Encoding of Robot Metamorphosis: How to Evolve a Glider with a Genetic Regulatory Network / Anne C van Rossum
How Ant Systems Can Help in Management of pH for Industrial Wastewater Discharges / Marta Verdaguer ; Jordi Giró ; Narcís Clara ; Manel Poch
Hybrid Metaheuristic Combining Ant Colony Optimization and H-Method / Leonid Hulianytskyi ; Sergii Sirenko
Increasing Individual Density Reduces Extra-variance in Swarm Intelligence / Ryusuke Fujisawa ; Shigeto Dobata ; Fumitoshi Matsuno
"Look out!": Socially-Mediated Obstacle Avoidance in Collective Transport / Manuele Brambilla
On Possible Connections between Ant Algorithms and Random Matrix Theory / Carlo Mastroianni
Soft Variable Fixing in Path Relinking: An Application to ACO Codes / Antonio Bolufé Röhler ; Marco A. Boschetti ; Vittorio Maniezzo
Training Randomly Connected, Recurrent Artificial Neural Networks Using PSO / Vytautas Jancauskas
Author Index
A Graph-Based Developmental Swarm Representation and Algorithm / Sebastian von Mammen ; David Phillips ; Timothy Davison ; Christian Jacob
A Modified Particle Swarm Optimization Algorithm for the Best Low Multilinear Rank Approximation of Higher-Order Tensors / Pierre B. Borckmans ; Mariya Ishteva ; Pierre-Antoine Absil
A Robotic Validation of the Attractive Field Model: An Inter-disciplinary Model of Self-regulatory Social Systems / Md. Omar Faruque Sarker ; Torbjørn S. Dahl
91.

電子ブック

EB
José M. Sempere, Pedro García, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grammatical Inference and Games: Extended Abstract / Simon M. Lucas
Molecules, Languages and Automata / David B. Searls
Regular Papers
Inferring Regular Trace Languages from Positive and Negative Samples / Antonio Cano Gómez
Distributional Learning of Some Context-Free Languages with a Minimally Adequate Teacher / Alexander Clark
Learning Context Free Grammars with the Syntactic Concept Lattice
Learning Automata Teams / Pedro García ; Manuel Vázquez de Parga ; Damián López ; José Ruiz
Exact DFA Identification Using SAT Solvers / Marijn J.H. Heule ; Sicco Verwer
Learning Deterministic Finite Automata from Interleaved Strings / Joshua Jones ; Tim Oates
Learning Regular Expressions from Representative Examples and Membership Queries / Efim Kinber
Splitting of Learnable Classes / Hongyang Li ; Frank Stephan
PAC-Learning Unambiguous k,l-NTS? Languages / Franco M. Luque ; Gabriel Infante-Lopez
Bounding the Maximal Parsing Performance of Non-Terminally Separated Grammars
CGE: A Sequential Learning Algorithm for Mealy Automata / Karl Meinke
Using Grammar Induction to Model Adaptive Behavior of Networks of Collaborative Agents / Wico Mulder ; Pieter Adriaans
Transducer Inference by Assembling Specific Languages / Piedachu Peris
Sequences Classification by Least General Generalisations / Frédéric Tantini ; Alain Terlutte ; Fabien Torre
A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data / Mathijs de Weerdt ; Cees Witteveen
A Local Search Algorithm for Grammatical Inference / Wojciech Wieczorek
Polynomial-Time Identification of Multiple Context-Free Languages from Positive Data and Membership Queries / Ryo Yoshinaka
Grammatical Inference as Class Discrimination / Menno van Zaanen ; Tanja Gaustad
Short Papers
MDL in the Limit
Grammatical Inference Algorithms in MATLAB / Hasan Ibne Akram ; Colin de la Higuera ; Huang Xiao ; Claudia Eckert
A Non-deterministic Grammar Inference Algorithm Applied to the Cleavage Site Prediction Problem in Bioinformatics / Gloria Inés Alvarez ; Jorge Hernán Victoria ; Enrique Bravo
Learning PDFA with Asynchronous Transitions / Borja Balle ; Jorge Castro ; Ricard Gavaldá
Grammar Inference Technology Applications in Software Engineering / Barrett R. Bryant ; Marjan Mernik ; Dejan Hrncic ; Faizan Javed ; Qichao Liu ; Alan Sprague
Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG / Christophe Costa Florêncio ; Henning Fernau
Learning of Church-Rosser Tree Rewriting Systems / M. Jayasrirani ; D.G. Thomas ; Atulya K. Nagar ; T. Robinson
Generalizing over Several Learning Settings / Anna Kasprzik
Rademacher Complexity and Grammar Induction Algorithms: What It May (Not) Tell Us / Sophia Katrenko
Extracting Shallow Paraphrasing Schemata from Modern Greek Text Using Statistical Significance Testing and Supervised Learning / Katia Lida Kermanidis
Learning Subclasses of Parallel Communicating Grammar Systems / Sindhu J. Kumaar ; P.J. Abisha
Enhanced Suffix Arrays as Language Models: Virtual k-Testable Languages / Herman Stehouwer
Learning Fuzzy Context-Free Grammar-A Preliminary Report / Olgierd Unold
Polynomial Time Identification of Strict Prefix Deterministic Finite State Transducers / Mitsuo Wakatsuki ; Etsuji Tomita
Author Index
Invited Talks
Grammatical Inference and Games: Extended Abstract / Simon M. Lucas
Molecules, Languages and Automata / David B. Searls
92.

電子ブック

EB
Emiel Krahmer, Takeo Kanade, Mariët Theune
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Text-to-Text Generation
Probabilistic Approaches for Modeling Text Structure and Their Application to Text-to-Text Generation / Regina Barzilay
Spanning Tree Approaches for Statistical Sentence Generation / Stephen Wan ; Mark Dras ; Robert Dale ; Cécile Paris
On the Limits of Sentence Compression by Deletion / Erwin Marsi ; Emiel Krahmer ; Iris Hendrickx ; Walter Daelemans
NLG in Interaction
Learning Adaptive Referring Expression Generation Policies for Spoken Dialogue Systems / Srinivasan Janarthanam ; Oliver Lemon
Modelling and Evaluation of Lexical and Syntactic Alignment with a Priming-Based Microplanner / Hendrik Buschmeier ; Kirsten Bergmann ; Stefan Kopp
Natural Language Generation as Planning under Uncertainty for Spoken Dialogue Systems / Verena Rieser
Referring Expression Generation
Generating Approximate Geographic Descriptions / Ross Turner ; Somayajulu Sripada ; Ehud Reiter
A Flexible Approach to Class-Based Ordering of Prenominal Modifiers / Margaret Mitchell
Attribute-Centric Referring Expression Generation / Jette Viethen
Evaluation of NLG
Assessing the Trade-Off between System Building Cost and Output Quality in Data-to-Text Generation / Anja Belz ; Eric Kow
Human Evaluation of a German Surface Realisation Ranker / Aoife Cahill ; Martin Forst
Structural Features for Predicting the Linguistic Quality of Text: Applications to Machine Translation, Automatic Summarization and Human-Authored Text / Ani Nenkova ; Jieun Chae ; Annie Louis ; Emily Pitler
Towards Empirical Evaluation of Affective Tactical NLG / Ielka van der Shis ; Chris Mellish
Shared Task Challenges for NLG
Introducing Shared Tasks to NLG: The TUNA Shared Task Evaluation Challenges / Albert Gatt
Generating Referring Expressions in Context: The GREC Task Evaluation Challenges
The First Challenge on Generating Instructions in Virtual Environments / Alexander Koller ; Kristina Striegnitz ; Donna Byron ; Justine Cassell ; Johanna Moore ; Jon Oberlander
Author Index
Text-to-Text Generation
Probabilistic Approaches for Modeling Text Structure and Their Application to Text-to-Text Generation / Regina Barzilay
Spanning Tree Approaches for Statistical Sentence Generation / Stephen Wan ; Mark Dras ; Robert Dale ; Cécile Paris
93.

電子ブック

EB
Tomi Janhunen, Takeo Kanade, Ilkka Niemelä
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I:
Nonmonotonic Tools for Argumentation / Gerhard Brewka
Relax, Compensate and then Recover: A Theory of Anytime, Approximate Inference / Adnan Darwiche
Counter Systems for Data Logics / Stéphane Demri
Regular Papers / II:
Similarity-Based Inconsistency-Tolerant Logics / Ofer Arieli ; Anna Zamansky
Decomposition of Distributed Nonmonotonic Multi-Context Systems / Seif El-Din Bairakdar ; Minh Dao-Tran ; Thomas Eiter ; Michael Fink ; Thomas Krennwallner
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases / Salem Benferhat ; Sylvain Lagrue ; Safa Yahi
A Decidable Constructive Description Logic / Loris Bozzato ; Mauro Ferrari ; Camillo Fiorentini ; Guido Fiorino
A Normal Form for Linear Temporal Equilibrium Logic / Pedro Cabalar
Rational Closure for Defeasible Description Logics / Giovanni Casini ; Umberto Straccia
Extensional Higher-Order Logic Programming / Angelos Charalambidis ; Konstantinos Handjopoulos ; Panos Rondogiannis ; William W. Wadge
Implementing Default Logic via Answer Set Programming / Yin Chen ; Hai Wan ; Yan Zhang ; Yi Zhou
Sets of Boolean Connectives That Make Argumentation Easier / Nadia Creignou ; Johannes Schmidt ; Michael Thomas ; Stefan Woltran
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs / Flávio Cruz ; Ricardo Rocha
Preference-Based Inconsistency Assessment in Multi-Context Systems / Antonius Weinzierl
A Logical Semantics for Description Logic Programs / David Pearce
An Incremental Answer Set Programming Based System for Finite Model Computation / Martin Gebser ; Orkunt Sabuncu ; Torsten Schaub
Parametrized Logic Programming / Ricardo Gonçalves ; José Júlio Alferes
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription / Mikolás Janata ; Radu Grigore ; Joao Marques-Silva
ALCALC: A Context Description Logic / Szymon Klarman ; Víctor Gutiérrez-Basulto
Stable Belief Sets Revisited / Costas D. Koutras ; Yorgos Zikos
Efficient Inferencing for OWL EL / Markus Krötzsch
Translating First-Order Causal Theories into Answer Set Programming / Vladimir Lifschitz ; Fangkai Yang
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context / Theofrastos Mantadelis ; Angelika Kimmig ; Gerda Janssens
Minimal Knowledge and Belief via Minimal Topology / Levan Uridia
A Logical Account of Lying / Chiaki Sakama ; Martin Caminada ; Andreas Herzig
Tabling with Answer Subsumption: Implementation, Applications and Performance / Terrance Swift ; David S. Warren
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic / Joost Vennekens ; Maurice Bruynooghe ; Marc Denecker
An Approximative Inference Method for Solving &exists∀SO Satisfiability Problems / Hanne Vlaeminck ; Johan Wittocx
Horn Contraction via Epistemic Entrenchment / Zhi Qiang Zhuang ; Maurice Pagnucco
System Descriptions / III:
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
The MCS-IE System for Explaining Inconsistency in Multi-Context Systems / Markus Bögl ; Peter Schüller
Coala: A Compiler from Action Languages to ASP / Torsten Grote
DLVMC: Enhanced Model Checking in DLV / Marco Maratea ; Francesco Ricca ; Pierfrancesco Veltri
A Dynamic-Programming Based ASP-Solver / Michael Morak ; Reinhard Pichler ; Stefan Rümmele
Author Index
Invited Talks / I:
Nonmonotonic Tools for Argumentation / Gerhard Brewka
Relax, Compensate and then Recover: A Theory of Anytime, Approximate Inference / Adnan Darwiche
94.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
95.

電子ブック

EB
Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
96.

電子ブック

EB
Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
97.

電子ブック

EB
Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
98.

電子ブック

EB
José Luis Balcázar, Francesco Bonchi, Aristides Gionis, Takeo Kanade, Michèle Sebag
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
Mining Billion-Node Graphs: Patterns, Generators and Tools / Christos Faloutsos
Structure Is Informative: On Mining Structured Information Networks / Jiawei Han
Intelligent Interaction with the Real World / Leslie Pack Kaelbling
Mining Experimental Data for Dynamical Invariants - From Cognitive Robotics to Computational Biology / Hod Lipson
Hierarchical Learning Machines and Neuroscience of Visual Cortex / Tomaso Poggio
Formal Theory of Fun and Creativity / Jürgen Schmidhuber
Regular Papers
Porting Decision Tree Algorithms to Multicore Using FastFlow / Marco Aldinucci ; Salvatore Ruggieri ; Massimo Torquati
On Classifying Drifting Concepts in P2P Networks / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Wee Keong Ng ; Steven Hoi
A Unified Approach to Active Dual Supervision for Labeling Features and Examples / Josh Attenberg ; Prem Melville ; Foster Provost
Vector Field Learning via Spectral Filtering / Luca Baldassarre ; Lorenzo Rosasco ; Annalisa Barla ; Alessandro Verri
Weighted Symbols-Based Edit Distance for String-Structured Image Classification / Cécile Barat ; Christophe Ducottet ; Elisa Fromont ; Anne-Claire Legrand ; Marc Sebban
A Concise Representation of Association Rules Using Minimal Predictive Rules / Iyad Batal ; Milos Hauskrecht
Euclidean Distances, Soft and Spectral Clustering on Weighted Graphs / François Bavaud
Adaptive Parallel/Serial Sampling Mechanisms for Particle Filtering in Dynamic Bayesian Networks / Eva Besada-Portas ; Sergey M. Plis ; Jesus M. de la Cruz ; Terran Lane
Leveraging Bagging for Evolving Data Streams / Albert Bifet ; Geoff Holmes ; Bernhard Pfahringer
ITCH: Information-Theoretic Cluster Hierarchies / Christian Böha ; Frank Fiedler ; Annahita Oswald ; Claudia Plant ; Bianca Wackersreuther ; Peter Wackersreuther
Coniunge et Impera: Multiple-Graph Mining for Query-Log Analysis / Ilaria Bordino ; Debora Donato ; Ricardo Baeza- Yates
Process Mining Meets Abstract Interpretation / J. Carmona ; J. Cortadella
Smarter Sampling in Model-Based Bayesian Reinforcement Learning / Pablo Samuel Castro ; Doina Precup
Predicting Partial Orders: Ranking with Abstention / Weiwei Cheng ; Michaël Rademaker ; Bernard De Baets ; Eyke Hüllermeier
Predictive Distribution Matching SVM for Multi-domain Learning / Chun-Wei Seah ; Ivor W. Tsang ; Yew-Soon Ong ; Kee-Khoon Lee
Kantorovich Distances between Rankings with Applications to Rank Aggregation / Stéphan Clémençon ; Jérémie Jakubowicz
Characteristic Kernels on Structured Domains Excel in Robotics and Human Action Recognition / Somayeh Danafar ; Arthur Gretton
Regret Analysis for Performance Metrics in Multi-Label Classification: The Case of Hamming and Subset Zero-One Loss / Krzysztof Dembczynski ; Willem Waegeman
Clustering Vessel Trajectories with Alignment Kernels under Trajectory Compression / Gerben de Vries ; Maarten van Someren
Adaptive Bases for Reinforcement Learning / Dotan Di Castro ; Shie Mannor
Constructing Nonlinear Discriminants from Multiple Data Views / Tom Diethe ; David Roi Hardoon ; John Shawe-Taylor
Learning Algorithms for Link Prediction Based on Chance Constraints / Janardhan Rao Doppa ; Jun Yu ; Prasad Tadepalli ; Lise Getoor
Sparse Unsupervised Dimensionality Reduction Algorithms / Wenjun Dou ; Guang Dai ; Congfu Xu ; Zhihua Zhang
Asking Generalized Queries to Ambiguous Oracle / Jun Du ; Charles X. Ling
Analysis of Large Multi-modal Social Networks: Patterns and a Generator / Nan Du ; Hao Wang
A Cluster-Level Semi-supervision Model for Interactive Clustering / Avinava Dubey ; Indrajit Bhattacharya ; Shantanu Godbole
Software-Defect Localisation by Mining Dataflow-Enabled Call Graphs / Frank Eichinger ; Klaus Krogmann ; Roland Klug ; Klemens Böhm
Induction of Concepts in Web Ontologies through Terminological Decision Trees / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Classification with Sums of Separable Functions / Jochen Garcke
Feature Selection for Reinforcement Learning: Evaluating Implicit State-Reward Dependency via Conditional Mutual Information / Hirotaka Hachiya ; Masashi Sugiyama
Bagging for Biclustering: Application to Microarray Data / Blaise Hanczar ; Mohamed Nadif
Hub Gene Selection Methods for the Reconstruction of Transcription Networks / José Miguel Hernández-Lobato ; Tjeerd M.H. Dijkstra
Expectation Propagation for Bayesian Multi-task Feature Selection / Daniel Hernández-Lobato ; Thibault Helleputte ; Pierre Dupont
Graphical Multi-way Models / Ilkka Huopaniemi ; Tommi Suvitaival ; Matej Orešic ; Samuel Kaski
Exploration-Exploitation of Eye Movement Enriched Multiple Feature Spaces for Content-Based Image Retrieval / Zakria Hussain ; Alex P. Leung ; Kitsuchart Pasupa ; David R. Hardoon ; Peter Auer ; John Shawe- Taylor
Graph Regularized Transductive Classification on Heterogeneous Information Networks / Ming Ji ; Yizhou Sun ; Marina Danilevsky ; Jing Gao
Temporal Maximum Margin Markov Network / Xiaoqian Jiang ; Bing Dong ; Latanya Sweeney
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-Like Exploration / Tobias Jung ; Peter Stone
Author Index
Invited Talks (Abstracts)
Mining Billion-Node Graphs: Patterns, Generators and Tools / Christos Faloutsos
Structure Is Informative: On Mining Structured Information Networks / Jiawei Han
99.

電子ブック

EB
José Luis Balcázar, Francesco Bonchi, Aristides Gionis, Takeo Kanade, Michèle Sebag
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Bayesian Knowledge Corroboration with Logical Rules and User Feedback / Gjergji Kasneci ; Jurgen Van Gael ; Ralf Herbrich ; Thore Graepel
Learning an Affine Transformation for Non-linear Dimensionality Reduction / Pooyan Khajehpour Tadavani ; Ali Ghodsi
NDPMine: Efficiently Mining Discriminative Numerical Features for Pattern-Based Classification / Hyungsul Kim ; Sangkyum Kim ; Tim Weninger ; Jiawei Han ; Tarek Abdelzaher
Hidden Conditional Ordinal Random Fields for Sequence Classification / Minyoung Kim ; Vladimir Pavlovic
A Unifying View of Multiple Kernel Learning / Marius Kloft ; Ulrich Rückert ; Peter L. Bartlett
Evolutionary Dynamics of Regret Minimization / Tomas Klos ; Gerrit Jan van Ahee ; Karl Tuyls
Recognition of Instrument Timbres in Real Polytimbral Audio Recordings / Elzbieta Kubera ; Alicja Wieczorkowska ; Zbigniew Ras ; Magdalena Skrzypiec
Finding Critical Nodes for Inhibiting Diffusion of Complex Contagions in Social Networks / Chris J. Kuhlman ; V.S. Anil Kumar ; Madhav V. Marathe ; S.S. Ravi ; Daniel J. Rosenkrantz
Semi-supervised Abstraction-Augmented String Kernel for Multi-Level Bio-Relation Extraction / Pavel Kuksa ; Yanjun Qi ; Bing Bai ; Ronan Collobert ; Jason Weston ; Xia Ning
Online Knowledge-Based Support Vector Machines / Gautam Kunapuli ; Kristin P. Bennett ; Amina Shabbeer ; Richard Maclin ; Jude Shavlik
Learning with Randomized Majority Votes / Alexandre Lacasse ; François Laviolette ; Mario Marchand ; Francis Turgeon-Boutin
Exploration in Relational Worlds / Tobias Lang ; Marc Toussaint ; Kristian Kersting
Efficient Confident Search in Large Review Corpora / Theodoros Lappas ; Dimitrios Gunopulos
Learning to Tag from Open Vocabulary Labels / Edith Law ; Burr Settles ; Tom Mitchell
A Robustness Measure of Association Rules / Yannick Le Bras ; Patrick Meyer ; Philippe Lenca ; Stéphane Lallich
Automatic Model Adaptation for Complex Structured Domains / Geoffrey Levine ; Gerald DeJong ; Li-Lun Wang ; Rajhans Samdani ; Shankar Vembu ; Dan Roth
Collective Traffic Forecasting / Marco Lippi ; Matteo Bertini ; Paolo Frasconi
On Detecting Clustered Anomalies Using SCiForest / Fei Tony Liu ; Kai Ming Ting ; Zhi-Hua Zhou
Constrained Parameter Estimation for Semi-supervised Learning: The Case of the Nearest Mean Classifier / Marco Loog
Online Learning in Adversarial Lipschitz Environments / Odalric-Ambrym Maillard ; Rémi Munos
Summarising Data by Clustering Items / Michael Mampaey ; Jilles Vreeken
Classification and Novel Class Detection of Data Streams in a Dynamic Feature Space / Mohammad M. Masud ; Qing Chen ; Jing Gao ; Latifur Khan ; Bhavani Thuraisingham
Latent Structure Pattern Mining / Andreas Maunz ; Christoph Helma ; Tobias Cramer ; Stefan Kramer
First-Order Bayes-Ball / Wannes Meert ; Nima Taghipour ; Hendrik Blocked
Learning from Demonstration Using MDP Induced Metrics / Francisco S. Melo ; Manuel Lopes
Demand-Driven Tag Recommendation / Gyilherme Vale Menezes ; Jussara M. Almeida ; Fabiano Belém ; Marcos André Gonçalves ; Anísio Lacerda ; Edleno Silva de Moura ; Gisele L. Pappa ; Adriano Veloso ; Nivio Ziviani
Solving Structured Sparsity Regularization with Proximal Methods / Sofia Mosci ; Lorenzo Rosasco ; Matteo Santoro ; Alessandro Verri ; Silvia Villa
Exploiting Causal Independence in Markov Logic Networks: Combining Undirected and Directed Models / Sriraam Natarajan ; Tushar Khot ; Daniel Lowd ; Prasad Tadepalli
Improved MinMax Cut Graph Clustering with Nonnegative Relaxation / Feiping Nie ; Chris Ding ; Dijun Luo ; Heng Huang
Integrating Constraint Programming and Itemset Mining / Siegfried Nijssen ; Tias Guns
Topic Modeling for Personalized Recommendation of Volatile Items / Maks Ovsjanikov ; Ye Chen
Conditional Ranking on Relational Data / Tapio Pahikkala ; Willem Waegeman ; Antti Airola ; Tapio Salakoski ; Bernard De Baets
Author Index
Regular Papers
Bayesian Knowledge Corroboration with Logical Rules and User Feedback / Gjergji Kasneci ; Jurgen Van Gael ; Ralf Herbrich ; Thore Graepel
Learning an Affine Transformation for Non-linear Dimensionality Reduction / Pooyan Khajehpour Tadavani ; Ali Ghodsi
100.

電子ブック

EB
Jan Allbeck, Norman Badler, Timothy Bickmore, Takeo Kanade, Catherine Pelachaud, Alla Safonova
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Behavior Modeling
Constraints-Based Complex Behavior in Rich Environments / Jan M. Allbeck ; Hadas Kress-Gazit
Smart Events and Primed Agents / Catherine Stocker ; Libo Sun ; Pengfei Huang ; Wenhu Qin ; Norman I. Badler
Using Artificial Team Members for Team Training in Virtual Environments / Jurriaan van Diggelen ; Tijmen Muller ; Karel van den Bosch
A Comprehensive Taxonomy of Human Motives: A Principled Basis for the Motives of Intelligent Agents / Stephen J. Read ; Jennifer Talevich ; David A. Walsh ; Gurveen Chopra ; Ravi Iyer
The Impact of a Mixed Reality Display Configuration on User Behavior with a Virtual Human / Kyle Johnsen ; Diane Beck ; Benjamin Lok
A Multimodal Real-Time Platform for Studying Human-Avatar Interactions / Hui Zhang ; Damian Fricker ; Chen Yu
Realizing Multimodal Behavior: Closing the Gap between Behavior Planning and Embodied Agent Presentation / Michael Kipp ; Alexis Heloir ; Marc Schröder ; Patrick Gebhard
Gesture and Expression
Designing an Expressive Avatar of a Real Person / Sangyoon Lee ; Gordon Carlson ; Steve Jones ; Andrew Johnson ; Jason Leigh ; Luc Renambot
Interactive Motion Modeling and Parameterization by Direct Demonstration / Carlo Camporesi ; Yazhou Huang ; Marcelo Kallmann
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models / Matthijs Pontier ; Ghazanfar Siddiqui ; Johan F. Hoorn
Individualized Gesturing Outperforms Average Gesturing - Evaluating Gesture Production in Virtual Humans / Kirsten Bergmann ; Stefan Kopp ; Friederike Eyssel
Level of Detail Based Behavior Control for Virtual Characters / Felix Kistler ; Michael Wißner ; Elisabeth André
Virtual Agents Based Simulation for Training Healthcare Workers in Hand Hygiene Procedures / Jeffrey Bertrand ; Sabarish V. Babu ; Philip Polgreen ; Alberto Segre
Modeling Behavioral Manifestations of Coordination and Rapport over Multiple Conversations: Speaking Rate as a Relational Indicator for a Virtual Agent / Daniel Schulman ; Timothy Bickmore
DelsArtMap: Applying Delsarte's Aesthetic System to Virtual Agents / Michael Nixon ; Philippe Pasquier ; Magy Seif El-Nasr
Backchannels and Simulation
Backchannel Strategies for Artificial Listeners / Ronald Poppe ; Khiet P. Truong ; Dennis Reidsma ; Dirk Heylen
Learning Backchannel Prediction Model from Parasocial Consensus Sampling: A Subjective Evaluation / Lixing Huang ; Louis-Philippe Morency ; Jonathan Gratch
RIDE: A Simulator for Robotic Intelligence Development / HyunRyong Jung ; Meongchul Song
A Velocity-Based Approach for Simulating Human Collision Avoidance / Ioannis Karamouzas ; Mark Overmars
Influence of Personality Traits on Backchannel Selection / Etienne de Sevin ; Sylwia Julia Hyniewska ; Catherine Pelachaud
Multimodal Backchannels for Embodied Conversational Agents / Elisabetta Bevacqua ; Sathish Pammi
A Virtual Interpreter fox the Italian Sign Language / Vincenzo Lombardo ; Fabrizio Nunnari ; Rossana Damiano
Personality
How Our Personality Shapes Our Interactions with Virtual Characters - Implications for Research and Development / Astrid M. von der Pütten ; Nicole C. Krämer
Evaluating the Effect of Gesture and Language on Personality Perception in Conversational Agents / Michael Neff ; Yingying Wang ; Rob Abbott ; Marilyn Walker
Developing Interpersonal Relationships with Virtual Agents through Social Instructional Dialog / Amy Ogan ; Vincent Aleven ; Julia Kim ; Christopher Jones
Multiple Agent Roles in an Adaptive Virtual Classroom Environment / Gregor Mehlmann ; Markus Häring ; René Bühling
Creating Individual Agents through Personality Traits / Tiago Doce ; João Dias ; Rui Prada ; Ana Paiva
Bossy or Wimpy: Expressing Social Dominance by Combining Gaze and Linguistic Behaviors / Nikolaus Bee ; Colin Pollock
Interaction Strategies
Warmth, Competence, Believability and Virtual Agents / Radoslaw Niewiadomski ; Virginie Demeure
Ada and Grace: Toward Realistic and Engaging Virtual Museum Guides / William Swartout ; David Traum ; Ron Artstein ; Dan Noren ; Paul Debevec ; Kerry Bronnenkant ; Josh Williams ; Anton Leuski ; Shrikanth Narayanan ; Diane Piepol ; Chad Lane ; Jacquelyn Morie ; Priti Aggarwal ; Matt Liewer ; Jen-Yuan Chiang ; Jillian Gerten ; Selina Chu ; Kyle White
Interaction Strategies for an Affective Conversational Agent / Cameron Smith ; Nigel Crook ; Johan Boye ; Daniel Charlton ; Simon Dobnik ; David Pizzi ; Marc Cavazza ; Stephen Pulman ; Raul Santos de la Camara ; Markku Turunen
"Why Can't We Be Friends?" An Empathic Game Companion for Long-Term Interaction / Iolanda Leite ; Samuel Mascarenhas ; André Pereira ; Carlos Martinho
Towards an Episodic Memory for Companion Dialogue / Gregor Sieber ; Brigitte Krenn
Generating Culture-Specific Gestures for Virtual Agent Dialogs / Birgit Endrass ; Ionut Damian ; Peter Huber ; Matthias Rehm
Avatars in Conversation: The Importance of Simulating Territorial Behavior / Claudio Pedica ; Hannes Högni Vilhjálmsson ; Marta Lárusdóttir
The Impact of Linguistic and Cultural Congruity on Persuasion by Conversational Agents / Langxuan Yin ; Dharma E. Cortés
A Multiparty Multimodal Architecture for Realtime Turntaking / Kristinn R. Thórisson ; Olafur Gislason ; Gudny Ragna Jonsdottir ; Hrafn Th. Thorisson
Emotion
The Influence of Emotions in Embodied Agents on Human Decision-Making / Celso M. de Melo ; Peter Carnevale
Dimensional Emotion Prediction from Spontaneous Head Gestures for Interaction with Sensitive Artificial Listeners / Hatice Gunes ; Maja Pontic
An Intelligent Virtual Agent to Increase Involvement in Financial Services / Tibor Bosse ; Ghazanfar F. Siddiqui ; Jan Treur
Exploration on Affect Sensing from Improvisational Interaction / Li Zhang
Using Virtual Humans to Bootstrap the Creation of Other Virtual Humans / Brent Rossen ; Juan Cendan
Making It Personal: End-User Authoring of Health Narratives Delivered by Virtual Agents / Lazlo Ring
MAY: My Memories Are Yours / Joana Campos
Expression of Behaviors in Assistant Agents as Influences on Rational Execution of Plans / Jean-Paul Sansonnet ; François Bouchet
Reflecting User Faces in Avatars / Rossana Baptista ; Adriana Braun ; Juliano Lucas Marcelo ; Marcelo Cohen ; Soraia Raupp Musse ; Marcelo Resende Thielo ; Ramin Samadani
User Studies
How a Virtual Agent Should Smile? Morphological and Dynamic Characteristics of Virtual AgentŠs Smiles / Magalic Ochs
How Turn-Taking Strategies Influence Users' Impressions of an Agent / Mark ter Maat
That Avatar is Looking at Me! Social Inhibition in Virtual Worlds / Austen L. Hayes ; Amy C. Ulinski ; Larry F. Hodges
Know Your Users! Empirical Results for Tailoring an Agent's Nonverbal Behavior to Different User Groups / Laura Hoffmann
The Persona Zero-Effect: Evaluating Virtual Character Benefits on a Learning Task with Repeated Interactions / Jan Miksatko ; Kerstin H. Kipp
High Score! - Motivation Strategies for User Participation in Virtual Human Development / Shivashankar Halan
Author Index
Behavior Modeling
Constraints-Based Complex Behavior in Rich Environments / Jan M. Allbeck ; Hadas Kress-Gazit
Smart Events and Primed Agents / Catherine Stocker ; Libo Sun ; Pengfei Huang ; Wenhu Qin ; Norman I. Badler
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼