close
1.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
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…
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…
13.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼