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
51.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Jos? Luis Balc?zar, Francesco Bonchi, Aristides Gionis, Takeo Kanade, Mich?le Sebag
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Efficient Planning in Large POMDPs through Policy Graph Based Factorized Approximations / Joni Pajarinen ; Jaakko Peltonen ; Ari Hottinen ; Mikko A. Uusitalo
Unsupervised Trajectory Sampling / Nikos Pelekis ; Ioannis Kopanakis ; Costas Panagiotakis ; Yannis Theodoridis
Fast Extraction of Locally Optimal Patterns Based on Consistent Pattern Function Variations / Frédéric Pennerath
Large Margin Learning of Bayesian Classifiers Based on Gaussian Mixture Models / Franz Pernkopf ; Michael Wohlmayr
Learning with Ensembles of Randomized Trees: New Insights / Vincent Pisetta ; Pierre-Emmanuel Jouve ; Djamel A. Zighed
Entropy and Margin Maximization for Structured Output Learning / Patrick Pletscher ; Cheng Soon Ong ; Joachim M. Buhmann
Virus Propagation on Time-Varying Networks: Theory and Immunization Algorithms / B. Aditya Prakash ; Hanghang Tong ; Nicholas Valler ; Michalis Faloutsos ; Christos Faloutsos
Adapting Decision DAGs for Multipartite Ranking / José Ramón Quevedo ; Elena Montañés ; Oscar Luaces ; Juan José del Coz
Fast and Scalable Algorithms for Semi-supervised Link Prediction on Static and Dynamic Graphs / Rudy Raymond ; Hisashi Kashima
Modeling Relations and Their Mentions without Labeled Text / Sebastian Riedel ; Limin Yao ; Andrew McCallum
An Efficient and Scalable Algorithm for Local Bayesian Network Structure Discovery / Sérgio Rodrigues de Morais ; Alex Aussem
Selecting Information Diffusion Models over Social Networks for Behavioral Analysis / Kazumi Saito ; Masahiro Kimura ; Kouzou Ohara ; Hiroshi Motoda
Learning Sparse Gaussian Markov Networks Using a Greedy Coordinate Ascent Approach / Katya Scheinberg ; Irina Rish
Online Structural Graph Clustering Using Frequent Subgraph Mining / Madeleine Seeland ; Tobias Girschick ; Fabian Buchwald ; Stefan Kramer
Large-Scale Support Vector Learning with Structural Kernels / Aliaksei Severyn ; Alessandro Moschitti
Synchronization Based Outlier Detection / Junming Shao ; Christian Böhm ; Qinli Yang ; Claudia Plant
Laplacian Spectrum Learning / Pannagadatta K. Shivaswamy ; Tony Jebara
k-Version-Space Multi-class Classification Based on k-Consistency Tests / Evgueni Smirnov ; Georgi Nalbantov ; Nikolay Nikolaev
Complexity Bounds for Batch Active Learning in Classification / Philippe Rolet ; Olivier Teytaud
Semi-supervised Projection Clustering with Transferred Centroid Regularization / Bin Tong ; Hao Shao ; Bin-Hui Chou ; Einoshin Suzuki
Permutation Testing Improves Bayesian Network Learning / Ioannis Tsamardinos ; Giorgos Borboudakis
Example-dependent Basis Vector Selection for Kernel-Based Classifiers / Antti Ukkonen ; Marta Arias
Surprising Patterns for the Call Duration Distribution of Mobile Phone Users / Pedro O.S. Vaz de Melo ; Leman Akoglu ; Antonio A.F. Loureiro
Variational Bayesian Mixture of Robust CCA Models / Jaakko Viinikanoja ; Arto Klami ; Samuel Kaski
Adverse Drug Reaction Mining in Pharmacovigilance Data Using Formal Concept Analysis / Jean Villerd ; Yannick Toussaint ; Agnès Lillo-Le Louët
Topic Models Conditioned on Relations / Mirwaes Wahabzada ; Zhao Xu ; Kristian Kersting
Shift-Invariant Grouped Multi-task Learning for Gaussian Processes / Yuyang Wang ; Roni Khardon ; Pavlos Protopapas
Nonparametric Bayesian Clustering Ensembles / Pu Wang ; Carlotta Domeniconi ; Kathryn Blackmond Laskey
Directed Graph Learning via High-Order Co-linkage Analysis / Hua Wang ; Chris Ding ; Heng Huang
Incorporating Domain Models into Bayesian Optimization for Reinforcement Learning / Aaron Wilson ; Alan Fern ; Prasad Tadepalli
Efficient and Numerically Stable Sparse Learning / Sihong Xie ; Wei Fan ; Olivier Verscheure ; Jiangtao Ren
Fast Active Exploration for Link-Based Preference Learning Using Gaussian Processes / Thorsten Joachims
Many-to-Many Graph Matching: A Continuous Relaxation Approach / Mikhail Zaslavskiy ; Francis Bach ; Jean-Philippe Vert
Competitive Online Generalized Linear Regression under Square Loss / Fedor Zhdanov ; Vladimir Vovk
Cross Validation Framework to Choose amongst Models and Datasets for Transfer Learning / Erheng Zhong ; Qiang Yang
Fast, Effective Molecular Feature Mining by Local Optimization / Albrecht Zimmermann ; Björn Bringmann ; Ulrich Rückert
Demo Papers
AnswerArt - Contextualized Question Answering / Lorand Dali ; Delia Rusu ; Blaz Fortuna ; Dunja Mladenic ; Marko Grobelnik
Real-Time News Recommender System / Carolina Fortuna
GET: A Tool for Creative Exploration of Graphs / Stefan Haun ; Andreas Nürnberger ; Tobias Kötter ; Kilian Thiel ; Michael R. Berthold
NewsGist: A Multilingual Statistical News Summarizer / Mijail Kabadjov ; Martin Atkinson ; Josef Steinberger ; Ralf Steinberger ; Erik van der Goot
QUEST: Query Expansion Using Synonyms over Time / Nattiya Kanhabua ; Kjetil Nørvåg
Flu Detector - Tracking Epidemics on Twitter / Vasileios Lampos ; Tijl De Bie ; Nello Cristianini
X-SDR: An Extensible Experimentation Suite for Dimensionality Reduction / Panagis Magdalinos ; Anastasios Kapernekas ; Alexandros Mpiratsis ; Michalis Vazirgiannis
SOREX: Subspace Outlier Ranking Exploration Toolkit / Emmanuel Müller ; Matthias Schiffer ; Patrick Gerwert ; Matthias Hannen ; Timm Jansen ; Thomas Seidl
KDTA: Automated Knowledge-Driven Text Annotation / Katerina Papantonjou ; George Tsatsaronis ; Georgios Paliouras
Detecting Events in a Million New York Times Articles / Tristan Snowsill ; Ilias Flaounas
Experience STORIES: A Visual News Search and Summarization System / Ilija Subašic ; Bettina Berendt
Exploring Real Mobility Data with M-Atlas / R. Trasarti ; S. Rinzivillo ; F. Pinelli ; M. Nanni ; A. Monreale ; C. Renso ; D. Pedreschi ; F. Giannotti
Author Index
Regular Papers
Efficient Planning in Large POMDPs through Policy Graph Based Factorized Approximations / Joni Pajarinen ; Jaakko Peltonen ; Ari Hottinen ; Mikko A. Uusitalo
Unsupervised Trajectory Sampling / Nikos Pelekis ; Ioannis Kopanakis ; Costas Panagiotakis ; Yannis Theodoridis
88.

電子ブック

EB
Amol Deshpande, Anthony Hunter, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Markov Chain Monte Carlo and Databases (Abstract) / Christoph Koch
Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning / Torsten Schaub
Discussant Contributions
Graphical and Logical-Based Representations of Uncertain Information in a Possibility Theory Framework / Salem Benferhat
Probabilistic Data: A Tiny Survey / Ander de Keijzer
The Role of Epistemic Uncertainty in Risk Analysis / Didier Dubois
Uncertainty in Clustering and Classification / Eyke Hüllermeier
Information Fusion / Odile Papini
Use of the Domination Property for Interval Valued Digital Signal Processing / Olivier Strauss
Regular Contributions
Managing Lineage and Uncertainty under a Data Exchange Setting / Foto N. Afrati ; Angelos Vasilakopoulos
A Formal Analysis of Logic-Based Argumentation Systems / Leila Amgoud ; Philippe Besnard
Handling Inconsistency with Preference-Based Argumentation / Srdjan Vesic
A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures / Zainab Assaghir ; Mehdi Kaytoue ; Henri Prade
DK-BKM: Decrements K Belief K-Modes Method / Sarra Ben Hariz ; Zied Elouedi
On the Use of Fuzzy Cardinalities for Reducing Plethoric Answers to Fuzzy Queries / Patrick Bosc ; Allel Hadjali ; Olivier Pivert ; Grégory Smits
From Bayesian Classifiers to Possibilistic Classifiers for Numerical Data / Myriam Bounhas ; Khaled Mellouli ; Mathieu Serrurier
Plausibility of Information Reported by Successive Sources / Laurence Cholvy
Combining Semantic Web Search with the Power of Inductive Reasoning / Claudia d'Amato ; Nicola Fanizzi ; Bettina Fazzinga ; Georg Gottlob ; Thomas Lukasiewicz
Evaluating Trust from Past Assessments with Imprecise Probabilities: Comparing Two Approaches / Sebastien Destercke
Range-Consistent Answers of Aggregate Queries under Aggregate Constraints / Sergio Flesca ; Filippo Furfaro ; Francesco Parisi
Characterization, Propagation and Analysis of Aleatory and Epistemic Uncertainty in the 2008 Performance Assessment for the Proposed Repository for High-Level Radioactive Waste at Yucca Mountain, Nevada / Clifford W. Hansen ; Jon C. Helton ; Cédric J. Sallaberry
Comparing Evidential Graphical Models for Imprecise Reliability / Wafa Laâmari ; Boutheina Ben Yaghlane ; Christophe Simon
Imprecise Bipolar Belief Measures Based on Partial Knowledge from Agent Dialogues / Jonathan Lawry
Kriging with Ill-Known Variogram and Data / Kevin Loquin
Event Modelling and Reasoning with Uncertain Information for Distributed Sensor Networks / Jianbing Ma ; Weiru Liu ; Paul Miller
Uncertainty in Decision Tree Classifiers / Matteo Magnani ; Danilo Montesi
Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases / Maria Vanina Martinez ; Andrea Pugliese ; Gerardo I. Simari ; V.S. Subrahmanian
Modelling Probabilistic Inference Networks and Classification in Probabilistic Datalog / Miguel Martinez-Alvarez ; Thomas Roelleke
Handling Dirty Databases: From User Warning to Data Cleaning-Towards an Interactive Approach
Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics / Emad Saad
Cost-Based Query Answering in Action Probabilistic Logic Programs / John P. Dickerson
Clustering Fuzzy Data Using the Fuzzy EM Algorithm / Benjamin Quost ; Thierry Denœux
Combining Multi-resolution Evidence for Georeferencing Flickr Images / Olivier Van Laere ; Steven Schockaert ; Bart Dhoedt
A Structure-Based Similarity Spreading Approach for Ontology Matching / Ying Wang ; David A. Bell
Risk Modeling for Decision Support / Ronald R. Yager
Author Index
Invited Talks
Markov Chain Monte Carlo and Databases (Abstract) / Christoph Koch
Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning / Torsten Schaub
89.

電子ブック

EB
Marcus Hutter, Takeo Kanade, Frank Stephan, Vladimir Vovk, Thomas Zeugmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Editors' Introduction / Marcus Hutter ; Frank Stephan ; Vladimir Vovk ; Thomas Zeugmann
Invited Papers
Towards General Algorithms for Grammatical Inference / Alexander Clark
The Blessing and the Curse of the Multiplicative Updates (Abstract) / Manfred K. Warmuth
Discovery of Abstract Concepts by a Robot (Abstract) / Ivan Bratko
Contrast Pattern Mining and Its Application for Building Robust Classifiers (Abstract) / Kotagiri Ramamohanarao
Optimal Online Prediction in Adversarial Environments / Peter L. Bartlett
Regular Contributions
Statistical Learning
An Algorithm for Iterative Selection of Blocks of Features / Pierre Alquier
Bayesian Active Learning Using Arbitrary Binary Valued Queries / Liu Yang ; Steve Hanneke ; Jaime Carbonell
Approximation Stability and Boosting / Wei Gao ; Zhi-Hua Zhou
Grammatical Inference and Graph Learning
A Spectral Approach for Probabilistic Grammatical Inference on Trees / Raphaël Bailly ; Amaury Habrard ; François Denis
PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation / Balázs Csanád Csáji ; Raphaël M. Jungers ; Vincent D. Blondel
Inferring Social Networks from Outbreaks / Dana Angluin ; James Aspnes ; Lev Reyzin
Probably Approximately Correct Learning
Distribution-Dependent PAC-Bayes Priors / Guy Lever ; François Laviolette ; John Shawe-Taylor
PAC Learnability of a Concept Class under Non-atomic Measures: A Problem by Vidyasagar / Vladimir Pestov
A PAC-Bayes Bound for Tailored Density Estimation / Matthew Higgs
Compressed Learning with Regular Concept / Jiawei Lv ; Jianwen Zhang ; Fei Wang ; Zheng Wang ; Changshui Zhang
Query Learning and Algorithmic Teaching
A Lower Bound for Learning Distributions Generated by Probabilistic Automata / Borja Balle ; Jorge Castro ; Ricard Gavaldà
Lower Bounds on Learning Random Structures with Statistical Queries / David Eisenstat ; Leonid (Aryeh) Kontorovich
Recursive Teaching Dimension, Learning Complexity, and Maximum Classes / Thorsten Doliwa ; Hans Ulrich Simon ; Sandra Zilles
On-line Learning
Toward a Classification of Finite Partial-Monitoring Games / Gábor Bartók ; Dávid Pál ; Csaba Szepesvári
Switching Investments / Wouter M. Koolen ; Steven de Rooij
Prediction with Expert Advice under Discounted Loss / Alexey Chernov ; Fedor Zhdanov
A Regularization Approach to Metrical Task Systems / Jacob Abernethy ; Niv Buchbinder ; Isabelle Stanton
Inductive Inference
Solutions to Open Questions for Non-U-Shaped Learning with Memory Limitations / John Case ; Timo Kötzing
Learning without Coding / Samuel E. Moelius III
Learning Figures with the Hausdorff Metric by Fractals / Mahito Sugiyama ; Eiju Hirowatari ; Hideki Tsuiki ; Akihiro Yamamoto
Inductive Inference of Languages from Samplings / Sanjay Jain ; Efim Kinber
Reinforcement Learning
Optimality Issues of Universal Greedy Agents with Static Priors / Laurent Orseau
Consistency of Feature Markov Processes / Peter Sunehag
Algorithms for Adversarial Bandit Problems with Multiple Plays / Taishi Uchiya ; Atsuyoshi Nakamura ; Mineichi Kudo
On-line Learning and Kernel Methods
Online Multiple Kernel Learning: Algorithms and Mistake Bounds / Rong Jin ; Steven C.H. Hoi ; Tianbao Yang
An Identity for Kernel Ridge Regression / Yuri Kalnishkan
Author Index
Editors' Introduction / Marcus Hutter ; Frank Stephan ; Vladimir Vovk ; Thomas Zeugmann
Invited Papers
Towards General Algorithms for Grammatical Inference / Alexander Clark
90.

電子ブック

EB
R?diger Dillmann, J?rgen Beyerer, Uwe D. Hanebeck, Takeo Kanade, Tanja Schultz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cognition
Vision, Logic, and Language - Toward Analyzable Encompassing Systems / Hans-Hellmut Nagel
A Computational Model of Human Movement Coordination / Thorsten Stein ; Christian Simonidis ; Wolfgang Seemann ; Hermann Schwameder
BiosignalsStudio: A Flexible Framework for Biosignal Capturing and Processing / Dominic Heger ; Felix Putze ; Christoph Amma ; Michael Wand ; Igor Plotkin ; Thomas Wielatt ; Tanja Schultz
Local Adaptive Extraction of References / Peter Kluegl ; Andreas Hotho ; Frank Puppe
Logic-Based Trajectory Evaluation in Videos / Nicola Pirlo
Human-Machine Interaction
A Testbed for Adaptive Human-Robot Collaboration / Alexandra Kirsch ; Yuxiang Chen
Human Head Pose Estimation using Multi-Appearance Features / Norbert Schmitz ; Gregor Zolynski ; Karsten Berns
Online Full Body Human Motion Tracking Based on Dense Volumetric 3D Reconstructions from Multi Camera Setups / Tobias Feldmann ; Ioannis Mihailidis ; Sebastian Schulz ; Dietrich Paulus ; Annika Wörner
On-line Handwriting Recognition with Parallelized Machine Learning Algorithms / Sebastian Bothe ; Thomas Gärtner ; Stefan Wrobel
Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms / Christian Frese ; Jürgen Beyerer
Static Preference Models for Options with Dynamic Extent / Thomas Bauereiß ; Stefan Mandl ; Bernd Ludwig
Towards User Assistance for Documents via Interactional Semantic Technology / Andrea Kohlhase
Knowledge
Flexible Concept-Based Argumentation in Dynamic Scenes / Jörn Sprado ; Björn Gottfried ; Otthein Herzog
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception / Haythem O. Ismail ; Nasr Kasrin
Multi-context Systems with Activation Rules
Pellet-HeaRT- Proposal of an Architecture for Ontology Systems with Rules / Grzegorz J. Nalepa ; Weronika T. Furmanska
Putting People's Common Sense into Knowledge Bases of Household Robots / Lars Kunze ; Moritz Tenorth ; Michael Beetz
Recognition and Visualization of Music Sequences Using Self-Organizing Feature Maps / Tobias Hein ; Oliver Kramer
Searching for Locomotion Patterns that Suffer from Imprecise Details
World Modeling for Autonomous Systems / Ioana Gheta ; Michael Heizmann ; Andrey Belkin
Machine Learning and Data Mining
A Probabilistic MajorClust Variant for the Clustering of Near-Homogeneous Graphs / Oliver Niggemann ; Volker Lohweg ; Tim Tack
Acceleration of DBSCAN-Based Clustering with Reduced Neighborhood Evaluations / Andreas Thom
Adaptive ?-greedy Exploration in Reinforcement Learning Based on Value Differences / Michel Tokic
Learning the Importance of Latent Topics to Discover Highly Influential News Items / Ralf Krestel ; Bhaskar Mehta
Methods for Automated High-Throughput Toxicity Testing Using Zebrafish Embryos / Rüdiger Alshut ; Jessica Legradi ; Urban Liebel ; Lixin Yang ; Jos van Wezel ; Uwe Strähle ; Ralf Mikut ; Markus Reischl
Visualizing Dissimilarity Data Using Generative Topographic Mapping / Andrej Gisbrecht ; Bassam Mokbel ; Alexander Hasenfuss ; Barbara Hammer
Planing and Reasoning
An Empirical Comparison of Some Multiobjective Graph Search Algorithms / Enrique Machuca ; Lorenzo Mandow ; Jose L. Pérez de la Cruz ; Amparo Ruiz-Sepúlveda
Completeness for Generalized First-Order LTL / Norihiro Kamide
Instantiating General Games Using Prolog or Dependency Graphs / Peter Kissmann ; Stefan Edelkamp
Plan Assessment for Autonomous Manufacturing as Bayesian Inference / Paul Maier ; Dominik Jain ; Stefan Waldherr ; Martin Sachenbacher
Positions, Regions, and Clusters: Strata of Granularity in Location Modelling / Hedda R. Schmidtke ; Michael Beigl
Soft Evidential Update via Markov Chain Monte Carlo Inference
Strongly Solving Fox-and-Geese on Multi-Core CPU / Hartmut Messerschmidt
The Importance of Statistical Evidence for Focussed Bayesian Fusion / Jennifer Sander ; Jonas Krieger
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles / Andreas Artmeier ; Julian Haselmayr ; Martin Leucker
Robotics
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages / Martin Proetzsch ; Fabian Zimmermann ; Robert Eschbach ; Johannes Kloos
Collision Free Path Planning for Intrinsic Safety of Multi-fingered SDH-2 / Thomas Haase ; Heinz Wörn
Dynamic Bayesian Networks for Learning Interactions between Assistive Robotic Walker and Human Users / Mitesh Patel ; Jaime Valls Miro ; Gamini Dissanayake
From Neurons to Robots: Towards Efficient Biologically Inspired Filtering and SLAM / Niko Sünderhauf ; Peter Protzel
Haptic Object Exploration Using Attention Cubes / Nicolas Gorges ; Peter Fritz
Task Planning for an Autonomous Service Robot / Thomas Keller ; Patrick Eyerich ; Bernhard Nebel
Towards Automatic Manipulation Action Planning for Service Robots / Steffen W. Ruehl ; Zhixing Xue ; Thilo Kerscher ; Rüdiger Dillmann
Towards Opportunistic Action Selection in Human-Robot Cooperation / Thibault Kruse
Trajectory Generation and Control for a High-DOF Articulated Robot with Dynamic Constraints / Marc Spirig ; Ralf Kaestner ; Dizan Vasquez ; Roland Siegwart
Adaptive Motion Control: Dynamic Kick for a Humanoid Robot / Yuan Xu ; Heinrich Mellmann
Special Session: Situation, Intention and Action Recognition
An Extensible Modular Recognition Concept That Makes Activity Recognition Practical / Martin Berchtold ; Matthias Budde
Online Workload Recognition from EEG Data During Cognitive Tests and Human-Machine Interaction
Situation-Specific Intention Recognition for Human-Robot Cooperation / Peter Krauthausen ; Uwe D. Hanebeck
Towards High-Level Human Activity Recognition through Computer Vision and Temporal Logic / Joris Ijsselmuiden ; Rainer Stiefelhagen
Towards Semantic Segmentation of Human Motion Sequences / Dirk Gehrig ; Andreas Fischer
Author Index
Cognition
Vision, Logic, and Language - Toward Analyzable Encompassing Systems / Hans-Hellmut Nagel
A Computational Model of Human Movement Coordination / Thorsten Stein ; Christian Simonidis ; Wolfgang Seemann ; Hermann Schwameder
91.

電子ブック

EB
J?rgen Dix, Takeo Kanade, Cees Witteveen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Tournament Solutions and Their Applications to Multiagent Decision Making / Felix Brandt
Research Challenges in Simulation Aided Design of Complex Multi-agent Systems / Michal Pechoucek ; Michal Jakob
Models and Specifications
A Model Driven Development of Platform-Neutral Agents / Inmaculada Ayala ; Mercedes Amor ; Lidia Fuentes
A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements / Mohamed Amin Laouadi ; Farid Mokhati ; Hassina Seridi-Bouchelaghem
Do You Get It? User-Evaluated Explainable BDI Agents / Joost Broekens ; Maaike Harbers ; Koen Hindriks ; Karel van den Bosch ; Catholijn Jonker ; John-Jules Meyer
Trust, Norms and Reputation
Reputation in Multi Agent Systems and the Incentives to Provide Feedback / Miriam Heitz ; Stefan König ; Torsten Eymann
Normative Deliberation in Graded BDI Agents / Natalia Criado ; Estefania Argente ; Vicent Botti
Inducing Desirable Behaviour through an Incentives Infrastructure / Roberto Centeno ; Holger Billhardt ; Sascha Ossowski
Models, Tools and Architectures
SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models / Endri Deliu ; Michael Köhler-Bu?meier
Enhancing the Interoperability between Multiagent Systems and Service-Oriented Architectures through a Model-Driven Approach / Christian Hahn ; Sven Jacobi ; David Raber
Unifying Agent and Component Concepts: Jadex Active Components / Alexander Pokahr ; Lars Braubach ; Kai Jander
Applications I
Impact of Competition on Quality of Service in Demand Responsive Transit / Ferdi Grootenboers ; Mathijs de Weerdt ; Mahdi Zargayouna
Towards Distributed Agent Environments for Pervasive Healthcare / Stefano Bromuri ; Michael Ignaz Schumacher ; Kostas Stathis
Context-Aware Route Planning / Adriaan W. ter Mors ; Cees Witteveen ; Jonne Zutt ; Fernando A. Kuipers
Coordination and Learning
Social Conformity and Its Convergence for Reinforcement Learning / Juan A. García-Pardo ; Jose Soler ; Carlos Carrascosa
COLYPAN: A Peer-to-Peer Architecture for a Project Management Collaborative Learning System / Hanaa Mazyad ; Insaf Tnazefti-Kerkeni
Preference Generation for Autonomous Agents / Umair Rafique ; Shell Ying Huang
Evaluation of Techniques for a Learning-Driven Modeling Methodology in Multiagent Simulation / Robert Junges ; Franziska Klügl
Applications II
Price Prediction in Sports Betting Markets / Juan M. Alberola ; Ana Garcia-Fornes ; Agustin Espinosa
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach / Simon Adameit ; Tobias Betz ; Lawrence Cabac ; Florian Hars ; Marcin Hewelt ; Daniel Moldt ; Dimitri Popov ; José Quenum ; Axel Theilmann ; Thomas Wagner ; Timo Warns ; Lars WüStenberg
Author Index
Invited Talks
Tournament Solutions and Their Applications to Multiagent Decision Making / Felix Brandt
Research Challenges in Simulation Aided Design of Complex Multi-agent Systems / Michal Pechoucek ; Michal Jakob
92.

電子ブック

EB
Ant?nio Carlos Rocha Costa, Takeo Kanade, Flavio Tonidandel, Rosa Maria Vicari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ontologies, Knowledge Representation and Reasoning / Chapter 1:
Ontological Primitives for Visual Knowledge / Alexandre Lorenzatti ; Mara Abel ; Sandro Rama Fiorini ; Ariane Kravczyk Bernardes ; Claiton Marion dos Santos Scherer
A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia's Categories / Clarissa Castellã Xavier ; Vera Lucia Strube de Lima
Ontology Reasoning in Agent-Oriented Programming / Claudio Fuzitaki, Álvaro Moreira ; Renata Vieira
System Design Modification with Actions / Maria Viviane de Menezes ; Silvio do Lago Pereira ; Leliane Nunes de Barros
Learning Terminologies in Probabilistic Description Logics / Kate Revoredo ; José Eduardo Ochoa-Luna ; Fabio Gagliardi Cozman
Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams / Cleverton Ferreira Borba ; Ana Estela Antunes da Silva
Semantic Mapping with a Probabilistic Description Logic / Rodrigo Polastro ; Fabiano Corrêa ; Fabio Cozman ; Jun Okamoto
Markov Decision Processes from Colored Petri Nets / Monica Góes Eboli
Machine Learning / Chapter 2:
Incremental Learning of Multivariate Gaussian Mixture Models / Paulo Martins Engel ; Milton Roberto Heinen
Bayesian Network Structure Inference with an Hierarchical Bayesian Model / Adriano Velasque Werhli
Autonomous Agents and Multiagent Systems / Chapter 3:
On the Construction of Synthetic Characters with Personality and Emotion / Ary Fagundes Bressane Neto ; Flávio Soares Corrêa da Silva
Towards Automated Trading Based on Fundamentalist and Technical Data / Carlos Henrique Dejavite Araújo ; Paulo André Lima de Castro
Developing a Consciousness-Based Mind for an Artificial Creature / Ricardo-Capitanio Martins da Silva ; Ricardo Ribeiro Gudwin
Simulating the Emergence of Social Relationship Networks in Groups of Believable Agents: The X-BARIM Model / Pablo Barbosa ; Danielle Silva ; Geber Ramalho ; Patricia Tedesco
Using Jason to Develop Normative Agents / Baldoino Fonseca dos Santos Neto ; Viviane Torres da Silva ; Carlos José Pereira de Lucena
Improving Space Representation in Multiagent Learning via Tile Coding / Samuel Justo Waskow ; Ana Lúcia Cetertich Bazzan
Natural Language Processing / Chapter 4:
Factored Translation between Brazilian Portuguese and English / Helena de Medeiros Caseli ; Israel Aono Nunes
Question Answering for Portuguese: How Much Is Needed? / Rodrigo Wilkens ; Aline Villavicencio
Planning and Scheduling / Chapter 5:
Planning for Multi-robot Localization / Paulo Pinheiro ; Jacques Wainer
Symbolic Bounded Real-Time Dynamic Programming / Karina Valdivia Delgado ; Cheng Fang ; Scott Sanner
An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties / Fábio Fernandes Ribeiro ; Marcone Jamilson Freitas Souza ; Sérgio Ricardo de Souza
A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Terrain Elevation / Felipe Leonardo Lôbo Medeiros ; José Demisio Simões da Silva
Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves / Douglas Guimarães Macharet ; Armando Alves Neto ; Mario Fernando Montenegro Campos
Constraints and Search / Chapter 6:
High-Level Modeling of Component-Based CSPs / Raphaël Chenouard ; Laurent Granvilliers ; Ricardo Soto
Improving the Distributed Constraint Optimization Using Social Network Analysis / Allan Rodrigo Leite ; André Pinz Borges ; Laércio Martins Carpes ; Fabrício Enembreck
Logics for AI / Luis Henrique Oliveira Rios ; Luiz ChaimowiczChapter 7:
A Sequent Calculus for 3-Dimensional Space / Norihiro Kamide
Intuitionistic Fuzzy Probability / Claudilene Gomes Da Costa ; Benjamin Callejas Bedregal ; Adrião Duarte Doria Neto
A Proof System for Temporal Reasoning with Sequential Information
A Refuted Conjecture on Probabilistic Satisfiability / Marcelo Finger ; Glauber De Bona
A Logic for Conceptual Hierarchies
Author Index
Ontologies, Knowledge Representation and Reasoning / Chapter 1:
Ontological Primitives for Visual Knowledge / Alexandre Lorenzatti ; Mara Abel ; Sandro Rama Fiorini ; Ariane Kravczyk Bernardes ; Claiton Marion dos Santos Scherer
A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia's Categories / Clarissa Castellã Xavier ; Vera Lucia Strube de Lima
93.

電子ブック

EB
Bernhard Pfahringer, Achim Hoffmann, Geoff Holmes, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Sentiment Knowledge Discovery in Twitter Streaming Data / Albert Bifet ; Eibe Frank
A Similarity-Based Adaptation of Naive Bayes for Label Ranking: Application to the Metalearning Problem of Algorithm Recommendation / Artur Aiguzhinov ; Carlos Soares ; Ana Paula Serra
Topology Preserving SOM with Transductive Confidence Machine / Bin Tong ; ZhiGuang Qin ; Einoshin Suzuki
An Artificial Experimenter for Enzymatic Response Characterisation / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Subgroup Discovery for Election Analysis: A Case Study in Descriptive Data Mining / Henrik Grosskreutz ; Mario Boley ; Maike Krause-Traudes
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data / Hirohisa Seki ; Yuya Honda ; Shinya Nagano
Why Text Segment Classification Based on Part of Speech Feature Selection / Iulia Nagy ; Katsuyuki Tanaka ; Yasuo Ariki
Speeding Up and Boosting Diverse Density Learning / James R. Foulds
Incremental Learning of Cellular Automata for Parallel Recognition of Formal Languages / Katsuhiko Nakamura ; Keita Imada
Sparse Substring Pattern Set Discovery Using Linear Programming Boosting / Kazuaki Kashihara ; Kohei Hatano ; Hideo Bannai ; Masayuki Takeda
Discovery of Super-Mediators of Information Diffusion in Social Networks / Kazumi Saito ; Masahiro Kimura ; Kouzou Ohara ; Hiroshi Motoda
Integer Linear Programming Models for Constrained Clustering / Marianne Mueller ; Stefan Kramer
Efficient Visualization of Document Streams / Miha Grcar ; Vid Podpecan ; Matjaz Juršic ; Nada Lavrac
Bridging Conjunctive and Disjunctive Search Spaces for Mining a New Concise and Exact Representation of Correlated Patterns / Nassima Ben Younes ; Tarek Hamrouni ; Sadok Ben Yahia
Graph Classification Based on Optimizing Graph Spectra / Nguyen Duy Vinh ; Akihiro Inokuchi ; Takashi Washio
Algorithm for Detecting Significant Locations from Raw GPS Data / Nobuharu Kami ; Nobuyuki Enomoto ; Teruyuki Baba ; Takashi Yoshikawa
Discovery of Conservation Laws via Matrix Search / Oliver Schulte ; Mark S. Drew
Gaussian Clusters and Noise: An Approach Based on the Minimum Description Length Principle / Panu Luosto ; Jyrki Kivinen ; Heikki Mannila
Exploiting Code Redundancies in ECOC / Sang-Hyeun Park ; Lorenz Weizsäcker ; Johannes Fürnkranz
Concept Convergence in Empirical Domains / Santiago Ontañón ; Enric Plaza
Equation Discovery for Model Identification in Respiratory Mechanics of the Mechanically Ventilated Human Lung / Steven Ganzert ; Josef Guttmann ; Daniel Steinmann
Mining Class-Correlated Patterns for Sequence Labeling / Thomas Hopf
ESTATE: Strategy for Exploring Labeled Spatial Datasets Using Association Analysis / Tomasz F. Stepinski ; Josue Salazar ; Wei Ding ; Denis White
Adapted Transfer of Distance Measures for Quantitative Structure-Activity Relationships / Ulrich Rückert ; Tobias Girschick ; Fabian Buchwald
Incremental Mining of Closed Frequent Subtrees / Viet Anh Nguyen ; Akihiro Yamamoto
Optimal Online Prediction in Adversarial Environments / Peter L. Bartlett
Discovery of Abstract Concepts by a Robot / Ivan Bratko
Contrast Pattern Mining and Its Application for Building Robust Classifiers / Kotagiri Ramamohanarao
Towards General Algorithms for Grammatical Inference / Alexander Clark
The Blessing and the Curse of the Multiplicative Updates / Manfred K. Warmuth
Author Index
Sentiment Knowledge Discovery in Twitter Streaming Data / Albert Bifet ; Eibe Frank
A Similarity-Based Adaptation of Naive Bayes for Label Ranking: Application to the Metalearning Problem of Algorithm Recommendation / Artur Aiguzhinov ; Carlos Soares ; Ana Paula Serra
Topology Preserving SOM with Transductive Confidence Machine / Bin Tong ; ZhiGuang Qin ; Einoshin Suzuki
94.

電子ブック

EB
Gary Geunbae Lee, Takeo Kanade, Joseph Mariani, Wolfgang Minker, Satoshi Nakamura
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Long Papers
Impact of a Newly Developed Modern Standard Arabic Speech Corpus on Implementing and Evaluating Automatic Continuous Speech Recognition Systems / Mohammad A.M. Abushariah ; Raja N. Ainon ; Roziati Zainuddin ; Bassam A. Al-Qatab ; Assal A.M. Alqudah
User and Noise Adaptive Dialogue Management Using Hybrid System Actions / Senthilkumar Chandramohan ; Olivier Pietquin
Detection of Unknown Speakers in an Unsupervised Speech Controlled System / Tobias Herbig ; Franz Gerl ; Wolfgang Minker
Evaluation of Two Approaches for Speaker Specific Speech Recognition
Issues in Predicting User Satisfaction Transitions in Dialogues: Individual Differences, Evaluation Criteria, and Prediction Models / Ryuichiro Higashinaka ; Yasuhiro Minami ; Kohji Dohsaka ; Toyomi Meguro
Expansion of WFST-Based Dialog Management for Handling Multiple ASR Hypotheses / Naoto Kimura ; Chiori Hori ; Teruhisa Misu ; Kiyonori Ohtake ; Hisashi Kawai ; Satoshi Nakamura
Evaluation of Facial Direction Estimation from Cameras for Multi-modal Spoken Dialog System / Akihiro Kobayashi ; Kentaro Kayama ; Etsuo Mizukami ; Hideki Kashioka
D3 Toolkit: A Development Toolkit for Daydreaming Spoken Dialog Systems / Donghyeon Lee ; Kyungduk Kim ; Cheongjae Lee ; Junhwi Choi ; Gary Geunbae Lee
New Technique to Enhance the Performance of Spoken Dialogue Systems by Means of Implicit Recovery of ASR Errors / Ramón López-Cózar ; David Griol ; José F. Quesada
Simulation of the Grounding Process in Spoken Dialog Systems with Bayesian Networks / Stéphane Rossignol ; Michel Ianotto
Facing Reality: Simulating Deployment of Anger Recognition in IVR Systems / Alexander Schmitt ; Tim Polzehl
A Discourse and Dialogue Infrastructure for Industrial Dissemination / Daniel Sonntag ; Norbert Reithinger ; Gerd Herzog ; Tilman Becker
Short Papers
Impact of Semantic Web on the Development of Spoken Dialogue Systems / Masahiro Araki ; Yu Funakura
A User Model to Predict User Satisfaction with Spoken Dialog Systems / Klaus-Peter Engelbrecht ; Sebastian Möller
Sequence-Based Pronunciation Modeling Using a Noisy-Channel Approach / Hansjörg Hofmann ; Sakriani Sakti ; Ryosuke Isotani
Rational Communication and Affordable Natural Language Interaction for Ambient Environments / Kristiina Jokinen
Construction and Experiment of a Spoken Consulting Dialogue System
A Study Toward an Evaluation Method for Spoken Dialogue Systems Considering User Criteria
A Classifier-Based Approach to Supporting the Augmentation of the Question-Answer Database for Spoken Dialogue Systems / Hiromi Narimatsu ; Mikio Nakano ; Kotaro Funakoshi
The Influence of the Usage Mode on Subjectively Perceived Quality / Ina Wechsung ; Anja Naumann
Demo Papers
Sightseeing Guidance Systems Based on WFST-Based Dialogue Manager / Tetsuya Fujii
Spoken Dialogue System Based on Information Extraction from Web Text / Koichiro Yoshino ; Tatsuya Kawahara
Author Index
Long Papers
Impact of a Newly Developed Modern Standard Arabic Speech Corpus on Implementing and Evaluating Automatic Continuous Speech Recognition Systems / Mohammad A.M. Abushariah ; Raja N. Ainon ; Roziati Zainuddin ; Bassam A. Al-Qatab ; Assal A.M. Alqudah
User and Noise Adaptive Dialogue Management Using Hybrid System Actions / Senthilkumar Chandramohan ; Olivier Pietquin
95.

電子ブック

EB
Christian G. Ferm?ller, Takeo Kanade, Andrei Voronkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Complexity of Partial-Observation Parity Games (Invited Talk) / Krishnendu Chatterjee ; Laurent Doyen
Awareness in Games, Awareness in Logic (Invited Talk) / Joseph Y. Halpern
Human and Unhuman Commonsense Reasoning (Invited Talk) / Michael J. Maher
Gödel Logics - A Survey (Invited Tutorial) / Norbert Preining
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces / Régis Alenda ; Nicola Olivetti
Extended Computation Tree Logic / Roland Axelsson ; Matthew Hague ; Stephan Kreutzer ; Martin Lange ; Markus Latte
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics / Franz Baader ; Marcel Lippmann ; Hongkai Liu
SAT Encoding of Unification in ?L / Barbara Morawska
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers / Mutsunori Banbara ; Haruki Matsunaka ; Naoyuki Tamura ; Katsumi Inoue
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models / Jasmin Christian Blanchette ; Koen Claessen
Characterising Space Complexity Classes via Knuth-Bendix Orders / Guillaume Bonfante ; Georg Moser
Focused Natural Deduction / Taus Brock-Nannestad ; Carsten Schürmann
How to Universally Close the Existential Rule / Kai Brünnler
On the Complexity of the Bernays-Schönfinkel Class with Datalog / Witold Charatonik ; Piotr Witkowski
Magically Constraining the Inverse Method Using Dynamic Polarity Assignment / Kaustuv Chaudhuri
Lazy Abstraction for Size-Change Termination / Michael Codish ; Carsten Fuhs ; Jürgen Giesl ; Peter Schneider-Kamp
A Syntactical Approach to Qualitative Constraint Networks Merging / Jean-François Condotta ; Souhila Kaci ; Pierre Marquis ; Nicolas Schwind
On the Satisfiability of Two-Variable Logic over Data Words / Claire David ; Leonid Libkin ; Tony Tan
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic / Jeremy E. Dawson ; Rajeev Goré
Characterising Probabilistic Processes Logically (Extended Abstract) / Yuxin Deng ; Rob van Glabbeek
fCube: An Efficient Prover for Intuitionistic Propositional Logic / Mauro Ferrari ; Camillo Fiorentini ; Guido Fiorino
Superposition-Based Analysis of First-Order Probabilistic Timed Automata / Arnaud Fietzke ; Holger Hermanns ; Christoph Weidenbach
A Nonmonotonic Extension of KLM Preferential Logic P / Laura Giordano ; Valentina Gliozzi ; Gian Luca Pozzato
On Strong Normalization of the Calculus of Constructions with Type-Based Termination / Benjamin Grégoire ; Jorge Luis Sacchini
Aligators for Arrays (Tool Paper) / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Audrey Rybalchenko
Clause Elimination Procedures for CNF Formulas / Marijn Heule ; Matti Järvisalo ; Armin Biere
Partitioning SAT Instances for Distributed Solving / Antti E.J. Hyvärinen ; Tommi Junttila ; Ilkka Niemelä
Infinite Families of Finite String Rewriting Systems and Their Confluence / Jean-Pierre Jouannaud ; Benjamin Monate
Polite Theories Revisited / Dejan Jovanovic ; Clark Barrett
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference / Mark Kaminski ; Gert Smolka
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach / Pavel Klinov ; Bijan Parsia ; David Picado-Muiño
On the Complexity of Model Expansion / Antonina Kolokolova ; Yongmei Liu ; David Mitchell ; Eugenia Ternovska
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning / Konstantin Korovin ; Christoph Sticksel
Boosting Loral Search Thanks to CDCL / Gilles Audemard ; Jean-Marie Lagniez ; Bertrand Mazure ; Lakhdar Saïs
Interpolating Quantifier-Free Presburger Arithmetic / Daniel Kroening ; Jérôme Leroux ; Philipp Rümmer
Variable Compression in ProbLog / Theofrastos Mantadelis ; Gerda Janssens
Improving Resource-Unaware SAT Solvers / Steffen Hölldobler ; Norbert Manthey ; Ari Saptawijaya
Expansion Nets: Proof-Nets for Propositional Classical Logic / Richard McKinley
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting / Friedrich Neurauter ; Harald Zankl ; Aart Middeldorp
An Isabelle-Like Procedural Mode for HOL Light / Petros Papapanagiotou ; Jacques Fleuriot
Bottom-Up Tree Automata with Term Constraints / Andreas Reu? ; Helmut Seidl
Constructors, Sufficient Completeness, Deadlock Freedom of Rewrite Theories / Camilo Rocha ; José Meseguer
PBINT, A Logic for Modelling Search Problems Involving Arithmetic / Shahab Tasharrofi
Resolution for Stochastic Boolean Satisfiability / Tino Teige ; Martin Fränzle
Symbolic Automata Constraint Solving / Margus Veanes ; Nikolaj Bjørner ; Leonardo de Moura
Author Index
The Complexity of Partial-Observation Parity Games (Invited Talk) / Krishnendu Chatterjee ; Laurent Doyen
Awareness in Games, Awareness in Logic (Invited Talk) / Joseph Y. Halpern
Human and Unhuman Commonsense Reasoning (Invited Talk) / Michael J. Maher
96.

電子ブック

EB
Jian Yu, Salvatore Greco, Takeo Kanade, Pawan Lingras, Andrzej Skowron, Guoyin Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
97.

電子ブック

EB
Vicen? Torra, Marc Daumas, Takeo Kanade, Yasuo Narukawa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Relationships between Qualitative and Quantitative Scales for Aggregation Operations: The Example of Sugeno Integrals / Didier Dubois
User Privacy in Web Search / Josep Domingo-Ferrer
A Bibliometric Index Based on Collaboration Distances / Maria Bras-Amorós ; Vicenç Torra
Regular Papers
Aggregation Operators and Decision Making
Measuring the Influence of the kth Largest Variable on Functions over the Unit Hypercube / Jean-Luc Marichal ; Pierre Mathonet
Measuring the Interactions among Variables of Functions over the Unit Hypercube
Weighted Quasi-arithmetic Means and Conditional Expectations / Yuji Yoshida
Modelling Group Decision Making Problems in Changeable Conditions / Ignacio J. Pérez ; Sergio Alonso ; Francisco J. Cabrerizo ; Enrique Herrera-Viedma
Individual Opinions-Based Judgment Aggregation Procedures / Farah Benamara ; Souhila Kaci ; Gabriella Pigozzi
Aggregation of Bounded Fuzzy Natural Number-Valued Multisets / Jaume Casasnovas ; J. Vicente Riera
Sugeno Utility Functions I: Axiomatizations / Miguel Couceiro ; Tamás Waldhauser
Sugeno Utility Functions II: Factorizations
Managing Information Fusion with Formal Concept Analysis / Zainab Assaghir ; Mehdi Kaytoue ; Amedeo Napoli ; Henri Prade
Clustering and Similarity
Indefinite Kernel Fuzzy c-Means Clustering Algorithms / Yuchi Kanzawa ; Yasunori Endo ; Sadaaki Miyamoto
Algorithms in Sequential Fuzzy Regression Models Based on Least Absolute Deviations / Hengjin Tang
A Generalized Approach to the Suppressed Fuzzy c-Means Algorithm / László Szilágyi ; Sándor M. Szilágyi ; Csilla Kiss
Semi-supervised Agglomerative Hierarchical Clustering Using Clusterwise Tolerance Based Pairwise Constraints / Yukihiro Hamasuna
Computational Intelligence
Gallbladder Segmentation in 2-D Ultrasound Images Using Deformable Contour Methods / Marcin Ciecholewski
Pattern Mining on Stars with FP-Growth / Andreia Silva ; Cláudia Antunes
A Computational Intelligence Based Framework for One-Subsequence-Ahead Forecasting of Nonstationary Time Series / Vasile Georgescu
Non-hierarchical Clustering of Decision Tables toward Rough Set-Based Group Decision Aid / Masahiro Inuiguchi ; Ryuta Enomoto ; Yoshifumi Kusunoki
Revisiting Natural Actor-Critics with Value Function Approximation / Matthieu Geist ; Olivier Pietquin
Cost-Continuty Model for Web Search / David F. Nettleton ; Joan Codina
An Enhanced Framework of Subjective Logic for Semantic Document Analysis / Sukanya Manna ; B. Sumudu. U. Mendis ; Tom Gedeon
Data Privacy
Ontology-Based Anonymization of Categorical Values / Sergio Martínez ; David Sánchez ; Aida Valls
Rational Privacy Disclosure in Social Networks
Towards Semantic Microaggregation of Categorical Data for Confidential Documents / Daniel Abril ; Guillermo Navarro-Arribas
Using Classification Methods to Evaluate Attribute Disclosure Risk / Jordi Nin ; Javier Herranz
A Misleading Attack against Semi-supervised Learning for Intrusion Detection / Fangzhou Zhu ; Jun Long ; Wentao Zhao ; Zhiping Cai
Author Index
Invited Papers
Relationships between Qualitative and Quantitative Scales for Aggregation Operations: The Example of Sugeno Integrals / Didier Dubois
User Privacy in Web Search / Josep Domingo-Ferrer
98.

電子ブック

EB
Michael May, Takeo Kanade, Lorenza Saitta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
99.

電子ブック

EB
Philipp Cimiano, Takeo Kanade, H. Sofia Pinto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Engineering: Alignment and Identity
Pattern-Based Mapping Refinement / Fayçal Hamdi ; Chantal Reynaud ; Brigitte Safar
Practical Considerations on Identity for Instance Management in Ontological Investigation / Kouji Kozaki ; Satoshi Endo ; Riichiro Mizoguchi
Knowledge Acquisition
Involving Business Users in Formal Modeling Using Natural Language Pattern Sentences / Jeroen van Grondelle ; Ronald Heller ; Emiel van Haandel ; Tim Verburg
Knowledge Acquisition from Sources of Law in Public Administration / Alexander Boer ; Tom van Engers
Enriching the Gene Ontology via the Dissection of Labels Using the Ontology Pre-processor Language / Jesualdo Tomas Fernandez-Breis ; Luigi Iannone ; Ignazio Palmisano ; Alan L. Rector ; Robert Stevens
Collaboration in Knowledge Engineering
Ontology Development for the Masses: Creating ICD-11 in WebProtégé / Tania Tudorache ; Sean Falconer ; Natalya F. Noy ; Csongor Nyulas ; Tevfik Bedirhan Üstün ; Margaret-Anne Storey ; Mark A. Musen
RDFauthor: Employing RDFa for Collaborative Knowledge Engineering / Sebastian Tramp ; Norman Heino ; Sören Auer ; Philipp Frischmuth
Knowledge Engineering: Patterns
Pattern-Based Ontology Transformation Service Exploiting OPPL and OWL-API / Ondrej Šváb-Zamazal ; Vojtech Svátek
Experimenting with eXtreme Design / Eva Blomqvist ; Valentina Presutti ; Enrico Daga ; Aldo Gangemi
Social Aspects and Tagging
Weaving a Social Data Web with Semantic Pingback / Timofey Ermilov
Social People-Tagging vs. Social Bookmark-Tagging / Peyman Nasirifard ; Sheila Kinsella ; Krystian Samp ; Stefan Decker
FOLCOMor the Costs of Tagging / Elena Simperl ; Tobias Bürger ; Christian Hofer
Semantic Web, Web of Data and Linked Data
Epiphany: Adaptable RDFa Generation Linking the Web of Documents to the Web of Data / Benjamin Adrian ; Jörn Hees ; Ivan Herman ; Michael Sintek ; Andreas Dengel
Scaling Up Question-Answering to Linked Data / Vanessa Lopez ; Andriy Nikolov ; Marta Sabou ; Victoria Uren ; Enrico Motta ; Mathieu d'Aquin
Ontology Evolution / Refinement
Using Semantic Web Resources for Data Quality Management / Christian Fürber ; Martin Hepp
Using Ontological Contexts to Assess the Relevance of Statements in Ontology Evolution / Fouad Zablith
What Is Concept Drift and How to Measure It? / Shenghui Wang ; Stefan Schlobach ; Michel Klein
Knowledge Access
Mobile Cultural Heritage Guide: Location-Aware Semantic Search / Chris van Aart ; Bob Wielinga ; Willem Robert van Hage
Semantic Scout: Making Sense of Organizational Knowledge / Claudio Baldassarre ; Alfio Gliozzo ; Alberto Salvati ; Gianluca Troiani
Annotation, Retrieval and Natural Language Processing
Authoring Technical Documents for Effective Retrieval / Jonathan Butters ; Fabio Ciravegna
A Methodology towards Effective and Efficient Manual Document Annotation: Addressing Annotator Discrepancy and Annotation Quality / Ziqi Zhang ; Sam Chapman
Towards Better Ontological Support for Recognizing Textual Entailment / Andreas Wotzlaw
Short Papers
Making Sense of Design Patterns / Rinke Hoekstra ; Joost Breuker
Acquiring and Modelling Legal Knowledge Using Patterns: An Application for the Dutch Immigration and Naturalisation Service / Patries Kordelaar ; Freek van Teeseling ; Edwin Hoogland
A Model-Driven Approach for Using Templates in OWL Ontologies / Fernando Silva Parreiras ; Gerd Gröner ; Tobias Walter ; Steffen Staab
Specialization and Validation of Statecharts in OWL
Temporal Knowledge Acquisition and Modeling / Cyril Faucher ; Charles Teissèdre ; Jean-Yves Lafaye ; Frédéric Bertrand
Using Machine Learning to Support Continuous Ontology Development / Maryam Ramezani ; Hans Friedrich Witschel ; Simone Braun ; Valentin Zacharias
Handling Markup Overlaps Using OWL / Angela Di Iorio ; Silvio Peroni ; Fabio Vitali
Ontology Learning for Cost-Effective Large-Scale Semantic Annotation of Web Service Interfaces / Shahab Mokarizadeh ; Peep Küngas ; Mihhail Matskin
Towards Hybrid Reasoning for Verifying and Validating Multilevel Models / Nophadol Jekjantuk ; Jeff Z. Pan ; Edward Thomas
Representing, Proving and Sharing Trustworthiness of Web Resources Using Veracity / Grégoire Burel ; Amparo E. Cano ; Matthew Rowe ; Alfonso Sosa
Enhancing Content-Based Recommendation with the Task Model of Classification / Yiwen Wang ; Natalia Stash ; Lora Aroyo ; Guus Schreiber
Extending Open Rating Systems for Ontology Ranking and Reuse / Holger Lewen
HyperTwitter: Collaborative Knowledge Engineering via Twitter Messages
TagSorting: A Tagging Environment for Collaboratively Building Ontologies / Leyla Jael García-Castro ; Alexander García
QuiKey - An Efficient Semantic Command Line / Heiko Haller
Kali-ma: A Semantic Guide to Browsing and Accessing Functionalities in Plugin-Based Tools / Alessandro Adamou
Constructing Understandable Explanations for Semantic Search Results / Björn Forcher ; Thomas Roth-Berghofer
Ontology Engineering with Rough Concepts and Instances / C. Maria Keet
Building Large Lexicalized Ontologies from Text: A Use Case in Automatic Indexing of Biotechnology Patents / Claire Nédellec ; Wiktoria Golik ; Sophie Aubin ; Robert Bossy
ReBEC: A Method for Capturing Experience during Software Development Projects / Gerardo Matturro ; Andrés Silva
Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements / Laura Moss ; Derek Sleeman ; Malcolm Sim
Evaluations of User-Driven Ontology Summarization / Ning Li
A Visualization Service for the Semantic Web / Sean M. Falconer ; Chris Callendar
How Much Semantic Data on Small Devices?
A Semantic Approach for Learning Objects Repositories with Knowledge Reuse / Isabel Azevedo ; Rui Seiça ; Adela Ortiz ; Eurico Carrapatoso ; Carlos Vaz de Carvalho
Author Index
Knowledge Engineering: Alignment and Identity
Pattern-Based Mapping Refinement / Fayçal Hamdi ; Chantal Reynaud ; Brigitte Safar
Practical Considerations on Identity for Instance Management in Ontological Investigation / Kouji Kozaki ; Satoshi Endo ; Riichiro Mizoguchi
100.

電子ブック

EB
Zhihua Cai, Chengyu Hu, Takeo Kanade, Zhuo Kang, Yong Liu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ant Colony and Particle Swarm Optimization / Section I:
A Discrete PSO-Based Fault-Tolerant Topology Control Scheme in Wireless Sensor Networks / Bingyu You ; Guolong Chen ; Wenzhong Guo
Feature Selection Using Ant Colony Optimization for Text-Independent Speaker Verification System / Javad Sohafi-Bonab ; Mehdi Hosseinzadeh Aghdam
GPS Height Fitting Using Gene Expression Programming / Xuezhi Yue ; Zhijian Wu ; Dazhi Jiang ; Kangshun Li
Parameter Evolution for a Particle Swarm Optimization Algorithm / Aimin Zhou ; Guixu Zhang ; Andreas Konstantinidis
The Ant Colony Optimization Algorithm for Multiobjective Optimization Non-compensation Model Problem Staff Selection / Ryszard Tadeusiewicz ; Arkadiusz Lewicki
Differential Evolution / Section II:
A New Self-adaption Differential Evolution Algorithm Based Component Model / Shen Li ; Yuanxiang Li
A Novel Interpolation Method Based on Differential Evolution-Simplex Algorithm Optimized Parameters for Support Vector Regression / Dongmei Zhang ; Wei Liu ; Xue Xu ; Qiao Deng
A Variant of Differential Evolution Based on Permutation Regulation Mechanism / Hui Wang
Differential Evolution Based Band Selection in Hyperspectral Data Classification / Xiaobo Liu ; Chao Yu ; Zhihua Cai
Diversity Analysis of Opposition-Based Differential Evolution-An Experimental Study / Shahryar Rahnamayan ; Jing Wang
Hybrid Differential Evolution Algorithm with Chaos and Generalized Opposition-Based Learning
Self-adapting Differential Evolution Algorithm with Chaos Random for Global Numerical Optimization / Ming Yang ; Jing Guan ; Lu Wang
Section III: Distributed Computing
A Concurrent-Hybrid Evolutionary Algorithms with Multi-child Differential Evolution and Guotao Algorithm Based on Cultural Algorithm Framework / Xia Li ; Kunqi Liu ; Lixiao Ma ; Huanzhe Li
A Hierarchical Distributed Evolutionary Algorithm to TSP / Chengjun Li ; Guangfu Sun ; Songhu Liu
A New Distributed Node Localization Scheme Using a Mobile Beacon / Sheng Xiao ; Changfeng Xing ; Zhangsong Shi
A Novel Multi-Population Genetic Algorithm for Multiple-Choice Multidimensional Knapsack Problems / Qian Zhou ; Wenjian Luo
Comparative Analysis for k-Means Algorithms in Network Community Detection / Jian Liu
Framework for Distributed Evolutionary Algorithms in Computational Grids / Steffen Limmer ; Dietmar Fey
Genetic Algorithms / Section IV:
A Review of Tournament Selection in Genetic Programming / Yongsheng Fang ; Jun Li
Genetic Algorithm for Mixed Chinese Postman Problem / Hua Jiang ; Lishan Kang ; Shuqi Zhang ; Fei Zhu
Hybrid Evolutionary Algorithms Design Based on Their Advantages / Guangming Lin ; Sundong Liu ; Fei Tang ; Huijie Wang
Hybridiz Optimization Genetic Algorithm for QOS-Based Multicast Routing Problem / Yunliang Chen ; Jianzhong Huang ; Changsheng Xie
Retroviral Iterative Genetic Algorithm for Real Parameter Function Optimization Problems / Renato Simões Moreira ; Glauber Duarte Monteiro ; Otávio Noura Teixeira ; átila Siqueira Soares ; Roberto Célio Limão de Oliveira
The RM-MEDA Based on Elitist Strategy / Li Mo ; Guangming Dai ; Jiankai Zhu
Multi-agent Systems / Section V:
A Proactive Perception Model in Agent-Based Software Integration and Evolution / Qingshan Li ; Chengguang Zhao ; Haishun Yun ; Lili Guo
Algorithmic Trading Strategy Optimization Based on Mutual Information Entropy Based Clustering / Feng Wang ; Keren Dong ; Xiaotie Deng
An Improved Similarity Algorithm Based on Hesitation Degree for User-Based Collaborative Filtering / Xiangwei Mu ; Yan Chen ; Jian Yang ; Jingjing Jiang
Intrusion Detection System Based on Support Vector Machine Active Learning and Data Fusion / Man Zhao ; Jing Zhai ; Zhouqian He
Long-Distant Pipeline Emergency Command Decision-Making System Based on Agent / Huagang He ; Man Yang ; Ling Qian
Sales Forecasting Based on ERP System through BP Neural Networks / Min Zhang ; Haifeng Zhang ; Yujuan Huang
Multi-objective and Dynamic Optimization / Section VI:
Capacity Allocation Policy of Third Party Warehousing with Dynamic Optimization / Chang Lin
Dynamical Multi-objective Optimization Using Evolutionary Algorithm for Engineering / Lingling Wang
Faster Convergence and Higher Hypervolume for Multi-objective Evolutionary Algorithms by Orthogonal and Uniform Design / Siwei Jiang
Multi-objective Fuzzy Clustering Method for Image Segmentation Based on Variable-Length Intelligent Optimization Algorithm / Yuanning Fang ; Ziyang Zhen ; Zhiqiu Huang ; Chao Zhang
Perspectives in Dynamic Optimization Evolutionary Algorithm / Zhiqiang Bu ; Bojin Zheng
Robot Intelligence / Section VII:
A Real Time Vision-Based Hand Gestures Recognition System / Lei Shi ; Yangsheng Wang ; Jituo Li
A Virtual Robot Arm Model with Force Feedback and Contact States Identification / Chengjun Chen ; Niu Li
Improving Reading Comprehension Using Knowledge Model / Yue Chen
Modular Robot Path Planning Using Genetic Algorithm Based on Gene Pool / Huaming Zhong ; Zhenhua Li ; Hao Zhang ; and Ni Li
Pathfinder Based on Simulated Annealing for Solving Placement and Routing Problem / Zhangyi Yu ; Sanyou Zeng ; Yan Guo ; Nannan Hu ; Liguo Song
Statistical Learning / Section VIII:
Application of Data Mining in Multi-Geological-Factor Analysis / Jing Chen ; Bian Bian
Applying an Artificial Neural Network to Building Reconstruction / Dong-Min Woo ; Dong-Chul Park ; Hai-Nguyen Ho
Fast Dimension Reduction Based on NMF / Pavel Krömer ; Jan Platoaš ; Václav Snášel
Frequent Words' Grammar Information in Chinese Chunking / Quan Qi ; Li Liu
Multilabel Classification Using Error Correction Codes / Abbas Z. Kouzani
Test-Cost Sensitive Classification Using Greedy Algorithm on Training Data / Chang Wan
System Design / Section IX:
3-D Magnetotelluric Adaptive Finite-Element Modeling / hangsheng Liu ; Yan Yu ; Zhengyong Ren ; Qi Wu
A Study on Modeling Evolutionary Antenna Based on ST-5 Antenna and NEC2 / Yuanyuan Fan ; Qingzhong Liang
A Synthesis of Four-Branch Microwave Antenna by Evolution Algorithm and Orthogonal Experiment / Jincui Guo ; Jinxin Zou ; Yincheng Wang ; Xiaojuan Zhao ; Liangjiang Yu
Band Structures of Multilayer Films with Randomness / Ping Li ; Zhuo Li ; Yong Liu
Fast Principal Component Analysis Based on Hardware Architecture of Generalized Hebbian Algorithm / Shiow-Jyu Lin ; Yi-Tsan Hung ; Wen-Jyi Hwang
The Data-Based Mathematical Modeling and Parameter Identification in JAK-STAT Signaling Pathway by Using a Hybrid Evolutionary Algorithm / Wei Zhang ; Xiufen Zou
The Research on the Intelligent Interpreter for ISO 14649 Programs / Yu Zhang ; Yongxian Liu ; Xiaolan Bai
Author Index
Ant Colony and Particle Swarm Optimization / Section I:
A Discrete PSO-Based Fault-Tolerant Topology Control Scheme in Wireless Sensor Networks / Bingyu You ; Guolong Chen ; Wenzhong Guo
Feature Selection Using Ant Colony Optimization for Text-Independent Speaker Verification System / Javad Sohafi-Bonab ; Mehdi Hosseinzadeh Aghdam
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼