close
1.

電子ブック
ＥＢ
1. Architecture-Based Design of Multi-Agent Systems
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：
2.

電子ブック
ＥＢ
2. Robot Intelligence
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：
3.

電子ブック
ＥＢ
3. Agents and Artificial Intelligence
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：
4.

電子ブック
ＥＢ
4. Revision, Acceptability and Context
Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Advanced Intelligent Computing Theories and Applications
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…
6.

電子ブック
ＥＢ
6. Artificial Intelligence in Theory and Practice III
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
7.

電子ブック
ＥＢ
7. Advanced Communication and Networking
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
8.

電子ブック
ＥＢ
8. Trends in Intelligent Robotics
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
9.

電子ブック
ＥＢ
9. Computational Intelligence and Intelligent Systems
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
10.

電子ブック
ＥＢ
10. Artificial Intelligence Applications and Innovations
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
11.

電子ブック
ＥＢ
11. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods
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
12.

電子ブック
ＥＢ
12. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
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
13.

電子ブック
ＥＢ
13. Research and Education in Robotics - EUROBOT 2009
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
14.

電子ブック
ＥＢ
14. Encyclopedia of Machine Learning
Claude Sammut, Geoffrey I. Webb
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Qualitative Spatial Abstraction in Reinforcement Learning
Lutz Frommberger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Applications of Pulse-Coupled Neural Networks
Yide Ma, Zhaobin Wang, Kun Zhan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Process Neural Networks
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.
18.

電子ブック
ＥＢ
18. Agents and Peer-to-Peer Computing
Samuel R. H. Joseph, Sonia Bergamaschi, Zoran Despotovic, Takeo Kanade, Gianluca Moro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Advances in Artificial Intelligence
Atefeh Farzindar, Takeo Kanade, Vlado Ke??elj
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Advances in Knowledge Discovery and Data Mining
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Advances in Knowledge Discovery and Data Mining
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Argumentation in Multi-Agent Systems
Peter McBurney, Takeo Kanade, Nicolas Maudet, Simon Parsons, Iyad Rahwan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Artificial Intelligence: Theories, Models and Applications
Stasinos Konstantopoulos, Takeo Kanade, Vangelis Karkaletsis, Stavros Perantonis, Constantine D. Spyropoulos, George Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Semantic Processing of Legal Texts
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
25.

電子ブック
ＥＢ
25. Adaptive and Learning Agents
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
26.

電子ブック
ＥＢ
26. RoboCup 2009: Robot Soccer World Cup XIII
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
27.

電子ブック
ＥＢ
27. Artificial Neural Networks in Pattern Recognition
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
28.

電子ブック
ＥＢ
28. Computational Processing of the Portuguese Language
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
29.

電子ブック
ＥＢ
29. Formal Concept Analysis
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
30.

電子ブック
ＥＢ
30. Genetic Programming
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
31.

電子ブック
ＥＢ
31. Automata for Branching and Layered Temporal Structures
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：
32.

電子ブック
ＥＢ
32. Declarative Agent Languages and Technologies VII
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
33.

電子ブック
ＥＢ
33. Articulated Motion and Deformable Objects
Francisco J. Perales, Robert B. Fisher, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Artifical Evolution
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
35.

電子ブック
ＥＢ
35. Artifical Intelligence and Soft Computing
Leszek Rutkowski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Artificial Intelligence and Soft Computing
Leszek Rutkowski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Computational Intelligence for Knowledge-Based Systems Design
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
38.

電子ブック
ＥＢ
38. Current Topics in Artificial Intelligence
Pedro Meseguer, Rafael M. Gasca, Takeo Kanade, Lawrence Mandow
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Deontic Logic in Computer Science
Guido Governatori, Takeo Kanade, Giovanni Sartor
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Hybrid Artificial Intelligence Systems
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
41.

電子ブック
ＥＢ
41. Hybrid Artificial Intelligence Systems
Emilio Corchado, Manuel Gra?a Romay, Takeo Kanade, Alexandre Manhaes Savio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Intelligent Computer Mathematics
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
43.

電子ブック
ＥＢ
43. Languages, Methodologies, and Development Tools for Multi-Agent Systems
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
44.

電子ブック
ＥＢ
44. Multi-Agent-Based Simulation X
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
45.

電子ブック
ＥＢ
45. Rough Sets and Current Trends in Computing
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
46.

電子ブック
ＥＢ
46. Intelligent Information and Database Systems
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
47.

電子ブック
ＥＢ
47. Conceptual Structures: From Information to Intelligence
Madalina Croitoru, S?bastien Ferr?, Takeo Kanade, Dickson Lukose
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Automated Reasoning
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
49.

電子ブック
ＥＢ
49. Case-Based Reasoning. Research and Development
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
50.

電子ブック
ＥＢ
50. Controlled Natural Language
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼