close
1.

電子ブック

EB
Chandan Singh, Vishal Goyal, Takeo Kanade, Jyotsna Sengupta, Dharam Veer Sharma, Gurpreet Singh Lehal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
Computational Aspect of Verb Classification in Malayalam / K.G. Sulochana ; V. Jayan
Period Prediction System for Tamil Epigraphical Scripts Based on Support Vector Machine / P. Subashini ; M. Krishnaveni ; N. Sridevi
Name Entity Recognition Systems for Hindi Using CRF Approach / Rajesh Sharma ; Vishal Goyal
An N-Gram Based Method for Bengali Keyphrase Extraction / Kamal Sarkar
Feature Extraction and Recognition of Bengali Word Using Gabor Filter and Artificial Neural Network / Mahua Nandy (Pal) ; Sumit Majumdar
The Segmentation of Half Characters in Handwritten Hindi Text / Naresh Kumar Garg ; Lakhwinder Kaur ; Manish K. Jindal
Finding Influence by Cross-Lingual Blog Mining through Multiple Language Lists / Aditya Mogadala ; Vasudeva Varma
Renaissance of Opinion Mining / Ankur Rana ; Vimal K. Soni
OpenLogos Machine Translation: Exploring and Using It in Anusaaraka Platform / Sriram Chaudhury ; Sukhada ; Akshar Bharati
Role of e-Learning Models for Indian Languages to Implement e-Governance / Avinash Sharma ; Vijay Singh Rathore
A Compiler for Morphological Analyzer Based on Finite-State Transducers / Bhuvaneshwari C. Melinamath ; A. G. Math ; Sunanda D. Biradar
On Multifont Character Classification in Telugu / Venkat Rasagna ; K.J. Jinesh ; C.V. Jawahar
Parallel Implementation of Devanagari Document Image Segmentation Approach on GPU / Brijmohan Singh ; Nitin Gupta ; Rashi Tyagi ; Ankush Mittal ; Debashish Ghosh
A Rule Based Schwa Deletion Algorithm for Punjabi TTS System / Parminder Singh
Clause Based Approach for Ordering in MT Using OpenLogos / Arpana Sharma ; Neha Narang ; Sonal Dixit
Comparison of Feature Extraction Methods for Recognition of Isolated Handwritten Characters in Gurmukhi Script / Dharam Veer Sharma ; Puneet Jhajj
Dewarping Machine Printed Documents of Gurmukhi Script / Shilpi Wadhwa
Developing Oriya Morphological Analyzer Using Lt-Toolbox / Itisree Jena ; Himani Chaudhry ; Dipti M. Sharma
Durational Characteristics of Indian Phonemes for Language Discrimination / B. Lakshmi kanth ; Venkatesh Keri ; Kishore S. Prahallad
A Transliteration Based Word Segmentation System for Shahmukhi Script / Tejinder Singh Saini
Optimizing Character Class Count for Devnagari Optical Character Recognition / Jasbir Singh
Multifont Oriya Character Recognition Using Curvelet Transform / Swati Nigam ; Ashish Khare
Exploiting Ontology for Concept Based Information Retrieval / Aditi Sharan ; Manju Lata Joshi ; Anupama Pandey
Parsing of Kumauni Language Sentences after Modifying Earley's Algorithm / Rakesh Pandey ; Nihar Ranjan Pande ; H.S. Dhami
Comparative Analysis of Gabor and Discriminating Feature Extraction Techniques for Script Identification / Rajneesh Rani ; Renu Dhir ; Gurpreet Singh lehal
Poster
Automatic Word Aligning Algorithm for Hindi-Punjabi Parallel Text / Karuna Jindal ; Shikha Jindal
Making Machine Translations Polite: The Problematic Speech Acts / Ritesh Kumar
Tagging Sanskrit Corpus Using BIS POS Tagset / Madhav Gopal ; Girish Nath Jha
Manipuri Transliteration from Bengali Script to Meitei Mayek: A Rule Based Approach / Kishorjit Nongmeikapam ; Ningombam Herojit Singh ; Sonia Thoudam ; Sivaji Bandyopadhyay
Online Handwriting Recognition for Malayalam Script / T.R. Indhu
Optimized Multi Unit Speech Database for High Quality FESTIVAL TTS / T. Sajini
Comparative Analysis of Printed Hindi and Punjabi Text Based on Statistical Parameters / Lalit Goyal
Participles in English to Sanskrit Machine Translation / Vimal Mishra ; R.B. Mishra
Web-Drawn Corpus for Indian Languages: A Case of Hindi / Narayan Choudhary
Handwritten Hindi Character Recognition Using Curvelet Transform / Gyanendra K. Verma ; Shitala Prasad ; Piyush Kumar
Challenges in Developing a TTS for Sanskrit / Diwakar Mishra ; Kalika Bali
A Hybrid Learning Algorithm for Handwriting Recognition / Binu P. Chacko ; P. Babu Anto
Hindi to Punjabi Machine Translation System
Cascading Style Sheet Styling Issues in Punjabi Language / Swati Mittal ; R.K. Sharma ; Parteek Bhatia
Translation of Hindi se to Tamil in a MT System / Sobha Lalitha Devi ; P. Pralayankar ; V. Kavitha ; S. Menaka
Preprocessing Phase of Punjabi Language Text Summarization / Vishal Gupta
Comparative Analysis of Tools Available for Developing Statistical Approach Based Machine Translation System / Ajit Kumar
Discriminative Techniques for Hindi Speech Recognition System / Rajesh Kumar Aggarwal ; Mayank Dave
An Experiment on Resolving Pronominal Anaphora in Hindi: Using Heuristics / Kiran Pala ; Rafiya Begum
A Novel GA Based OCR Enhancement and Segmentation Methodology for Marathi Language in Bimodal Framework / Amarjot Singh ; Ketan Bacchuwar ; Akash Choubey
Panmozhi Vaayil - A Multilingual Indie Keyboard Interface for Business and Personal Use / H.R. Shiva Kumar ; Abhinava Shivakumar ; Akshay Rao ; Sriraman Arun ; A.G. Ramakrishnan
Power Spectral Density Estimation Using Yule Walker AR Method for Tamil Speech Signal / V. Radha ; C. Vimala
Challenges in NP Case-Mapping in Sanskrit Hindi Machine Translation / Kumar Nripendra Pathak
Modeified BLEU for Measuring Performance of a Machine-Translation Software / Kalyan Joshi ; M.B. Rajarshi
Demo Abstracts
A System for Online Gurmukhi Script Recognition
Spoken Isolated Word Recognition of Punjabi Language Using Dynamic Time Warp Technique / Ravinder Kumar ; Mohanjit Singh
Text-To-Speech Synthesis System for Punjabi Language
Hand-Filled Form Processing System for Gurmukhi Script
Urdu to Hindi and Reverse Transliteration System / V.S. Kalra
iPlugin: Indian Language Web Application Development Tool / Anup Kanaskar ; Vrundesh Waghmare
An OCR System for Printed Indie Scripts / Tushar Patnaik
Gujarati Text - TO - Speech System / Samyak Bhuta ; S. Rama Mohan
Large Web Corpora for Indian Languages / Adam Kilgarriff ; Girish Duvuru
Localization of EHCPRs System in the Multilingual Domain: An Implementation / Sarika Jain ; Deepa Chaudhary ; N.K. Jain
Author Index
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
2.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
3.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
Ensemble Pruning Using Harmony Search / Shina Sheen ; S.V. Aishwarya ; R. Anitha ; S.V. Raghavan ; S.M. Bhaskar
A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez ; Mikel Galar ; Julián Luengo ; Francisco Herrera
Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos ; Piotr Kania ; Pawel Budzyna ; Marcin Blachnik ; Tadeusz Wieczorek ; Slawomir Golak
Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanounicz ; Slawomir Plamowski ; Przemyslaw Kazienko ; Wojciech Indyk
Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman ; Laszlo Kovacs ; Agnes Jonas ; Lajos Hajdu ; Andras Hajdu
HAIS for Computer Security (HAISFCS)
Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda
Encrypting Digital Images Using Cellular Automata / A. Martín del Rey ; G. Rodríguez Sánchez ; A. de la Villa Cuenca
Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outlines for Security Applications / Zorana Banković ; David Fraga ; Juan Carlos Vallejo ; José M. Moya
Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez ; Francisco Martínez ; José-Francisco Vicent ; Antonio Zamora
Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina ; José Luis Del-Río-Correa ; César Enrigue Rojas-López ; José Alejandro Díaz-Méndez
Data Mining: Data Preparation and Analysis
Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomasev ; Dunja Mladenic
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio ; Alberto Ochoa-Zezzatti ; Armando Rios-Lira
Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala ; Jerzy Stefanowski
Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez ; Geoffrey I. Webb ; M. Julia Flores ; José A. Gámez
An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou ; Georgios Evangelidis ; Dimitris A. Dervos
A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac ; Isaac Triguero ; Salvador García
Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte ; Antonio Rivera ; María José del Jesús
A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold ; Maciej Dobrowolski ; Henryk Maciejewski ; Pawel Skrobanek ; Ewa Walkowicz
A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification
Hybrid Artificial Intelligence Systems in Management of Production Systems
Adaptive Inventory Control in Production Systems / Balázs Lénárt ; Katarzyna Grzybowska ; Mónika Cimer
Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek ; Mieczyslaw Jagodizinski
Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus ; Kamil Krot ; Michal Kuliberda ; Boleslaw Jodkowski
Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk
Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski ; Tomasz Marut
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus ; Pawel Stefaniak
Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk ; Krzysztof Kalinowski ; Cezary Crabowik
The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik
Hybrid Artificial Intelligent Systems for Ordinal Regression
An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez ; M. Pérez-Ortiz ; F. Fernández-Navarro ; J. Sánchez-Monedero ; C. Hervás-Martínez
Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / Huanhuan Chen ; P. A. Gutiérrez ; Xin Yao
Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno
Hybrid Metaheuristics for Combinatorial Optimization and Modelling Complex Systems
A Genetic Programming Approach for Solving the Linear Ordering Problem / P. C. Pop ; O. Matei
Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal ; José R. Villar ; Marco García-Tamargo ; Javier Sedano
A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung ; Lucian Sturzu-Nastase
Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog ; Camelia Chira
From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota ; Massimo Esposito ; Giuseppe De Pietro
Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo ; Bruno Baruque ; Emilio Corchado
Hybrid Computational Intelligence and Lattice Computing for Image and Signal Processing
Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea ; Iñigo Barandiaran ; Carlos Jauquicoa ; Grégory Maclair ; Manuel Graña
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno
A Hybrid Segmentation of Abdominal CT Images / Josu Maiora
Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones
Image Security and Biometrics: A Review / Ion Marqués
Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon ; A. Barrós-Loscertales ; J.C. Bustamante ; C. Ávila
A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez ; Daniel Mateos-Garcia ; Jose C. Riquelme-Santos
Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle ; Peter Sussner ; Estevão Esmi
Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Fábio Sakuray ; Laécio Barros
A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter ; Darya Chyzhyk ; Gonzalo Urcid
Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía
Workshop
Nonstationary Models of Patterns Recognition and Classifier Combinations
Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierula
Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi ; Hamid Beigy
Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke ; Klemens Muthmann ; Daniel Schuster ; Alexander Schill ; Kamil Aliyev ; Michael Berger
Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski
Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal ; Michal Wozniak
Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk ; Marcin Zmyslony
Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Boguslaw Cyganek
Combining Diverse One-Class Classifiers / Bartosz Krawczyk
Author Index
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
11.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
Case-Based Argumentation Infrastructure for Agent Societies / Jaume Jordán ; Stella Heras ; Vicente Julián
The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin ; Mieczyslaw Metzger
Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero ; Miguel Rebollo ; Carlos Carrascosa
Modeling Internet as a User-Adapted Speech Service / David Griol ; Javier Carbó ; José Manuel Molina
HAIS Applications
Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz ; Andrés Ortiz ; Ana M. Barbancho ; Isabel Barbancho
Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang ; Min-Seok Kim ; Byung-Min So ; Myung-Jae Kim ; Ha-Jin Yu
Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García ; Julio Fernández-Ceniceros ; Fernando Antoñanzas-Torres ; F. Javier Matínez-de-Pisón-Ascacibar
A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi ; Mohsen Afsharchi ; Keivan Kianmehr
Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope ; Darío Maravall ; Yadira Quiñonez
Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek ; Krzysztof Slot
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache ; D. Saigaa ; K. Kara ; Abdelghani Harrag ; A. Bouguerra
Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano ; Camelia Chira ; Nima Hatami
Spontaneous Facial Expression Recognition: Automatic Aggression Detection / Ewa Piatkowska ; Jerzy Martyna
A Memetic Approach to Project Scheduling That Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli ; Analía Amandi
Hunting for Fraudsters in Random Forests / R.M. Konijn ; W. Kowalczyk
Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov ; Eugene Semenkin ; Andrey Shabalov
Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya ; Bruno Feres de Souza ; André L.D. Rossi ; André C.P.L.F. de Carvalho
Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simic ; Svetlana Simic
Fuzzy C-Means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu ; Kai Xiao ; Alei Liang ; Haibing Guan
A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang
Cluster Analysis
k-Means Clustering of Asymmetric Data / Dominik Olszewski
A Max Metric to Evaluate a Cluster / Hosein Alizadeh ; Hamid Parvin ; Sajad Parvin ; Zahra Rezaei ; Moslem Mohamadi
Nearest Cluster Classifier / Behrouz Minaei
Diffusion Maps for the Description of Meteorological Data / Ángela Fernández ; Ana M. González ; Julia Díaz ; José R. Dorronsoro
Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik ; Miroslaw Kordos
Data Mining and Knowledge Discovery
Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen ; Feng Liang ; Zhaoxi Fang
White Box Classification of Dissimilarity Data / Barbara Hammer ; Bassam Mokbel ; Frank-Michael Schleif ; Xibin Zhu
On Ensemble Classifiers for Noninstrusive Appliance Load Monitoring / Oliver Kramer ; O. Wilken ; P. Beenken ; A. Hein ; A. Hüwel ; T. Klingenberg ; C. Meinecke ; T. Raabe ; M. Sonnenschein
Lee Path Replanner for Partially-Known Environments / Maciej Polanczyk ; Przemyslaw Baranski ; Michal Strzelecki
Stroke Based Handwritten Character Recognition / D. Álvarez ; R. Fernández ; L. Sánchez
KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo ; Massimo Esposito ; Giuseppe De Pietro
Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Pavel Galushin
Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee ; Sung-Bae Cho
Evolutionary Computation
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes ; Miguel A. Vega-Rodríguez ; Antonio Gómez-Iglesias
Hybrid Multi-objective Machine Learning Classification in Liver Transplanation / M. Pérez-Ortiz ; M. Cruz-Ramírez ; J.C. Fernández-Caballero ; C. Hervás-Martínez
Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Jerzy Piotrowski ; Szymon Bialka ; Slawomir Golak ; Tadeusz Wieczorek
Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini ; Javier Asensio ; José Luis Olazagoitia ; Jorge Biera
An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes ; Daniel Correia ; Carlos Pereira ; Bernardete Ribeiro ; António Dourado
An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro ; Cesar Analide ; Paulo Novais ; José Neves
Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero ; Antonio Berlanga
Optimization of Neuro-coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir ; Isaac Triguero ; Francisco Velasco ; José Manuel Benítez
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radoslaw Ziembinski
Learning Algorithms
PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu ; Meishuang Tang ; Junfeng Yao ; Shuiyuan Lin ; Zhe Xiang ; Guoli Ji
How to Reduce Dimension while Improving Performance / A. Bouchelaghem ; M. Drif ; N. Harrag
On How Percolation Threshold Affects PSO Performance / Blanca Cases ; Alicia D'Anjou ; Abdelmalik Moujahid
Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García ; Víctor Alfonso Elizondo Chaves ; Juan Carlos Briceño ; Carlos M. Travieso
Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes
Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / F. Javier Martínez-de-Pisón-Ascacibar
A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea ; Corina Pop Sitar ; Mara Hajdu-Macelaru ; Pop Petrica
Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García ; Germán Hernandez
Systems, Man, and Cybernetics by HAIS
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García ; José Luis Calvo Rolle ; Francisco Javier Pérez Castelo
Modeling an Operating System Based on Agents / Javier Palanca Cámara ; Marti Navarro ; Estefania Argente ; Ana Garcia-Fornes
An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz ; Manuel Graña
A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kimematics Problems / Patryk Filipiak ; Krzysztof Michalak ; Piotr Lipinski
Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea ; Hendrik Decker
Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golinska-Pilarek ; E. Muñoz-Velasco
Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang ; Lin Wang ; Xujiewen Wang ; Keke Liu ; Ajith Abraham
Improving Evolved Alphabet Using Tabu Set / Jan Platos ; Pavel Kromer
Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama ; Aboul Ella Hassanien ; Aly A. Fahmy ; Vaclav Snasel
A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle ; Emilio Corchado ; Héctor Quintian-Pardo ; Jesús Ángel Román ; Pedro Antonio Hernández
SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur ; Ritu Chauhan ; Mohd. Afshar Alam ; Syed Aljunid ; Mohd. Salleh
Author Index
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
13.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff
Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani ; David Robertson ; David Aspinall
Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum
Formalizing Commitments Using Action Languages / Tran Cao Son ; Enrico Pontelli ; Chiaki Sakama
Best of DALT
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
The Evolution of Interoperability / Amit K. Chopra ; Munindar P. Singh
1000 Years of Coo-BDI / Viviana Mascardi ; Davide Ancona
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino ; Juan-Antonio Rodríguez-Aguilar ; Carles Sierra ; Wamberto W. Vasconcelos
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira ; Renata Vieira ; Rafael H. Bordini
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara ; Marco Colombetti
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
DALT Spring School 2011
Web Service Composition via Organisation-Based (Re)Planning / David Corsar ; Alison Chorley
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)
Author Index
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
14.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Supervised Learning: Active, Ensemble, Rare-Class and Online
Time-Evolving Relational Classification and Ensemble Methods / Ryan Rossi ; Jennifer Neville
Active Learning for Hierarchical Text Classification / Xiao Li ; Da Kuang ; Charles X. Ling
TeamSkill Evolved: Mixed Classification Schemes for Team-Based Multi-player Games / Colin DeLong ; Jaideep Srivastava
A Novel Weighted Ensemble Technique for Time Series Forecasting / Ratnadip Adhikari ; R.K. Agrawal
Techniques for Efficient Learning without Search / Houssam Salem ; Pramuditha Suraweera ; Geoffrey I. Webb ; Janice R. Boughton
An Aggressive Margin-Based Algorithm for Incremental Learning / JuiHsi Fu ; Sing Ling Lee
Two-View Online Learning / Tarn T. Nguyen ; Kuiyu Chang ; Siu Cheung Hui
A Generic Classifier-Ensemble Approach for Biomedical Named Entity Recognition / Zhihua Liao ; Zili Zhang
Neighborhood Random Classification / Djamel Abdelkader Zighed ; Diala Ezzeddine ; Fabien Rico
SRF: A Framework for the Study of Classifier Behavior under Training Set Mislabeling Noise / Katsiaryna Mirylenka ; George Giannakopoulos ; Themis Palpanas
Building Decision Trees for the Multi-class Imbalance Problem / T. Ryan Hoens ; Qi Qian ; Nitesh V. Chawla ; Zhi-Hua Zhou
Scalable Random Forests for Massive Data / Bingguo Li ; Xiaojun Chen ; Mark Junjie Li ; Joshua Zhexue Huang ; Shengzhong Feng
Hybrid Random Forests: Advantages of Mixed Trees in Classifying Text Data / Baoxun Xu ; Graham Williams ; Yunming Ye
Learning Tree Structure of Label Dependency for Multi-label Learning / Bin Fu ; Zhihai Wang ; Rong Pan ; Guandong Xu ; Peter Dolog
Multiple Instance Learning for Group Record Linkage / Zhichun Fu ; Jun Zhou ; Peter Christen ; Mac Boot
Incremental Set Recommendation Based on Class Differences / Yasuyuki Shirai ; Koji Tsuruma ; Yuko Sakurai ; Satoshi Oyama ; Shin-ichi Minato
Active Learning for Cross Language Text Categorization / Yue Liu ; Lin Dai ; Weitao Zhou ; Heyan Huang
Evasion Attack of Multi-class Linear Classifiers / Han Xiao ; Thomas Stibor ; Claudia Eckert
Foundation of Mining Class-Imbalanced Data / Jun Du
Active Learning with c-Certainty / Eileen A. Ni
A Term Association Translation Model for Naive Bayes Text Classification / Meng-Sung Wu ; Hsin-Min Wang
A Double-Ensemble Approach for Classifying Skewed Data Streams / Chongsheng Zhang ; Paolo Soda
Generating Balanced Classifier-Independent Training Samples from Unlabeled Data / Youngja Park ; Zijie Qi ; Suresh N. Chari ; Ian M. Molloy
Nyström Approximate Model Selection for LSSVM / Lizhong Ding ; Shizhong Liao
Exploiting Label Dependency for Hierarchical Multi-label Classification / Noor Alaydie ; Ghandan K. Reddy ; Farshad Fotouhi
Diversity Analysis on Boosting Nominal Concepts / Nida Meddouri ; Héla Khoufi ; Mondher Sadok Maddouri
Extreme Value Prediction for Zero-Inflated Data / Fan Xin ; Zubin Abraham
Learning to Diversify Expert Finding with Subtopics / Hang Su ; Jie Tang ; Wanling Hong
An Associative Classifier for Uncertain Datasets / Metanat Hooshsadat ; Osmar R. Zaïane
Unsupervised Learning: Clustering, Probabilistic Modeling
Neighborhood-Based Smoothing of External Cluster Validity Measures / Ken-ichi Fukui ; Masayuki Numao
Sequential Entity Group Topic Model for Getting Topic Flows of Entity Groups within One Document / Young-Seob Jeong ; Ho-Jin Choi
Topological Comparisons of Proximity Measures / Rafik Abdesselam ; Asmelash Hadgu
Quad-tuple PLSA: Incorporating Entity and Its Rating in Aspect Identification / Wenjuan Luo ; Fuzhen Zhuang ; Qing He ; Zhongzhi Shi
Clustering-Based κ-Anonymity / Xianmang He ; HuaHui Chen ; Yefang Chen ; Yihong Dong ; Peng Wang ; Zhenhua Huang
Unsupervised Ensemble Learning for Mining Top-n Outliers / Jun Gao ; Weiming Hu ; Zhongfei(Mark) Zhang ; Ou Wu
Towards Personalized Context-Aware Recommendation by Mining Context Logs through Topic Models / Kuifei Yu ; Baoxian Zhang ; Hengshu Zhu ; Huanhuan Cao ; Jilei Tian
Mining of Temporal Coherent Subspace Clusters in Multivariate Time Series Databases / Hardy Kremer ; Stephan Günnemann ; Arne Held ; Thomas Seidl
A Vertex Similarity Probability Model for Finding Network Community Structure / Kan Li ; Yin Pang
Hybrid-ε-greedy for Mobile Context-Aware Recommender System / Djallel Bouneffouf ; Amel Bouzeghoub ; Alda Lopes Gançarski
Unsupervised Multi-label Text Classification Using a World Knowledge Ontology / Xiaohui Tao ; Yuefeng Li ; Raymond Y.K. Lau ; Hua Wang
Semantic Social Network Analysis with Text Corpora / Dong-mei Yang ; Hui Zheng ; Ji-kun Yan ; Ye Jin
Visualizing Clusters in Parallel Coordinates for Visual Knowledge Discovery / Yang Xiang ; David Fuhry ; Ruoming Jin ; Ye Zhao ; Kun Huang
Feature Enriched Nonparametric Bayesian Co-clustering / Pu Wang ; Carlotta Domeniconi ; Huzefa Rangwala ; Kathryn B. Laskey
Shape-Based Clustering for Time Series Data / Warissara Meesrikamolkul ; Vit Niennattrakul ; Chotirat Ann Ratanamahatana
Privacy-Preserving EM Algorithm for Clustering on Social Network / Bin Yang ; Issei Sato ; Hiroshi Nakagawa
Named Entity Recognition and Identification for Finding the Owner of a Home Page / Vassilis Plachouras ; Matthieu Rivière ; Michalis Vazirgiannis
Clustering and Understanding Documents via Discrimination Information Maximization / Malik Tahir Hassan ; Asim Karim
A Semi-supervised Incremental Clustering Algorithm for Streaming Data / Maria Halkidi ; Myra Spiliopoulou ; Aikaterini Pavlou
Unsupervised Sparse Matrix Co-clustering for Marketing and Sales Intelligence / Anastasios Zouzias ; Michail Vlachos ; Nikolaos M. Freris
Expectation-Maximization Collaborative Filtering with Explicit and Implicit Feedback / Bin Wang ; Mohammadreza Rahimi ; Dequan Zhou ; Xin Wang
Author Index
Supervised Learning: Active, Ensemble, Rare-Class and Online
Time-Evolving Relational Classification and Ensemble Methods / Ryan Rossi ; Jennifer Neville
Active Learning for Hierarchical Text Classification / Xiao Li ; Da Kuang ; Charles X. Ling
19.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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