close
1.

電子ブック

EB
José Neves, José Manuel Machado, Manuel Filipe Santos, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems / Joao Leite ; Manoela Ilic
Application of Logic Wrappers to Hierarchical Data Extraction from HTML / Amelia Badica ; Costin Badica ; Elvira Popescu
Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems / J.R. Mendez ; F. Fdez-Riverola ; D. Glez-Pena ; F. Diaz ; J.M. Corchado
Godel and Computability / Luis Moniz Pereira
Prospective Logic Agents / Goncalo Lopes
An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers / Rui Leite ; Pavel Brazdil
Modelling Morality with Prospective Logic / Ari Saptawijaya
Change Detection in Learning Histograms from Data Streams / Raquel Sebastiao ; Joao Gama
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction / Helder Quintela ; Manuel Filipe Santos ; Paulo Cortez
Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering / Pedro Pereira Rodrigues
On the Use of Rough Sets for User Authentication Via Keystroke Dynamics / Kenneth Revett ; Sergio Tenreiro de Magalhaes ; Henrique M.D. Santos
The Halt Condition in Genetic Programming / Jose Neves ; Jose Machado ; Cesar Analide ; Antonio Abelha ; Luis Brito
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives / Gregory Wheeler
First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) / Chapter 2:
Nonlinear Models for Determining Mode Choice: Accuracy is not Always the Optimal Goal / Elke Moons ; Geert Wets ; Marc Aerts
Adaptation in Games with Many Co-evolving Agents / Ana L.C. Bazzan ; Franziska Klugl ; Kai Nagel
Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) / Chapter 3:
Symmetry at the Genotypic Level and the Simple Inversion Operator / Cristian Munteanu ; Agostinho Rosa
A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem / Nelishia Pillay ; Wolfgang Banzhaf
Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game / Carlos Grilo ; Luis Correia
Improving Evolutionary Algorithms with Scouting / Konstantinos Bousmalis ; Gillian M. Hayes ; Jeffrey O. Pfaffmann
Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms / Rui Mendes ; James Kennedy
Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization / Pradyumn Kumar Shukla
First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) / Chapter 4:
Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective / Carlos Ramos
Ubiquitous Ambient Intelligence in a Flight Decision Assistance System / Nuno Gomes ; Cristiano Pereira ; Francisco Nunes
Argumentation-Based Decision Making in Ambient Intelligence Environments / Goreti Marreiros ; Ricardo Santos ; Paulo Novais ; Jose Bula-Cruz
Intelligent Mixed Reality for the Creation of Ambient Assisted Living / Ricardo Costa ; Luis Lima ; Carlos Alberto
Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display / Victor Alves ; Filipe Marreiros ; Luis Nelas ; Mourylise Heymer
Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) / Chapter 5:
Partial and Dynamic Ontology Mapping Model in Dialogs of Agents / Ademir Roberto Freddo ; Robison Cris Brito ; Gustavo Gimenez-Lugo ; Cesar Augusto Tacla
Using Ontologies for Software Development Knowledge Reuse / Bruno Antunes ; Nuno Seco ; Paulo Gomes
First Workshop on Business Intelligence (BI 2007) / Chapter 6:
Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market / Virgilijus Sakalauskas ; Dalia Kriksciuniene
A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System / Jorge Loureiro ; Orlando Belo
Experiments for the Number of Clusters in K-Means / Mark Ming-Tso Chiang ; Boris Mirkin
A Network Algorithm to Discover Sequential Patterns / Luis Cavique
Adaptive Decision Support for Intensive Care / Pedro Gago ; Alvaro Silva
A Tool for Interactive Subgroup Discovery Using Distribution Rules / Joel P. Lucas ; Alipio M. Jorge ; Fernando Pereira ; Ana M. Pernas ; Amauri A. Machado
Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study / Carmen Rebelo ; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao
Resource-Bounded Fraud Detection / Luis Torgo
First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) / Chapter 7:
System Stability Via Stepping Optimal Control: Theory and Applications / Binhua Tang ; Li He ; Sushing Chen ; Bairong Shen
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains / Miguel Rocha ; Paulo Maia ; Jose P. Pinto ; Isabel Rocha ; Eugenio C. Ferreira
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT / Shulin Wang ; Huowang Chen ; Shutao Li ; Dingxing Zhang
Second Workshop on Intelligent Robotics (IROBOT 2007) / Chapter 8:
An Omnidirectional Vision System for Soccer Robots / Antonio J.R. Neves ; Gustavo A. Corrente ; Armando J. Pinho
Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks / Lutz Frommberger
Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation / Luiz A. Celiberto Jr. ; Jackson Matsuura ; Reinaldo A.C. Bianchi
Human Robot Interaction Based on Bayesian Analysis of Human Movements / Jorg Rett ; Jorge Dias
Understanding Dynamic Agent's Reasoning / Nuno Lau ; Luis Paulo Reis ; Joao Certo
Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) / Chapter 9:
Convergence of Independent Adaptive Learners / Francisco S. Melo ; Manuel C. Lopes
Multi-agent Learning: How to Interact to Improve Collective Results / Pedro Rafael ; Joao Pedro Neto
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization / Filipe Cruz ; Antonio Pereira ; Pedro Valente ; Pedro Duarte
Tax Compliance Through MABS: The Case of Indirect Taxes / Luis Antunes ; Joao Balsa ; Helder Coelho
First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) / Chapter 10:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection / Joao Marques-Silva ; Ines Lynce ; Ana Graca ; Arlindo L. Oliveira
GRASPER: A Framework for Graph Constraint Satisfaction Problems / Ruben Viegas ; Francisco Azevedo
Second Workshop on Text Mining and Applications (TEMA 2007) / Chapter 11:
Text Segmentation Using Context Overlap / Radim Rehurek
Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach / Rosa Del Gaudio ; Antonio Branco
N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus / Artur Silic ; Jean-Hugues Chauchat ; Bojana Dalbelo Basic ; Annie Morin
Detection of Strange and Wrong Automatic Part-of-Speech Tagging / Vitor Rocio ; Joaquim Silva ; Gabriel Lopes
New Techniques for Relevant Word Ranking and Extraction / Joao Ventura ; Joaquim Ferreira da Silva
Author Index
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
2.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
Characteristics / II:
Speaker Characteristics / Tanja Schultz
Foreign Accent / Ulrike Gut
Acoustic Analysis of Adult Speaker Age / Susanne Schotz
Speech Under Stress: Analysis, Modeling and Recognition / John H.L. Hansen ; Sanjay Patil
Speaker Characteristics and Emotion Classification / Anton Batliner ; Richard Huber
Emotions in Speech: Juristic Implications / Erik J. Eriksson ; Robert D. Rodman ; Robert C. Hubal
Applications / III:
Application of Speaker Classification in Human Machine Dialog Systems / Felix Burkhardt
Speaker Classification in Forensic Phonetics and Acoustics / Michael Jessen
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift" / Joaquin Gonzalez-Rodriguez ; Daniel Ramos
The Many Roles of Speaker Classification in Speaker Verification and Identification / Judith Markowitz
Methods and Features / IV:
Frame Based Features / Stefan Schacht ; Jacques Koreman ; Christoph Lauer ; Andrew Morris ; Dalei Wu ; Dietrich Klakow
Higher-Level Features in Speaker Recognition / Elizabeth Shriberg
Enhancing Speaker Discrimination at the Feature Level / Andrew C. Morris
Classification Methods for Speaker Recognition / D.E. Sturim ; W.M. Campbell ; D.A. Reynolds
Multi-stream Fusion for Speaker Classification / Izhak Shafran
Evaluation / V:
Evaluations of Automatic Speaker Classification Systems / Alvin F. Martin
An Introduction to Application-Independent Evaluation of Speaker Recognition Systems / David A. van Leeuwen ; Niko Brummer
Author Index
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
4.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
Real-Life Emotion Recognition in Speech / Laurence Devillers ; Laurence Vidrascu
Automatic Classification of Expressiveness in Speech: A Multi-corpus Study / Mohammad Shami ; Werner Verhelst
Acoustic Impact on Decoding of Semantic Emotion / Erik J. Eriksson ; Felix Schaeffler ; Kirk P.H. Sullivan
Emotion from Speakers to Listeners: Perception and Prosodic Characterization of Affective Speech / Catherine Mathon ; Sophie de Abreu
Effects of the Phonological Contents on Perceptual Speaker Identification / Kanae Amino ; Takayuki Arai ; Tsutomu Sugawara
Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification / Charl Johannes van Heerden ; Etienne Barnard
Language-Independent Speaker Classification over a Far-Field Microphone / Jerome R. Bellegarda
A Linear-Scaling Approach to Speaker Variability in Poly-segmental Formant Ensembles / Frantz Clermont
Sound Change and Speaker Identity: An Acoustic Study / Gea de Jong ; Kirsty McDougall ; Francis Nolan
Bayes-Optimal Estimation of GMM Parameters for Speaker Recognition / Guillermo Garcia ; Sung-Kyo Jung ; Thomas Eriksson
Speaker Individualities in Speech Spectral Envelopes and Fundamental Frequency Contours / Tatsuya Kitamura ; Masato Akagi
Speaker Segmentation for Air Traffic Control / Michael Neffe ; Tuan Van Pham ; Horst Hering ; Gernot Kubin
Detection of Speaker Characteristics Using Voice Imitation / Elisabeth Zetterholm
Reviewing Human Language Identification / Masahiko Komatsu
Underpinning/nailon/: Automatic Estimation of Pitch Range and Speaker Relative Pitch / Jens Edlund ; Mattias Heldner
Automatic Dialect Identification: A Study of British English / Emmanuel Ferragne ; Francois Pellegrino
ACCDIST: An Accent Similarity Metric for Accent Recognition and Diagnosis / Mark Huckvale
Selecting Representative Speakers for a Speech Database on the Basis of Heterogeneous Similarity Criteria / Sacha Krstulovic ; Frederic Bimbot ; Olivier Boeffard ; Delphine Charlet ; Dominique Fohr ; Odile Mella
Speaker Classification by Means of Orthographic and Broad Phonetic Transcriptions of Speech / Christophe Van Bael ; Hans van Halteren
Author Index
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
5.

電子ブック

EB
Khaled Mellouli, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック

EB
Václav MatouÅ¡ek, Václav Matoušek, Pavel Mautner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Language Modeling with Linguistic Cluster Constraints / Frederick Jelinek ; Jia Cui
Some of Our Best Friends Are Statisticians / Jan Hajic ; Eva Hajicova
Some Special Problems of Speech Communication / Heinrich Niemann
Recent Advances in Spoken Language Understanding / Renato De Mori
Text
Transformation-Based Tectogrammatical Dependency Analysis of English / Vaclav Klimes
Multilingual Name Disambiguation with Semantic Information / Zornitsa Kozareva ; Sonia Vazquez ; Andres Montoyo
Inducing Classes of Terms from Text / Pablo Gamallo ; Gabriel P. Lopes ; Alexandre Agustini
Accurate Unlexicalized Parsing for Modern Hebrew / Reut Tsarfaty ; Khalil Sima'an
Disambiguation of the Neuter Pronoun and Its Effect on Pronominal Coreference Resolution / Veronique Hoste ; Iris Hendrickx ; Walter Daelemans
Constructing a Large Scale Text Corpus Based on the Grid and Trustworthiness / Peifeng Li ; Qiaoming Zhu ; Peide Qian ; Geoffrey C. Fox
Disambiguating Hypernym Relations for Roget's Thesaurus / Alistair Kennedy ; Stanislaw Szpakowicz
Dependency and Phrasal Parsers of the Czech Language: A Comparison / Ales Horak ; Tomas Holan ; Vladimir Kadlec ; Vojtech Kovar
Automatic Word Clustering in Russian Texts / Olga Mitrofanova ; Anton Mukhin ; Polina Panicheva ; Vyacheslav Savitsky
Feature Engineering in Maximum Spanning Tree Dependency Parser / Vaclav Novak ; Zdenek Zabokrtsky
Automatic Selection of Heterogeneous Syntactic Features in Semantic Similarity of Polish Nouns / Maciej Piasecki ; Bartosz Broda
Bilingual News Clustering Using Named Entities and Fuzzy Similarity / Soto Montalvo ; Raquel Martinez ; Arantza Casillas ; Victor Fresno
Extractive Summarization of Broadcast News: Comparing Strategies for European Portuguese / Ricardo Ribeiro ; David Martins de Matos
On the Evaluation of Korean WordNet / Altangerel Chagnaa ; Ho-Seop Choe ; Cheol-Young Ock ; Hwa-Mook Yoon
An Adaptive Keyboard with Personalized Language-Based Features / Siska Fitrianie ; Leon J.M. Rothkrantz
An All-Path Parsing Algorithm for Constraint-Based Dependency Grammars of CF-Power / Tomasz Obrebski
Word Distribution Based Methods for Minimizing Segment Overlaps / Joe Vasak ; Fei Song
On the Relative Hardness of Clustering Corpora / David Pinto ; Paolo Rosso
Indexing and Retrieval Scheme for Content-Based Multimedia Applications / Martynov Dmitry ; Eugenij Bovbel
Automatic Diacritic Restoration for Resource-Scarce Languages / Guy De Pauw ; Peter W. Wagacha ; Gilles-Maurice de Schryver
Lexical and Perceptual Grounding of a Sound Ontology / Anna Lobanova ; Jennifer Spenader ; Bea Valkenier
Named Entities in Czech: Annotating Data and Developing NE Tagger / Magda Sevcikova ; Oldrich Kruza
Identifying Expressions of Emotion in Text / Saima Aman
ECAF: Authoring Language for Embodied Conversational Agents / Ladislav Kunc ; Jan Kleindienst
Speech
Dynamic Adaptation of Language Models in Speech Driven Information Retrieval / Cesar Gonzalez-Ferreras ; Valentin Cardenoso-Payo
Whitening-Based Feature Space Transformations in a Speech Impediment Therapy System / Andras Kocsor ; Robert Busa-Fekete ; Andras Banhalmi
Spanish-Basque Parallel Corpus Structure: Linguistic Annotations and Translation Units / A. Casillas ; A. Diaz de Illarraza ; J. Igartua ; R. Martinez ; K. Sarasola ; A. Sologaistoa
An Automatic Version of the Post-Laryngectomy Telephone Test / Tino Haderlein ; Korbinian Riedhammer ; Andreas Maier ; Elmar Noth ; Hikmet Toy ; Frank Rosanowski
Speaker Normalization Via Springy Discriminant Analysis and Pitch Estimation / Denes Paczolay
A Study on Speech with Manifest Emotions / Horia-Nicolai Teodorescu ; Silvia Monica Feraru
Speech Recognition Supported by Prosodic Information for Fixed Stress Languages / Gyorgy Szaszak ; Klara Vicsi
TRAP-Based Techniques for Recognition of Noisy Speech / Frantisek Grezl ; Jan Cernocky
Intelligibility Is More Than a Single Word: Quantification of Speech Intelligibility by ASR and Prosody / Maria Schuster ; Emeka Nkenke
Appositions Versus Double Subject Sentences - What Information the Speech Analysis Brings to a Grammar Debate / Diana Trandabat
Automatic Evaluation of Pathologic Speech - from Research to Routine Clinical Use
The LIA Speech Recognition System: From 10xRT to 1xRT / G. Linares ; P. Nocera ; D. Massonie ; D. Matrouf
Logic-Based Rhetorical Structuring for Natural Language Generation in Human-Computer Dialogue / Vladimir Popescu ; Jean Caelen ; Corneliu Burileanu
Text-Independent Speaker Identification Using Temporal Patterns / Tobias Bocklet
Recording and Annotation of Speech Corpus for Czech Unit Selection Speech Synthesis / Jindrich Matousek ; Jan Romportl
Sk-ToBI Scheme for Phonological Prosody Annotation in Slovak / Milan Rusko ; Robert Sabo ; Martin Dzur
Towards Automatic Transcription of Large Spoken Archives in Agglutinating Languages - Hungarian ASR for the MALACH Project / Peter Mihajlik ; Tibor Fegyo ; Bottyan Nemeth ; Zoltan Tuske ; Viktor Tron
Non-uniform Speech/Audio Coding Exploiting Predictability of Temporal Evolution of Spectral Envelopes / Petr Motlicek ; Hynek Hermansky ; Sriram Ganapathy ; Harinath Garudadri
Filled Pauses in Speech Synthesis: Towards Conversational Speech / Jordi Adell ; Antonio Bonafonte ; David Escudero
Exploratory Analysis of Word Use and Sentence Length in the Spoken Dutch Corpus / Pascal Wiggers
Design of Tandem Architecture Using Segmental Trend Features / Young-Sun Yun ; Yunkeun Lee
An Automatic Retraining Method for Speaker Independent Hidden Markov Models
User Modeling to Support the Development of an Auditory Help System / Flaithri Neff ; Aidan Kehoe ; Ian Pitt
Fast Discriminant Training of Semi-continuous HMM / C. Levy
Speech/Music Discrimination Using Mel-Cepstrum Modulation Energy / Bong-Wan Kim ; Dae-Lim Choi ; Yong-Ju Lee
Parameterization of the Input in Training the HVS Semantic Parser / Jan Svec ; Filip Jurcicek ; Ludek Muller
A Comparison Using Different Speech Parameters in the Automatic Emotion Recognition Using Feature Subset Selection Based on Evolutionary Algorithms / Aitor Alvarez ; Idoia Cearreta ; Juan Miguel Lopez ; Andoni Arruti ; Elena Lazkano ; Basilio Sierra ; Nestor Garay
Benefit of Maximum Likelihood Linear Transform (MLLT) Used at Different Levels of Covariance Matrices Clustering in ASR Systems / Josef V. Psutka
Information Retrieval Test Collection for Searching Spontaneous Czech Speech / Pavel Ircing ; Pavel Pecina ; Douglas W. Oard ; Jianqiang Wang ; Ryen W. White ; Jan Hoidekr
Inter-speaker Synchronization in Audiovisual Database for Lip-Readable Speech to Animation Conversion / Gergely Feldhoffer ; Balazs Oroszi ; Gyorgy Takacs ; Attila Tihanyi ; Tamas Bardi
Constructing Empirical Models for Automatic Dialog Parameterization / Mikhail Alexandrov ; Xavier Blanco ; Natalia Ponomareva
The Effect of Lexicon Composition in Pronunciation by Analogy / Tasanawan Soonklang ; R.I. Damper ; Yannick Marchand
Festival-si: A Sinhala Text-to-Speech System / Ruvan Weerasinghe ; Asanka Wasala ; Viraj Welgama ; Kumudu Gamage
Voice Conversion Based on Probabilistic Parameter Transformation and Extended Inter-speaker Residual Prediction / Zdenek Hanzlicek
Automatic Czech - Sign Speech Translation / Jakub Kanis
Maximum Likelihood and Maximum Mutual Information Training in Gender and Age Recognition System / Valiantsina Hubeika ; Igor Szoke ; Lukas Burget
Pitch Marks at Peaks or Valleys? / Milan Legat ; Daniel Tihelka
Quality Deterioration Factors in Unit Selection Speech Synthesis / Jiri Kala
Topic-Focus Articulation Algorithm on the Syntax-Prosody Interface of Romanian / Neculai Curteanu ; Mihai Alex Moruz
Translation and Conversion for Czech Sign Speech Synthesis / Zdenek Krnoul ; Milos Zelezny
Dialog
A Wizard-of-Oz System Evaluation Study / Melita Hajdinjak ; France Mihelic
New Measures for Open-Domain Question Answering Evaluation Within a Time Constraint / Elisa Noguera ; Fernando Llopis ; Antonio Ferrandez ; Alberto Escapa
A Methodology for Domain Dialogue Engineering with the Midiki Dialogue Manager / Lucio M.M. Quintal ; Paulo N.M. Sampaio
The Intonational Realization of Requests in Polish Task-Oriented Dialogues / Maciej Karpinski
Analysis of Changes in Dialogue Rhythm Due to Dialogue Acts in Task-Oriented Dialogues / Noriki Fujiwara ; Toshihiko Itoh ; Kenji Araki
Recognition and Understanding Simulation for a Spoken Dialog Corpus Acquisition / F. Garcia ; L.F. Hurtado ; D. Griol ; M. Castro ; E. Segarra ; E. Sanchis
First Approach in the Development of Multimedia Information Retrieval Resources for the Basque Context / N. Barroso ; A. Ezeiza ; N. Gilisagasti ; K. Lopez de Ipina ; A. Lopez ; J.M. Lopez
The Weakest Link / Harry Bunt ; Roser Morante
A Spoken Dialog System for Chat-Like Conversations Considering Response Timing / Ryota Nishimura ; Norihide Kitaoka ; Seiichi Nakagawa
Digitisation and Automatic Alignment of the DIALOG Corpus: A Prosodically Annotated Corpus of Czech Television Debates / Nino Peterek ; Petr Kaderka ; Zdenka Svobodova ; Eva Havlova ; Martin Havlik ; Jana Klimova ; Patricie Kubackova
Setting Layout in Dialogue Generating Web Pages / Ludek Bartek ; Ivan Kopecek ; Radek Oslejsek
Graph-Based Answer Fusion in Multilingual Question Answering / Rita M. Aceves-Perez ; Manuel Montes-y-Gomez ; Luis Villasenor-Pineda
Using Query-Relevant Documents Pairs for Cross-Lingual Information Retrieval / Alfons Juan
Detection of Dialogue Acts Using Perplexity-Based Word Clustering / Iosif Mporas ; Dimitrios P. Lyras ; Kyriakos N. Sgarbas ; Nikos Fakotakis
Dialogue Management for Intelligent TV Based on Statistical Learning Method / Hyo-Jung Oh ; Chung-Hee Lee ; Yi-Gyu Hwang ; Myung-Gil Jang
Multiple-Taxonomy Question Classification for Category Search on Faceted Information / David Tomas ; Jose L. Vicedo
Author Index
Invited Talks
Language Modeling with Linguistic Cluster Constraints / Frederick Jelinek ; Jia Cui
Some of Our Best Friends Are Statisticians / Jan Hajic ; Eva Hajicova
7.

電子ブック

EB
Manuel Kauers, Manfred Kerber, Robert Miner, Jörg Siekmann, Wolfgang Windsteiger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
Context Aware Calculation and Deduction / Amine Chaieb ; Makarius Wenzel
Towards Constructive Homological Algebra in Type Theory / Thierry Coquand and Arnaud Spiwack
What Might "Understand a Function" Mean? / James H. Davenport
Biform Theories in Chiron
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic / Predrag Janicic ; Alan Bundy
Certified Computer Algebra on Top of an Interactive Theorem Prover / Cezary Kaliszyk ; Freek Wiedijk
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators / Elena Kartashova ; Scott McCallum
Rule-Based Simplification in Vector-Product Spaces / Songxin Liang ; David J. Jeffrey
Contributions to MKM 2007
Mathematics and Scientific Markup / Peter Murray Rust
The On-Line Encyclopedia of Integer Sequences / Neil J.A. Sloane
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems / Miguel A. Abanades ; Jesus Escribano ; Francisco Botana
Higher Order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case / Andrea Asperti ; Enrico Tassi
A Framework for Interactive Proof / David Aspinall ; Christoph Luth ; Daniel Winterstein
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems / Serge Autexier ; Armin Fiedler ; Thomas Neumann ; Marc Wagner
Mizar Course in Logic and Set Theory / Ewa Borak ; Anna Zalewska
Using Formal Concept Analysis in Mathematical Discovery / Simon Colton ; Daniel Wagner
Cooperative Repositories for Formal Proofs / Pierre Corbineau
Revisions as an Essential Tool to Maintain Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
The Layers of Logiweb / Klaus Grue
Formal Representation of Mathematics in a Dependently Typed Set Theory / Feryal Fulya Horozal ; Chad E. Brown
Restoring Natural Language as a Computerised Mathematics Input Method / Fairouz Kamareddine ; Robert Lamar ; Manuel Maarek ; J.B. Wells
Narrative Structure of Mathematical Texts / Krzysztof Retel
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch / Andrea Kohlhase ; Michael Kohlhase
Alternative Aggregates in Mizar / Gilbert Lee ; Piotr Rudnicki
An Approach to Mathematical Search Through Query Formulation and Data Normalization / Robert Miner ; Rajesh Munavalli
Extended Formula Normalization for [epsilon]-Retrieval and Sharing of Mathematical Knowledge / Immanuel Normann
Towards Mathematical Knowledge Management for Electrical Engineering / Agnieszka Rowinska-Schwarzweller
Spurious Disambiguation Error Detection / Claudio Sacerdoti Coen ; Stefano Zacchiroli
Methods of Relevance Ranking and Hit-Content Generation in Math Search / Abdou S. Youssef
Author Index
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
8.

電子ブック

EB
Malte Helmert, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
Worst-Case Evaluation / 1.1.1:
Average-Case Evaluation / 1.1.2:
Planning Benchmarks Are Important / 1.2:
Theoretical Analyses of Planning Benchmarks / 1.3:
Why Theoretical Analyses Are Useful / 1.3.1:
Published Results on Benchmark Complexity / 1.3.2:
Standard Benchmarks / 1.4:
Summary and Overview / 1.5:
Defining Planning Domains / 2:
Optimization Problems / 2.1:
Minimization Problems / 2.1.1:
Approximation Algorithms / 2.1.2:
Approximation Classes / 2.1.3:
Reductions / 2.1.4:
Formalizing Planning Domains / 2.2:
General Results and Reductions / 2.3:
Upper Bounds / 2.3.1:
Shortest Plan Length / 2.3.2:
Approximation Classes of Limited Interest / 2.3.3:
Relating Planning and (Bounded) Plan Existence / 2.3.4:
Generalization and Specialization / 2.3.5:
The Benchmark Suite / 3:
Defining the Competition Domains / 3.1:
IPC1 Domains / 3.2:
IPC2 Domains / 3.2.2:
IPC3 Domains / 3.2.3:
IPC4 Domains / 3.2.4:
Domains and Domain Families / 3.3:
Transportation and Route Planning / 4:
Transport and Route / 4.1:
The Transport Domain / 4.1.1:
The Route Domain / 4.1.2:
Special Cases and Hierarchy / 4.1.3:
General Results / 4.2:
Plan Existence / 4.3:
Hardness of Optimization / 4.4:
Constant Factor Approximation / 4.5:
Hardness of Constant Factor Approximation / 4.6:
Summary / 4.7:
Beyond Transport and Route / 4.8:
IPC Domains: Transportation and Route Planning / 5:
Gripper / 5.1:
Mystery and Mystery Prime / 5.2:
Logistics / 5.3:
Zenotravel / 5.4:
Depots / 5.5:
Miconic-10 / 5.6:
Rovers / 5.7:
Grid / 5.8:
Driverlog / 5.9:
Airport / 5.10:
IPC Domains: Others / 5.11:
Assembly / 6.1:
Blocksworld / 6.2:
Freecell / 6.3:
Movie / 6.4:
Pipesworld / 6.5:
Promela / 6.6:
PSR / 6.7:
Satellite / 6.8:
Schedule / 6.9:
Conclusions / 6.10:
Ten Conclusions / 7.1:
Going Further / 7.2:
Fast Downward / Part II:
Solving Planning Tasks Hierarchically / 8:
Introduction / 8.1:
Related Work / 8.2:
Causal Graphs and Abstraction / 8.2.1:
Causal Graphs and Unary STRIPS Operators / 8.2.2:
Multi-Valued Planning Tasks / 8.2.3:
Architecture and Overview / 8.3:
Translation / 9:
PDDL and Multi-valued Planning Tasks / 9.1:
Translation Overview / 9.2:
Normalization / 9.3:
Compiling Away Types / 9.3.1:
Simplifying Conditions / 9.3.2:
Simplifying Effects / 9.3.3:
Normalization Result / 9.3.4:
Invariant Synthesis / 9.4:
Initial Candidates / 9.4.1:
Proving Invariance / 9.4.2:
Refining Failed Candidates / 9.4.3:
Examples / 9.4.4:
Grounding / 9.4.5:
Overview of Horn Exploration / 9.5.1:
Generating the Logic Program / 9.5.2:
Translating the Logic Program to Normal Form / 9.5.3:
Computing the Canonical Model / 9.5.4:
Axiom and Operator Instantiation / 9.5.5:
Multi-valued Planning Task Generation / 9.6:
Variable Selection / 9.6.1:
Converting the Initial State / 9.6.2:
Converting Operator Effects / 9.6.3:
Converting Conditions / 9.6.4:
Computing Axiom Layers / 9.6.5:
Generating the Output / 9.6.6:
Performance Notes / 9.7:
Relative Performance Compared to MIPS Translator / 9.7.1:
Absolute Performance / 9.7.2:
Knowledge Compilation / 10:
Overview / 10.1:
Domain Transition Graphs / 10.2:
Causal Graphs / 10.3:
Acyclic Causal Graphs / 10.3.1:
Generating and Pruning Causal Graphs / 10.3.2:
Causal Graph Examples / 10.3.3:
Successor Generators and Axiom Evaluators / 10.4:
Successor Generators / 10.4.1:
Axiom Evaluators / 10.4.2:
Search / 11:
The Causal Graph Heuristic / 11.1:
Conceptual View of the Causal Graph Heurstic / 11.2.1:
Computation of the Causal Graph Heuristic / 11.2.2:
States with Infinite Heuristic Value / 11.2.3:
Helpful Transitions / 11.2.4:
The FF Heuristic / 11.3:
Greedy Best-First Search in Fast Downward / 11.4:
Preferred Operators / 11.4.1:
Deferred Heuristic Evaluation / 11.4.2:
Multi-heuristic Best-First Search / 11.5:
Focused Iterative-Broadening Search / 11.6:
Experiments / 12:
Experiment Design / 12.1:
Benchmark Set / 12.1.1:
Experiment Setup / 12.1.2:
Translation and Knowledge Compilation vs. Search / 12.1.3:
Strips Domains from IPC1-3 / 12.2:
ADL Domains from IPC1-3 / 12.3:
Domains from IPC4 / 12.4:
Conclusions from the Experiment / 12.5:
Discussion / 13:
Major Contributors / 13.1:
Multi-valued Representations / 13.2.1:
Task Decomposition Heuristics / 13.2.2:
Minor Contributions / 13.3:
References / 13.4:
Index
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
9.

電子ブック

EB
Anna Esposito, Marcos Faundez-Zanuy, Eric Keller, Maria Marinaro, European Cooperation in the Field of Scientific and Technical Research (Organization).
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
COST 2102: Cross-Modal Analysis of Verbal and Nonverbal Communication (CAVeNC) / Anna Esposito
Verbal and Nonverbal Coding Schema / I:
Annotation Schemes for Verbal and Non-verbal Communication: Some General Issues / Niels Ole Bernsen ; Laila Dybkjaer
Presenting in Style by Virtual Humans / Zsofia Ruttkay
Analysis of Nonverbal Involvement in Dyadic Interactions / Uwe Altmann ; Rico Hermkes ; Lutz-Michael Alisch
Emotional Expressions / II:
Children's Perception of Musical Emotional Expressions / Manuela Serio
Emotional Style Conversion in the TTS System with Cepstral Description / Jiri Pribil ; Anna Pribilova
Meaningful Parameters in Emotion Characterisation / Eva Navas ; Inmaculada Hernaez ; Iker Luengo ; Inaki Sainz ; Ibon Saratxaga ; Jon Sanchez
Gestural Expressions / III:
Prosodic and Gestural Expression of Interactional Agreement / Eric Keller ; Wolfgang Tschacher
Gesture, Prosody and Lexicon in Task-Oriented Dialogues: Multimedia Corpus Recording and Labelling / Ewa Jarmolowicz ; Maciej Karpinski ; Zofia Malisz ; Michal Szczyszek
Egyptian Grunts and Transportation Gestures / Aly N. El-Bahrawy
Analysis and Algorithms for Verbal and Nonverbal Speech / IV:
On the Use of NonVerbal Speech Sounds in Human Communication / Nick Campbell
Speech Spectrum Envelope Modeling / Robert Vich ; Martin Vondra
Using Prosody in Fixed Stress Languages for Improvement of Speech Recognition / Gyorgy Szaszak ; Klara Vicsi
Single-Channel Noise Suppression by Wavelets in Spectral Domain / Zdenek Smekal ; Petr Sysel
Voice Source Change During Fundamental Frequency Variation / Peter J. Murphy
A Gesture-Based Concept for Speech Movement Control in Articulatory Speech Synthesis / Bernd J. Kroger ; Peter Birkholz
A Novel Psychoacoustically Motivated Multichannel Speech Enhancement System / Amir Hussain ; Simone Cifani ; Stefano Squartini ; Francesco Piazza ; Tariq Durrani
Analysis of Verbal and Nonverbal Acoustic Signals with the Dresden UASR System / Rudiger Hoffmann ; Matthias Eichner ; Matthias Wolff
Machine Multimodal Interaction / V:
VideoTRAN: A Translation Framework for Audiovisual Face-to-Face Conversations / Jerneja Zganec Gros
Spoken and Multimodal Communication Systems in Mobile Settings / Markku Turunen ; Jaakko Hakulinen
Multilingual Augmentative Alternative Communication System / Pantelis Makris
Analysis and Synthesis of Multimodal Verbal and Non-verbal Interaction for Animated Interface Agents / Jonas Beskow ; Bjorn Granstrom ; David House
Generating Nonverbal Signals for a Sensitive Artificial Listener / Dirk Heylen ; Anton Nijholt ; Mannes Poel
Low-Complexity Algorithms for Biometric Recognition / Marcos Faundez-Zanuy ; Virginia Espinosa-Duro ; Juan Antonio Ortega
Towards Mobile Multimodal Telecommunications Systems and Services / Matus Pelva ; Jan Papaj ; Anton Cizmar ; L'ubomir Dobos ; Jozef Juhar ; Stanislav Ondas ; Michal Mirilovic
Embodied Conversational Agents in Wizard-of-Oz and Multimodal Interaction Applications / Matej Rojc ; Tomaz Rotovnik ; Miso Brus ; Dusan Jan ; Zdravko Kacic
Telling Stories with a Synthetic Character: Understanding Inter-modalities Relations / Guilherme Raimundo ; Joao Cabral ; Celso Melo ; Luis C. Oliveira ; Ana Paiva ; Isabel Trancoso
Author Index
Introduction
COST 2102: Cross-Modal Analysis of Verbal and Nonverbal Communication (CAVeNC) / Anna Esposito
Verbal and Nonverbal Coding Schema / I:
10.

電子ブック

EB
Ning Zhong, Kuncheng Li, Jiming Liu, Shengfu Lu, Jinglong Wu, Yiyu Yao, Web Intelligence Consortium.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Web Intelligence Meets Brain Informatics / Ning Zhong ; Jiming Liu ; Yiyu Yao ; Jinglong Wu ; Shengfu Lu ; Yulin Qin ; Kuncheng Li ; Benjamin Wah
Neuroscience: New Insights for AI? / Tomaso Poggio
Network Thinking and Network Intelligence / Deyi Li ; Liping Xiao ; Yanni Han ; Guisheng Chen ; Kun Liu
Synergy of Web Intelligence and Brain Informatics
Web Intelligence Meets Brain Informatics at the Language Barrier: A Procrustean Bed? / Nick Cercone
Conversational Informatics Where Web Intelligence Meets Brain Informatics / Toyoaki Nishida
Intelligence for Upgrading Information / Setsuo Ohsuga
Toward Perception Based Computing: A Rough-Granular Perspective / Andrzej Jankowski ; Andrzej Skowron
Granular Computing: Modeling Human Thoughts in the Web by Polyhedron / Tsau Young (T.Y.) Lin ; Mong-Hang Vo
Cognitive Science, Neuroscience, and Brain Informatics
Biophysical Models of Neural Computation: Max and Tuning Circuits / Ulf Knoblich ; Jake Bouvrie
Cognitive Architectures and the Challenge of Cognitive Social Simulation / Ron Sun
ACT-R Meets fMRI / Daniel Bothell ; John R. Anderson
The Neural Mechanism of Human Numerical Inductive Reasoning Process: A Combined ERP and fMRI Study / Peipeng Liang ; Yanhui Yang
Central Nervous Processing for Acupuncture at Liv3 with fMRI: A Preliminary Experience / Wei Wang ; Baoci Shan ; Jianyang Xu ; Bin Yan ; Jing Hao ; Ke Li ; Na Lu
A Role for Signal Propagation Through the Hippocampal CA2 Field in Memory Formation / Yuko Sekino ; Tomoaki Shirao
Genetic Granular Cognitive Fuzzy Neural Networks and Human Brains for Pattern Recognition / Cui Lin ; Jun Li ; Natasha Barrett ; Yan-Qing Zhang ; David A. Washburn
Domain-Oriented Data-Driven Data Mining (3DM): Simulation of Human Knowledge Understanding / Guoyin Wang
An Ontology-Based Mining System for Competitive Intelligence in Neuroscience / Jiao Li ; Minlie Huang ; Xiaoyan Zhu
Web Intelligence Applications
Supervised Web Document Classification Using Discrete Transforms, Active Hypercontours and Expert Knowledge / P.S. Szczepaniak ; A. Tomczyk ; M. Pryczek
Fuzzy Web Surfer Models: Theory and Experiments / Narayan L. Bhamidipati ; Sankar K. Pal
Intuitive Display for Search Engines Toward Fast Detection of Peculiar WWW Pages / Einoshin Suzuki ; Shin Ando ; Masayuki Hirose ; Masatoshi Jumi
GridMiner: An Advanced Grid-Based Support for Brain Informatics Data Mining Tasks / Peter Brezany ; Ivan Janciak ; Jarmila Brezanyova ; A Min Tjoa
A Semantically Enabled Service Oriented Architecture / Darko Anicic ; Michael Brodie ; Jos de Bruijn ; Dieter Fensel ; Thomas Haselwanter ; Martin Hepp ; Stijn Heymans ; Jorg Hoffmann ; Mick Kerrigan ; Jacek Kopecky ; Reto Krummenacher ; Holger Lausen ; Adrian Mocan ; James Scicluna ; Ioan Toma ; Michal Zaremba
Spam Filtering and Email-Mediated Applications / Wenbin Li ; Y.Y. Yao ; Chunnian Liu
Ontology Based Web Mining for Information Gathering / Yuefeng Li
A Reasonable Rough Approximation for Clustering Web Users / Duoqian Miao ; Min Chen ; Zhihua Wei ; Qiguo Duan
E-Business Intelligence Via MCMP-Based Data Mining Methods / Yi Peng ; Yong Shi ; Xingsen Li ; Zhengxin Chen ; Gang Kou
Intelligence Metasynthesis in Building Business Intelligence Systems / Longbing Cao ; Chengqi Zhang ; Dan Luo ; Ruwei Dai
Risk Mining in Medicine: Application of Data Mining to Medical Risk Management / Shusaku Tsumoto ; Yuko Tsumoto ; Kimiko Matsuoka ; Shigeki Yokoyama
Using Cryptography for Privacy Protection in Data Mining Systems / Justin Zhan
Author Index
Introduction
Web Intelligence Meets Brain Informatics / Ning Zhong ; Jiming Liu ; Yiyu Yao ; Jinglong Wu ; Shengfu Lu ; Yulin Qin ; Kuncheng Li ; Benjamin Wah
Neuroscience: New Insights for AI? / Tomaso Poggio
11.

電子ブック

EB
Max Lungarella, Josh Bongard, Fumiya Iida, Rolf Pfeifer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Historical and Philosphical Issues
AI in the 21st Century - With Historical Reflections / Max Lungarella ; Fumiya Iida ; Josh C. Bongard ; Rolf Pfeifer
The Physical Symbol System Hypothesis: Status and Prospects / Nils J. Nilsson
Fifty Years of AI: From Symbols to Embodiment - and Back / Luc Steels
2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years / Jurgen Schmidhuber
Evolutionary Humanoid Robotics: Past, Present and Future / Malachy Eaton
Philosophical Foundations of AI / David Vernon ; Dermot Furlong
On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences / Tom Froese
Information Theory and Quantification
On the Information Theoretic Implications of Embodiment - Principles and Methods / Olaf Sporns ; Yasuo Kuniyoshi
Development Via Information Self-structuring of Sensorimotor Experience and Interaction / Chrystopher L. Nehaniv ; Naeem Assif Mirza ; Lars Olsson
How Information and Embodiment Shape Intelligent Information Processing / Daniel Polani
Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence / Fabio P. Bonsignorio
A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications / Roozbeh Daneshvar ; Abdolhossein Sadeghi Marascht ; Hossein Aminaiee ; Caro Lucas
Morphology and Dynamics
AI in Locomotion: Challenges and Perspectives of Underactuated Robots / Andre Seyfarth
On the Task Distribution Between Control and Mechanical Systems: A Case Study with an Amoeboid Modular Robot / Akio Ishiguro ; Masahiro Shimizu
Bacteria Integrated Swimming Microrobots / Bahareh Behkam ; Metin Sitti
Adaptive Multi-modal Sensors / Kyle I. Harrington ; Hava T. Siegelmann
Neurorobotics
What Can AI Get from Neuroscience? / Steve M. Potter
Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior / Martin Hulse ; Steffen Wischmann ; Poramate Manoonpong ; Arndt von Twickel ; Frank Pasemann
Adaptive Behavior Control with Self-regulating Neurons / Keyan Zahedi
Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence / Fattori Patrizia ; Breveglieri Rossella ; Marzocchi Nicoletta ; Maniadakis Michail ; Galletti Claudio
The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics / Alejandro Hernandez Arieta ; Ryu Kato ; Wenwei Yu ; Hiroshi Yokoi
Machine Intelligence, Cognition, and Natural Language Processing
Tests of Machine Intelligence / Shane Legg ; Marcus Hutter
A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots / Shrihari Vasudevan ; Stefan Gachter ; Ahad Harati ; Roland Siegwart
Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition / Giovanni Pezzulo
Computer-Supported Human-Human Multilingual Communication / Alex Waibel ; Keni Bernardin ; Matthias Wolfel
Human-Like Intelligence: Motivation, Emotions, and Consciousness
A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence / Kerstin Dautenhahn
Intrinsically Motivated Machines / Frederic Kaplan ; Pierre-Yves Oudeyer
Curious and Creative Machines / Hod Lipson
Applying Data Fusion in a Rational Decision Making with Emotional Regulation / Benjamin Fonooni ; Behzad Moshiri
How to Build Consciousness into a Robot: The Sensorimotor Approach / J. Kevin O'Regan
Robot Platforms
A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI / Ivo Boblan ; Rudolf Bannasch ; Andreas Schulz ; Hartmut Schwenk
The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition / Giulio Sandini ; Giorgio Metta
Intelligent Mobile Manipulators in Industrial Applications: Experience and Challenges / Hansruedi Fruh ; Philipp Keller ; Tino Perucchi
Art and AI
The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology / Adrianne Wortzel
Author Index
Historical and Philosphical Issues
AI in the 21st Century - With Historical Reflections / Max Lungarella ; Fumiya Iida ; Josh C. Bongard ; Rolf Pfeifer
The Physical Symbol System Hypothesis: Status and Prospects / Nils J. Nilsson
12.

電子ブック

EB
Karl Tuyls, Zahia Guessoum, Daniel Kudenko, Ann Nowe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
To Adapt or Not to Adapt - Consequences of Adapting Driver and Traffic Light Agents / Ana L.C. Bazzan ; Denise de Oliveira ; Franziska Klügl ; Kai Nagel
Optimal Control in Large Stochastic Multi-agent Systems / Bart van den Broek ; Wim Wiegerinck ; Bert Kappen
Continuous-State Reinforcement Learning with Fuzzy Approximation / Lucian Busoniu ; Damien Ernst ; Bart De Schutter ; Robert Babuśka
Using Evolutionary Game-Theory to Analyse the Performance of Trading Strategies in a Continuous Double Auction Market / Kai Cai ; Jinzhong Niu ; Simon Parsons
Parallel Reinforcement Learning with Linear Function Approximation / Matthew Grounds ; Daniel Kudenko
Combining Reinforcement Learning with Symbolic Planning
Agent Interactions and Implicit Trust in IPD Environments / Enda Howley ; Colm O'Riordan
Collaborative Learning with Logic-Based Models / Michal Jakob ; Jan To&zbreve;i&cbreve;ka ; Michal Pěchouček
Priority Awareness: Towards a Computational Model of Human Fairness for Multi-agent Systems / Steven de Jong ; Karl Tuyls ; Katja Verbeeck ; Nico Roos
Bifurcation Analysis of Reinforcement Learning Agents in the Selten's Horse Game / Alessandro Lazaric ; Enrique Munoz de Cote ; Fabio Dercole ; Marcello Restelli
Bee Behaviour in Multi-agent Systems: A Bee Foraging Algorithm / Nyree Lemmens ; Ann Nowe
Stable Cooperation in the N-Player Prisoner's Dilemma: The Importance of Community Structure / Humphrey Sorensen
Solving Multi-stage Games with Hierarchical Learning Automata That Bootstrap / Maarten Peeters ; Ann Nowé
Auctions, Evolution, and Multi-agent Learning / Steve Phelps ; Peter McBurney ; Elizabeth Sklar
Multi-agent Reinforcement Learning for Intrusion Detection / Arturo Servin
Networks of Learning Automata and Limiting Games / Peter Vrancx
Multi-agent Learning by Distributed Feature Extraction / Michael Wurst
Author Index
To Adapt or Not to Adapt - Consequences of Adapting Driver and Traffic Light Agents / Ana L.C. Bazzan ; Denise de Oliveira ; Franziska Klügl ; Kai Nagel
Optimal Control in Large Stochastic Multi-agent Systems / Bart van den Broek ; Wim Wiegerinck ; Bert Kappen
Continuous-State Reinforcement Learning with Fuzzy Approximation / Lucian Busoniu ; Damien Ernst ; Bart De Schutter ; Robert Babuśka
13.

電子ブック

EB
Changjie Tang, Nick J. Cercone, Xue Li, Charles X. Ling, Jörg Siekmann, Xiaofang Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Regular Papers
Improving Angle Based Mappings / Frank Rehm ; Frank Klawonn
Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks / Manolis Maragoudakis ; Nikolaos Cosmas ; Aristogiannis Garbis
Boosting over Groups and Its Application to Acronym-Expansion Extraction / Weijian Ni ; Yalou Huang ; Dong Li ; Yang Wang
A Genetic-Based Feature Construction Method for Data Summarisation / Rayner Alfred
Suicidal Risk Evaluation Using a Similarity-Based Classifier / S. Chattopadhyay ; P. Ray ; H.S. Chen ; M.B. Lee ; H.C. Chiang
Gene Selection for Cancer Classification Using DCA / Hoai An Le Thi ; Van Vinh Nguyen ; Samir Ouchani
FARS: A Multi-relational Feature and Relation Selection Approach for Efficient Classification / Bo Hu ; Hongyan Liu ; Jun He ; Xiaoyong Du
Enhancing Text Categorization Using Sentence Semantics / Shady Shehata ; Fakhri Karray ; Mohamed Kamel
Mining Evolving Web Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management / Jitian Xiao
Data Quality in Privacy Preservation for Associative Classification / Nattapon Harnsamut ; Juggapong Natwichai ; Xingzhi Sun ; Xue Li
Timeline Analysis of Web News Events / Jiangtao Qiu ; Chuan Li ; Shaojie Qiao ; Taiyong Li ; Jun Zhu
Analysis of Alarm Sequences in a Chemical Plant / Savo Kordic ; Peng Lam ; Huaizhong Li
Speed Up SVM Algorithm for Massive Classification Tasks / Thanh-Nghi Do ; Van-Hoa Nguyen ; Francois Poulet
Mining Supplemental Frequent Patterns / Yintian Liu ; Yingming Liu ; Tao Zeng ; Kaikuo Xu ; Rong Tang
A Distributed Privacy-Preserving Association Rules Mining Scheme Using Frequent-Pattern Tree / Chunhua Su ; Kouichi Sakurai
Dichotomy Method toward Interactive Testing-Based Fault Localization / Ji-Rong Sun ; Zhi-Shu Li ; Jian-Cheng Ni
Maintaining the Maximum Normalized Mean and Applications in Data Stream Mining / Jan Peter Patist
Identification of Interface Residues Involved in Protein-Protein Interactions Using Naive Bayes Classifier / Chishe Wang ; Jiaxing Cheng ; Shoubao Su ; Donzhe Xu
Negative Generator Border for Effective Pattern Maintenance / Mengling Feng ; Jinyan Li ; Limsoon Wong ; Yap-Peng Tan
CommTracker: A Core-Based Algorithm of Tracking Community Evolution / Yi Wang ; Bin Wu ; Xin Pei
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis / Wenxin Yang ; Shuqin Rao ; Jina Wang ; Jian Yin ; Jian Chen
A Novel Immune Based Approach for Detection of Windows PE Virus / Yu Zhang ; Tao Li ; Jia Sun ; Renchao Qin
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models / Ashish Sureka ; Kishore Varma Indukuri
Using Data Mining Methods to Predict Personally Identifiable Information in Emails / Liqiang Geng ; Larry Korba ; Xin Wang ; Yunli Wang ; Hongyu Liu ; Yonghua You
Iterative Reinforcement Cross-Domain Text Classification / Di Zhang ; Gui-Rong Xue ; Yong Yu
Extracting Decision Rules from Sigmoid Kernel / Quanzhong Liu ; Yang Zhang ; Zhengguo Hu
DMGrid: A Data Mining System Based on Grid Computing / Liutong Xu ; Guanhui Geng ; Xiangang Zhao ; Nan Du
S-SimRank: Combining Content and Link Information to Cluster Papers Effectively and Efficiently / Yuanzhe Cai ; Pei Li
Open Domain Recommendation: Social Networks and Collaborative Filtering / Sarah K. Tyler ; Yi Zhang
An Effective Approach for Identifying Evolving Three-Dimensional Structural Motifs in Protein Folding Data / Hui Yang ; Lin Han
Texture Image Retrieval Based on Contourlet Transform and active Perceptual Similarity Learning / Huaijing Qu ; Yuhua Peng ; Honglin Wan ; Min Han
A Temporal Dominant Relationship Analysis Method / Jing Yang ; Yuanxi Wu ; Cuiping Li ; Hong Chen ; Bo Qu
Leakage-Aware Energy Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds / XiaoChuan He ; Yan Jia
Short Papers
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters / JiaDong Zhang ; Kun Yue ; WeiYi Liu
TARtool: A Temporal Dataset Generator for Market Basket Analysis / Asem Omari ; Regina Langer ; Stefan Conrad
Dimensionality Reduction for Classification: Comparison of Techniques and Dimension Choice / Frank Plastria ; Steven De Bruyne ; Emilio Carrizosa
Trajectories Mining for Traffic Condition Renewing / Danhuai Guo
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications / Lian Yu ; Changzhu Kong ; Lei Xu ; Jingtao Zhao ; HuiHui Zhang
Test the Overall Significance of p-Values by Using Joint Tail Probability of Ordered p-Values as Test Statistic / Yongxiang Fang ; Ernst Wit
Mining Interesting Infrequent and Frequent Itemsets Based on MLMS Model / Xiangjun Dong ; Zhendong Niu ; Donghua Zhu ; Zhiyun Zheng ; Qiuting Jia
Text Learning and Hierarchical Feature Selection in Webpage Classification / Xiaogang Peng ; Zhong Ming ; Haitao Wang
The RSO Algorithm for Reducing Number of Set Operations in Association Rule Mining / Muhammad Sarwar ; Onaiza Maqbool
Predictive Performance of Clustered Feature-Weighting Case-Based Reasoning / Sung Ho Ha ; Jong Sik Jin ; Jeong Won Yang
Selecting the Right Features for Bipartite-Based Text Clustering / Chao Qu ; Yong Li ; Jie Zhang ; Tianming Hu ; Qian Chen
Image Emotional Classification Based on Color Semantic Description / Kaiping Wei ; Bin He ; Tao Zhang ; Wenya He
A Semi-supervised Clustering Algorithm Based on Must-Link Set / Haichao Huang ; Yong Cheng ; Ruilian Zhao
T-rotation: Multiple Publications of Privacy Preserving Data Sequence / Youdong Tao ; Yunhai Tong ; Shaohua Tan ; Shiwei Tang ; Dongqing Yang
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress / Jian-guo Zhou ; Tao Bai ; Ji-ming Tian
Outlier Detection Based on Voronoi Diagram / Jilin Qu
AWSum - Data Mining for Insight / Anthony Quinn ; Andrew Stranieri ; John Yearwood ; Gaudenz Hafen
Integrative Neural Network Approach for Protein Interaction Prediction from Heterogeneous Data / Xue-wen Chen ; Mei Liu ; Yong Hu
Rules Extraction Based on Data Summarisation Approach Using DARA
A Rough-Apriori Technique in Mining Linguistic Association Rules / Yun-Huoy Choo ; Azuraliza Abu Bakar ; Abdul Razak Hamdan
Mining Causal Knowledge from Diagnostic Knowledge / Xiangdong An ; Nick Cercone
Modified Particle Swarm Optimizer with Adaptive Dynamic Weights for Cancer Combinational Chemotherapy / Harish Chandra Soundararajan ; Jagannathan Raman ; R. Muthucumaraswamy
MPSQAR: Mining Quantitative Association Rules Preserving Semantics / Chunqiu Zeng ; Jie Zuo ; Shengqiao Ni ; Liang Tang ; Yue Zhang
Using Support Vector Regression for Classification / Bo Huang ; Zhihua Cai ; Qiong Gu ; Changjun Chen
Dynamic Growing Self-organizing Neural Network for Clustering / Daxin Tian ; Yueou Ren ; Qiuju Li
A Design of Reward Function Based on Knowledge in Multi-agent Learning / Bo Fan ; Jiexin Pu
A Learning Method of Detecting Anomalous Pedestrian / Yue Liu ; Jun Zhang ; Zhijing Liu
Moment+: Mining Closed Frequent Itemsets over Data Stream / Haifeng Li
CDPM: Finding and Evaluating Community Structure in Social Networks / Li Wan ; Jianxin Liao ; Xiaomin Zhu
Using Matrix Model to Find Association Rule Core for Diverse Compound Critiques / Li Yu
Link-Contexts for Ranking / Jessica Gronski
DC-Tree: An Algorithm for Skyline Query on Data Streams / Cui-Ping Li
Sequential Pattern Mining for Protein Function Prediction / Miao Wang ; Xue-qun Shang ; Zhan-huai Li
Improving Web Search by Categorization, Clustering, and Personalization / Dengya Zhu ; Heinz Dreher
JSNVA: A Java Straight-Line Drawing Framework for Network Visual Analysis / Qi Ye ; Bai Wang
Recognition of Data Records in Semi-structured Web-Pages Using Ontology and X[superscript 2] Statistical Distribution / Amin Keshavarzi ; Amir Masoud Rahmani ; Mehran Mohsenzadeh ; Reza Keshavarzi
Organizing Structured Deep Web by ClusteringQuery Interfaces Link Graph / Pengpeng Zhao ; Li Huang ; Wei Fang ; Zhiming Cui
CBP: A New Efficient Method for Mining Multilevel and Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage / Peter I. Hofgesang
A Comparative Study of Correlation Measurements for Searching Similar Tags / Yu Chen ; Yexi Jiang ; Jie Gong
Structure of Query Modification Process: Branchings / Nikolai Buzikashvili
Mining Top-n Local Outliers in Constrained Spatial Networks / Chongsheng Zhang ; Zhongbo Wu
Mining Concept-Drifting Data Streams with Multiple Semi-Random Decision Trees / Peipei Li ; Xuegang Hu ; Xindong Wu
Automatic Web Tagging and Person Tagging Using Language Models / Qiaozhu Mei
Real-Time Person Tracking Based on Data Field / Shuliang Wang ; Juebo Wu ; Feng Cheng ; Hong Jin
Author Index
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
14.

電子ブック

EB
Xue Li, Takeo Kanade, Zhan-huai Li, Zhanhuai Li, Osmar R. Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
Finding Time Series Discords Based on Haar Transform / Ada Wai-chee Fu ; Oscar Tat-Wing Leung ; Eamonn Keogh ; Jessica Lin
Learning with Local Drift Detection / Joao Gama ; Gladys Castillo
Association Rules
A Fast Algorithm for Maintenance of Association Rules in Incremental Databases / Xin Li ; Zhi-Hong Deng ; Shiwei Tang
Extending OLAP with Fuzziness for Effective Mining of Fuzzy Multidimensional Weighted Association Rules / Mehmet Kaya ; Reda Alhajj
Incremental Maintenance of Association Rules Based on Multiple Previously Mined Results / Zhuohua Duan ; Zixing Cai ; Yan Lv
Mining and Validation of Localized Frequent Web Access Patterns with Dynamic Tolerance / Olfa Nasraoui ; Suchandra Goswami
S A-IFIM: Incrementally Mining Frequent Itemsets in Update Distorted Databases / Jinlong Wang ; Congfu Xu ; Hongwei Dan ; Yunhe Pan
Study of Positive and Negative Association Rules Based on Multi-confidence and Chi-Squared Test / Xiangjun Dong ; Fengrong Sun ; Xiqing Han ; Ruilian Hou
Efficiently Mining Maximal Frequent Mutually Associated Patterns / Zhongmei Zhou ; Zhaohui Wu ; Chunshan Wang ; Yi Feng
Efficiently Mining Mutually and Positively Correlated Patterns
Classification
ComEn V prs: A Novel Approach for Inducing Decision Tree Classifiers / Shuqin Wang ; Jinmao Wei ; Junping You ; Dayou Liu
Towards a Rough Classification of Business Travelers / Rob Law ; Thomas Bauer ; Karin Weber ; Tony Tse
Feature Extraction Based on Optimal Discrimination Plane in ECG Signal Classification / Dingfei Ge ; Xiao Qu
Music Style Classification with a Novel Bayesian Model / Yatong Zhou ; Taiyi Zhang ; Jiancheng Sun
Classification of Polarimetric SAR Data Based on Multidimensional Watershed Clustering / Wen Yang ; Hao Wang ; Yongfeng Cao ; Haijian Zhang
An Effective Combination Based on Class-Wise Expertise of Diverse Classifiers for Predictive Toxicology Data Mining / Daniel Neagu ; Gongde Guo ; Shanshan Wang
Robust Collective Classification with Contextual Dependency Network Models / Yonghong Tian ; Tiejun Huang ; Wen Gao
User-Centered Image Semantics Classification / Hongli Xu ; De Xu ; Fangshi Wang
A Performance Study of Gaussian Kernel Classifiers for Data Mining Applications / Miyoung Shin
TTLSC - Transductive Total Least Square Model for Classification and Its Application in Medicine / Qun Song ; Tian Min Ma ; Nikola Kasabov
Forecasting Electricity Market Price Spikes Based on Bayesian Expert with Support Vector Machines / Wei Wu ; Jianzhong Zhou ; Li Mo ; Chengjun Zhu
Integrating Local One-Class Classifiers for Image Retrieval / Yiqing Tu ; Gang Li ; Honghua Dai
Incremental Discretization for Naive-Bayes Classifier / Jingli Lu ; Ying Yang ; Geoffrey I. Webb
Distance Guided Classification with Gene Expression Programming / Lei Duan ; Changjie Tang ; Tianqing Zhang ; Dagang Wei ; Huan Zhang
Research on Multi-valued and Multi-labeled Decision Trees / Hong Li ; Rui Zhao ; Jianer Chen ; Yao Xiang
Clustering
A Spatial Clustering Algorithm Based on SOFM / Zhong Qu ; Lian Wang
Mining Spatial-temporal Clusters from Geo-databases / Min Wang ; Aiping Wang ; Anbo Li
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data / Guojun Gan ; Jianhong Wu ; Zijiang Yang
Robust Music Information Retrieval on Mobile Network Based on Multi-Feature Clustering / Won-Jung Yoon ; Sanghun Oh ; Kyu-Sik Park
Joint Cluster Based Co-clustering for Clustering Ensembles / Tianming Hu ; Liping Liu ; Chao Qu ; Sam Yuan Sung
Mining Gait Pattern for Clinical Locomotion Diagnosis Based on Clustering Techniques / Guandong Xu ; Yanchun Zhang ; Rezaul Begg
Combining Multiple Clusterings Via k-Modes Algorithm / Huilan Luo ; Fansheng Kong ; Yixiao Li
HOV[superscript 3]: An Approach to Visual Cluster Analysis / Ke-Bing Zhang ; Mehmet A. Orgun ; Kang Zhang
A New Fuzzy Co-clustering Algorithm for Categorization of Datasets with Overlapping Clusters / William-Chandra Tjhi ; Lihui Chen
Quantum-Behaved Particle Swarm Optimization Clustering Algorithm / Jun Sun ; Wenbo Xu ; Bin Ye
Clustering Mixed Data Based on Evidence Accumulation
Mining Maximal Local Conserved Gene Clusters from Microarray Data / Yuhai Zhao ; Guoren Wang ; Ying Yin ; Guangyu Xu
Novel Algorithms
A Novel P2P Information Clustering and Retrieval Mechanism / Huaxiang Zhang ; Peide Liu
Keeping Track of Customer Life Cycle to Build Customer Relationship / Sung Ho Ha ; Sung Min Bae
Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets / Hesuan Hu ; Zhiwu Li ; Anrong Wang
Improved Genetic Algorithm for Multiple Sequence Alignment Using Segment Profiles (GASP) / Yanping Lv ; Shaozi Li ; Changle Zhou ; Wenzhong Guo ; Zhengming Xu
A Novel Visual Clustering Algorithm for Finding Community in Complex Network / Shuzhong Yang ; Siwei Luo ; Jianyu Li
Self-Organizing Network Evolving Model for Mining Network Community Structure / Bo Yang
An Interactive Visualization Environment for Data Exploration Using Points of Interest / David Da Costa ; Gilles Venturini
Forecasting the Volatility of Stock Price Index / Tae Hyup Roh
ExMiner: An Efficient Algorithm for Mining Top-K Frequent Patterns / Tran Minh Quang ; Shigeru Oyanagi ; Katsuhiro Yamazaki
Learning Bayesian Networks Structure with Continuous Variables / Shuang-Cheng Wang ; Xiao-Lin Li ; Hai-Yan Tang
A Unified Strategy of Feature Selection / Peng Liu ; Naijun Wu ; Jiaxian Zhu ; Junjie Yin ; Wei Zhang
Experimental Comparison of Feature Subset Selection Using GA and ACO Algorithm / Keunjoon Lee ; Jinu Joo ; Jihoon Yang ; Vasant Honavar
OMVD: An Optimization of MVD / Zhi He ; Shengfeng Tian ; Houkuan Huang
ZED: Explaining Temporal Variations in Query Volume / Maojin Jiang ; Shlomo Argamon ; Abdur Chowdhury ; Kush Sidhu
An Effective Multi-level Algorithm for Bisecting Graph / Ming Leng ; Songnian Yu
A New Polynomial Time Algorithm for Bayesian Network Structure Learning / Sanghack Lee ; Sungyong Park
Personalized Recommendation Based on Partial Similarity of Interests / Ming-Hua Yang ; Zhi-Min Gu
A Fast Implementation of the EM Algorithm for Mixture of Multinomials / Jan Peter Patist
A Novel Approach to Pattern Recognition Based on PCA-ANN in Spectroscopy / Xiaoli Li ; Yong He
Semi-supervised Dynamic Counter Propagation Network / Yao Chen ; Yuntao Qian
The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique / Guanghui Yan ; Zhanhuai Li ; Liu Yuan
Feature Selection for Complex Patterns / Peter Schenkel ; Wanqing Li ; Wanquan Liu
Naive Bayesian Tree Pruning by Local Accuracy Estimation / Zhipeng Xie
A New Visualization Method for Patent Map: Application to Ubiquitous Computing Technology / Jong Hwan Suh ; Sang Chan Park
Local Linear Logistic Discriminant Analysis with Partial Least Square Components / Jangsun Baek ; Young Sook Son
Activity Mining: Challenges and Prospects / Longbing Cao
Finding the Optimal Cardinality Value for Information Bottleneck Method / Dong Liu ; Yangdong Ye
A New Algorithm for Enumerating All Maximal Cliques in Complex Network / Li Wan ; Bin Wu ; Nan Du ; Qi Ye ; Ping Chen
Modeling and Mining the Rule Evolution / Ding Pan
Knowledge Reduction in Inconsistent Decision Tables / Qihe Liu ; Leiting Chen ; Jianzhong Zhang ; Fan Min
Text Mining
Semantic Scoring Based on Small-World Phenomenon for Feature Selection in Text Mining / Chong Huang
A Comparative Study on Text Clustering Methods / Yan Zheng ; Xiaochun Cheng ; Ronghuai Huang ; Yi Man
Concept Based Text Classification Using Labeled and Unlabeled Data / Ping Gu ; Qingsheng Zhu ; Xiping He
Learning Semantic User Profiles from Text / M. Degemmis ; P. Lops ; G. Semeraro
Multimedia Mining
Audiovisual Integration for Racquet Sports Video Retrieval / Yaqin Zhao ; Xianzhong Zhou ; Guizhong Tang
A Correlation Approach for Automatic Image Annotation / David R. Hardoon ; Craig Saunders ; Sandor Szedmak ; John Shawe-Taylor
Sequential Data Mining and Time Series Mining
Fast Discovery of Time-Constrained Sequential Patterns Using Time-Indexes / Ming-Yen Lin ; Sue-Chen Hsueh ; Chia-Wen Chang
Multi-dimensional Sequential Pattern Mining Based on Concept Lattice / Yang Jin ; Wanli Zuo
Mining Time-Delayed Coherent Patterns in Time Series Gene Expression Data / Linjun Yin ; Keming Mao
Mining Delay in Streaming Time Series of Industrial Process / Haijie Gu ; Gang Rong
Segmental Semi-Markov Model Based Online Series Pattern Detection Under Arbitrary Time Scaling / Guangjie Ling ; Sen Jia
Diagnosis of Inverter Faults in PMSM DTC Drive Using Time-Series Data Mining Technique / Dan Sun ; Jun Meng ; Zongyuan He
Applications of Data Mining Time Series to Power Systems Disturbance Analysis / Zhiyong Li
Mining Compressed Sequential Patterns / Lei Chang ; Dongqing Yang ; Tengjiao Wang
Effective Feature Preprocessing for Time Series Forecasting / Jun Hua Zhao ; Zhao Yang Dong ; Zhao Xu
On Similarity of Financial Data Series Based on Fractal Dimension / Jian-rong Hou ; Hui Zhao ; Pei Huang
Web Mining
A Hierarchical Model of Web Graph / Jie Han ; Yong Yu ; Chenxi Lin ; Dingyi Han ; Gui-Rong Xue
Web Scale Competitor Discovery Using Mutual Information / Rui Li ; Shenghua Bao ; Jin Wang ; Yuanjie Liu
Biomedical Mining
Co-expression Gene Discovery from Microarray for Integrative Systems Biology / Yutao Ma ; Yonghong Peng
Cardiovascular Disease Diagnosis Method by Emerging Patterns / Heon Gyu Lee ; Kiyong Noh ; Bum Ju Lee ; Ho-Sun Shon ; Keun Ho Ryu
DNA Microarray Data Clustering by Hidden Markov Models and Bayesian Information Criterion / Phasit Charoenkwan ; Aompilai Manorat ; Jeerayut Chaijaruwanich ; Sukon Prasitwattanaseree ; Sakarindr Bhumiratana
Application of Factor Analysis on Mycobacterium Tuberculosis Transcriptional Responses for Drug Clustering, Drug Target, and Pathway Detections / Jamlong Khamphachua ; Saradee Warit ; Prasit Palittapongarnpim
First Steps to an Audio Ontology-Based Classifier for Telemedicine / Cong Phuong Nguyen ; Ngoc Yen Pham ; Eric Castelli
Obstacles and Misunderstandings Facing Medical Data Mining / Ashkan Sami
SVM-Based Tumor Classification with Gene Expression Data / Shulin Wang ; Ji Wang ; Huowang Chen ; Boyun Zhang
GEPCLASS: A Classification Rule Discovery Tool Using Gene Expression Programming / Wagner R. Weinert ; Heitor S. Lopes
Advanced Applications
CBR-Based Knowledge Discovery on Results of Evolutionary Design of Logic Circuits / Shuguang Zhao ; Mingying Zhao ; Jin Li ; Change Wang
Data Summarization Approach to Relational Domain Learning Based on Frequent Pattern to Support the Development of Decision Making / Rayner Alfred ; Dimitar Kazakov
Extreme Value Dependence in Problems with a Changing Causation Structure / Marlon Nunez ; Rafael Morales
A Study on Object Recognition Technology Using PCA in the Variable Illumination / Jong-Min Kim ; Hwan-Seok Yang
Pattern Recurring in Three-Dimensional Graph Based on Data Mining / Yanbing Liu ; Menghao Wang
Mining the Useful Skyline Set Based on the Acceptable Difference / Zhenhua Huang ; Wei Wang
Modeling Information-Sharing Behaviors in BitTorrent System Based on Real Measurement / Jinkang Jia ; Changjia Chen
Financial Distress Prediction Based on Similarity Weighted Voting CBR / Jie Sun ; Xiao-Feng Hui
Customer Churn Prediction by Hybrid Model / Jae Sik Lee ; Jin Chun Lee
Base Vector Selection for Kernel Matching Pursuit / Qing Li ; Licheng Jiao
WaveSim Transform for Multi-channel Signal Data Mining Through Linear Regression PCA / R. Pradeep Kumar ; P. Nagabhushan
Research on Query-by-Committee Method of Active Learning and Application / Yue Zhao ; Ciwen Xu ; Yongcun Cao
Traffic Management Genetic Algorithm Supporting Data Mining and QoS in Sensor Networks / Yantao Pan ; Wei Peng ; Xicheng Lu
Comparison of Data Pre-processing in Pattern Recognition of Milk Powder Vis/NIR Spectra / Haiyan Cen ; Yidan Bao ; Min Huang
Semi-automatic Hot Event Detection / Tingling He ; Guozhong Qu ; Siwei Li ; Xinhui Tu ; Yong Zhang ; Han Ren
Security and Privacy Issues
Profile-Based Security Against Malicious Mobile Agents / Hua Li ; Glena Greene ; Rafael Alonso
A Comprehensive Categorization of DDoS Attack and DDoS Defense Techniques / Usman Tariq ; ManPyo Hong ; Kyung-suk Lhee
Structural Analysis and Mathematical Methods for Destabilizing Terrorist Networks Using Investigative Data Mining / Nasrullah Memon ; Henrik Legind Larsen
Alert Correlation Analysis in Intrusion Detection / Moon Sun Shin ; Kyeong Ja Jeong
Spatial Data Mining
OSDM: Optimized Shape Distribution Method / Ryoichi Nagatomi ; Makoto Takahashi ; Takeshi Tokuyama
View-Angle of Spatial Data Mining / Shuliang Wang ; Haning Yuan
Streaming Data Mining
Maintaining Moving Sums over Data Streams / Tzu-Chiang Wu ; Arbee L.P. Chen
MFIS-Mining Frequent Itemsets on Data Streams / Zhi-jun Xie ; Hong Chen ; Cuiping Li
Improving the Performance of Data Stream Classifiers by Mining Recurring Contexts / Yong Wang ; Yang Zhang ; Longbo Zhang ; Yun Jiang
Author Index
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
15.

電子ブック

EB
De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Jörg Siekmann, Donald C. Wunsch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
16.

電子ブック

EB
Moonis Ali, Richard Dapoigny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
17.

電子ブック

EB
Sabine Bergler, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Some Simplified Forms of Reasoning with Distance-Based Entailments / Ofer Arieli ; Anna Zamansky
A Belief-Theoretic Reputation Estimation Model for Multi-context Communities / Ebrahim Bagheri ; M. Barouni-Ebrahimi ; Reza Zafarani ; Ali A. Ghorbani
A Frequency Mining-Based Algorithm for Re-ranking Web Search Engine Retrievals
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation / Daniel Cabrera ; Claudio Cubillos
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning / Alan Davoust ; Michael W. Floyd ; Babak Esfandiari
Aspects of Inconsistency Resolution in Modular Ontologies / Faezeh Ensan ; Weichang Du
Fast Markov Blanket Discovery Algorithm Via Local Learning within Single Pass / Shunkai Fu ; Michel C. Desmarais
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions / Liqiang Geng ; Larry Korba ; Yunli Wang ; Xin Wang ; Yonghua You
Recognizing Biomedical Named Entities in Chinese Research Abstracts / Baohua Gu ; Fred Popowich ; Veronica Dahl
Point-Based Planning for Predictive State Representations / Masoumeh T. Izadi ; Doina Precup
Comparison of Pleomorphic and Structural Features Used for Breast Cancer Malignancy Classification / Lukasz Jelen ; Adam Krzyzak ; Thomas Fevens
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks / Karen H. Jin ; Dan Wu
Using Dependence Diagrams to Summarize Decision Rule Sets / Kamran Karimi ; Howard J. Hamilton
A Fast Computation of Inter-class Overlap Measures Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation / Ziad Kobti ; Shamual Rahaman ; Anne W. Snowdon ; Robert D. Kent
Selective Sampling for Classification / Francois Laviolette ; Mario Marchand ; Sara Shanian
Full Border Identification for Reduction of Training Sets / Guichong Li ; Trevor J. Stocki ; R. Kurt Ungar
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF / Serguei A. Mokhov
Predicting User Preferences Via Similarity-Based Clustering / Mian Qin ; Scott Buffett ; Michael W. Fleming
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems / Tyrel Russell ; Peter van Beek
An Intelligent Automatic Face Contour Prediction System / Seref Sagiroglu ; Necla Ozkaya
Word Clustering with Validity Indices / Ahmad El Sayed ; Julien Velcin ; Djamel Zighed
The Role of Nominalizations in Prepositional Phrase Attachment in GENIA / Jonathan Schuman ; Sabine Bergler
A Statistical Model for Topic Segmentation and Clustering / M. Mahdi Shafiei ; Evangelos E. Milios
Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs / Daniel L. Silver ; Liangliang Tu
Using Unsupervised Learning for Network Alert Correlation / Reuben Smith ; Maxwell Dondo ; Peter Mason
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions / Marina Sokolova ; Guy Lapalme
A Stochastic Point-Based Algorithm for POMDPs / Ludovic Tobin
Semi-supervised Self-training for Sentence Subjectivity Classification / Bin Wang ; Bruce Spencer ; Charles X. Ling ; Harry Zhang
A Novel Approach for Social Behavior Analysis of the Blogosphere / Mohammad-Amin Jashki ; Hamidreza Baghi
Seller Bidding in a Trust-Based Incentive Mechanism for Dynamic E-Marketplaces / Jie Zhang ; Robin Cohen
Author Index
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
18.

電子ブック

EB
Luc Lamontagne, Takeo Kanade, Luc D. Lamontagne, Mario Marchand
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
19.

電子ブック

EB
Grigoris Antoniou, Takeo Kanade, Dimitris Plexousakis, George Potamias, Costas Spyropoulos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
20.

電子ブック

EB
Gerson Zaverucha, Augusto Loureiro Costa, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist / Stephen Muggleton
Tutorials
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning
Text Mining
From ILP to PILP
Computer Vision and Pattern Recognition
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications / C.G. Gonzalez ; W. Bonventi Jr. ; A.L. Vieira Rodrigues
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity / Rodrigo Fernandes de Mello ; Iker Gondra
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation / Lucas D. Terissi ; Juan Carlos Gomez
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis / Carlos Eduardo Thomaz ; Gilson Antonio Giraldi
Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory
Enhancing the Interaction between Agents and Users / Marcelo Armentano ; Silvia Schiaffino ; Analia Amandi
Re-routing Agents in an Abstract Traffic Scenario / Ana L.C. Bazzan ; Franziska Klugl
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm / Gutierrez Soares Caixeta ; Rita Maria da Silva Julia
An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker / Dinis Felix ; Luis Paulo Reis
Individual and Social Behaviour in the IPA Market with RL / Eduardo Rodrigues Gomes ; Ryszard Kowalczyk
Optimizing Preferences within Groups: A Case Study on Travel Recommendation / Fabiana Lorenzi ; Fernando dos Santos ; Paulo R. Ferreira Jr.
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems / Diego R. Pereira ; Luciano V. Goncalves ; Gracaliz P. Dimuro ; Antonio C.R. Costa
Probabilistic Multiagent Patrolling / Tiago Sak ; Jacques Wainer ; Siome Klein Goldenstein
Knowledge Representation and Reasoning
Proving Epistemic and Temporal Properties from Knowledge Based Programs / Mario Benevides ; Carla Delgado ; Michel Carlini
Detecting Code Evolution in Programming Learning / Thais Castro ; Hugo Fuks ; Alberto Castro
Revising Specifications with CTL Properties Using Bounded Model Checking / Marcelo Finger ; Renata Wassermann
Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach / Alexandre Rademaker ; Edward Hermann Haeusler
A Case for Numerical Taxonomy in Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Methodical Construction of Symbolic Diagrams / Paulo A.S. Veloso ; Sheila R.M. Veloso
Machine Learning and Data Mining
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis / Maria J.P. Dantas ; Leonardo da C. Brito ; Paulo C.M. Machado ; Paulo H.P. de Carvalho
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data / Andre Luis Santiago Maia ; Francisco de A.T. de Carvalho
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach / Edson T. Matsubara ; Ronaldo C. Prati ; Gustavo E.A.P.A. ; Maria C. Monard
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function / Alexandre da Silva Simoes ; Anna Helena Reali Costa
A Robust Methodology for Comparing Performances of Clustering Validity Criteria / Lucas Vendramin ; Ricardo J.G.B. Campello ; Eduardo R. Hruschka
Natural Language Processing
An Experiment in Spanish-Portuguese Statistical Machine Translation / Wilker Ferreira Aziz ; Thiago Alexandre Salgueiro Pardo ; Ivandre Paraboni
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation / Helena de M. Caseli ; Maria das Gracas V. Nunes ; Mikel L. Forcada
Robotics
Experiments in the Coordination of Large Groups of Robots / Leandro Soriano Marcolino ; Luiz Chaimowicz
Evolving an Artificial Homeostatic System / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben ; Phil Husbands
Author Index
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
21.

電子ブック

EB
Hector Geffner, Nuno David, Isabel Machado Alexandre, Rui Prada, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation
Topology and Knowledge of Multiple Agents / Bernhard Heinemann
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
Quantum-Based Belief Merging / Laurent Perrussel ; Jerusa Marchi ; Guilherme Bittencourt
Planning and Scheduling
A Study of Schedule Robustness for Job Shop with Uncertainty / Ines Gonzalez-Rodriguez ; Jorge Puente ; Ramiro Varela ; Camino R. Vela
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition / Ourania Hatzi ; Georgios Meditskos ; Dimitris Vrakas ; Nick Bassiliades ; Dimosthenis Anagnostopoulos ; Ioannis Vlahavas
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach / Arturo Gonzalez-Ferrer ; Juan Fdez-Olivares ; Luis Castillo ; Lluvia Morales
Constraint Satisfaction and Optimization
A Heuristic Method for Balanced Graph Partitioning: An Application for the Demarcation of Preventive Police Patrol Areas / Thiago Assuncao ; Vasco Furtado
Using Indexed Finite Set Variables for Set Bounds Propagation / Ruben Duarte Viegas ; Marco Correia ; Pedro Barahona ; Francisco Azevedo
Probabilistic Reasoning
Extension of Bayesian Network Classifiers to Regression Problems / Antonio Fernandez ; Antonio Salmeron
Transfer Learning for Bayesian Networks / Roger Luis ; L. Enrique Sucar ; Eduardo F. Morales
Machine Learning
A Dipolar Competitive Neural Network for Video Segmentation / R.M. Luque ; D. Lopez-Rodriguez ; E. Dominguez ; E.J. Palomo
Geodesic Generative Topographic Mapping / Raul Cruz-Barbosa ; Alfredo Vellido
Rough Evolutionary Fuzzy System Based on Interactive T-Norms / Graciela L. Meza Lovon ; Maria Bernadete Zanusso
K-Means Initialization Methods for Improving Clustering by Simulated Annealing / Gabriela Trazzi Perim ; Estefhan Dazzi Wandekokem ; Flavio Miguel Varejao
Data Reduction Method for Categorical Data Clustering / Erendira Rendon ; J. Salvador Sanchez ; Rene A. Garcia ; Itzel Abundez ; Citlalih Gutierrez ; Eduardo Gasca
A Multi-measure Nearest Neighbor Algorithm for Time Series Classification / Fabio Fabris ; Idilio Drago ; Flavio M. Varejao
Detection of Anomalies in Large Datasets Using an Active Learning Scheme Based on Dirichlet Distributions / Karim Pichara ; Alvaro Soto ; Anita Araneda
The SKM Algorithm: A K-Means Algorithm for Clustering Sequential Data / Jose G. Dias ; Maria Joao Cortinhal
Multiagent Systems
Ensuring Time in Real-Time Commitments / Marti Navarro ; Stella Heras ; Vicente Julian
Hybrid Multi-agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes / Juan A. Fraile ; Javier Bajo ; Juan M. Corchado
Mixing Greedy and Evolutive Approaches to Improve Pursuit Strategies / Juan Reverte ; Francisco Gallego ; Rosana Satorre ; Faraon Llorens
The Evolution of Negotiation and Impasse in Two-Party Multi-issue Bargaining / Fernando Lopes ; A.Q. Novais ; Helder Coelho
Characters with Character / Isabel Machado Alexandre
Natural Language Processing
Automatic Generalization of a QA Answer Extraction Module Based on Semantic Roles / P. Moreda ; H. Llorens ; E. Saquete ; M. Palomar
A Multilingual Application for Automated Essay Scoring / Daniel Castro-Castro ; Rocio Lannes-Losada ; Montse Maritxalar ; Ianire Niebla ; Celia Perez-Marques ; Nancy C. Alamo-Suarez ; Aurora Pons-Porrata
Combining Frequent and Discriminating Attributes in the Generation of Definite Descriptions / Diego Jesus de Lucena ; Ivandre Paraboni
A Machine Learning Approach to Portuguese Pronoun Resolution / Ramon Re Moya Cuevas
Text Classification on Embedded Manifolds / Catarina Silva ; Bernardete Ribeiro
An Improved Connectionist Translator between Natural Languages / Gustavo A. Casan ; Maria Asuncion Castano
Intelligent Information Systems and NLP
A Framework for Information Retrieval Based on Fuzzy Relations and Multiple Ontologies / Maria Angelica A. Leite ; Ivan L.M. Ricarte
Recommendation System for Automatic Recovery of Broken Web Links / Juan Martinez-Romo ; Lourdes Araujo
Conceptual Subtopic Identification in the Medical Domain / Rafael Berlanga-Llavori ; Henry Anaya-Sanchez ; Ernesto Jimenez-Ruiz
Real-Time Open-Domain QA on the Portuguese Web / Antonio Branco ; Lino Rodrigues ; Joao Silva ; Sara Silveira
Hyponymy Extraction and Web Search Behavior Analysis Based on Query Reformulation / Rui P. Costa ; Nuno Seco
Semantics of Place: Ontology Enrichment / Bruno Antunes ; Ana Alves ; Francisco C. Pereira
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System / M. Ilic ; J. Leite ; M. Slota
Text Retrieval through Corrupted Queries / Juan Otero ; Jesus Vilares ; Manuel Vilares
Robotics
Dynamic Velocity Field Angle Generation for Obstacle Avoidance in Mobile Robots Using Hydrodynamics / Claudia Perez-D'Arpino ; Wilfredis Medina-Melendez ; Leonardo Fermin ; Jose Guzman ; Gerardo Fernandez-Lopez ; Juan Carlos Grieco
Motion Planning for Cooperative Multi-robot Box-Pushing Problem / Ezra Federico Parra-Gonzalez ; Gabriel Ramirez-Torres ; Gregorio Toscano-Pulido
Multi-robot Exploration and Mapping Using Self Biddings / Juan C. Elizondo-Leal ; Gregorio Toscano Pulido
Coordinated Multi-robot Exploration with SRT-Radial / Alfredo Toriz P. ; Abraham Sanchez L. ; Maria A. Osorio L.
On the Selection of a Classification Technique for the Representation and Recognition of Dynamic Gestures / Hector H. Aviles ; Wendy Aguilar ; Luis A. Pineda
Applications
A Fuzzy Hybrid Intelligent System for Human Semen Analysis / Esmeralda Ramos ; Haydemar Nunez ; Roberto Casanas
Genetic Programming for Predicting Protein Networks / Beatriz Garcia ; Ricardo Aler ; Agapito Ledezma ; Araceli Sanchis
Fragmentation and Frontier Evolution for Genetic Algorithms Optimization in Music Transcription / Nuno Fonseca ; Anna Paula Rocha
Applying Genetic Programming to Civil Engineering in the Improvement of Models, Codes and Norms / Juan L. Perez ; Monica Miguelez ; Juan R. Rabunal ; Fernando Martinez Abella
Author Index
Knowledge Representation
Topology and Knowledge of Multiple Agents / Bernhard Heinemann
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
22.

電子ブック

EB
Zhigeng Pan, Adrian Cheok, Michael Haller, Takeo Kanade, Rynson W. H. Lau, Ronghua Liang, Hideo Saito
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック

EB
Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir, Halil Altay Güvenir, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
Is Consideration of Background Knowledge in Data Driven Solutions Possible at All? / Gholamreza Nakhaeizadeh
Reality Meets Research / Stefan Wess
Research Papers
Multi-agent Case-Based Reasoning for Cooperative Reinforcement Learners / Thomas Gabel ; Martin Riedmiller
Retrieving and Reusing Game Plays for Robot Soccer / Raquel Ros ; Manuela Veloso ; Ramon Lopez de Mantaras ; Carles Sierra ; Josep Lluis Arcos
Self-organising Hierarchical Retrieval in a Case-Agent System / Ian Watson ; Jens Trotzky
Cobras: Cooperative CBR System for Bibliographical Reference Recommendation / Hager Karoui ; Rushed Kanawati ; Laure Petrucci
A Knowledge-Light Approach to Regression Using Case-Based Reasoning / Neil McDonnell ; Padraig Cunningham
Case-Base Maintenance for CCBR-Based Process Evolution / Barbara Weber ; Manfred Reichert ; Werner Wild
Evaluating CBR Systems Using Different Data Sources: A Case Study / Mingyang Gu ; Agnar Aamodt
Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation / Ross Nicholson ; Derek Bridge ; Nic Wilson
Case-Based Reasoning for Knowledge-Intensive Template Selection During Text Generation / Raquel Hervas ; Pablo Gervas
Rough Set Feature Selection Algorithms for Textual Case-Based Classification / Kalyan Moy Gupta ; David W. Aha ; Philip G. Moore
Experience Management with Case-Based Assistant Systems / Mirjam Minor
The Needs of the Many: A Case-Based Group Recommender System / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth ; Maria Salamo
Contextualised Ambient Intelligence Through Case-Based Reasoning / Anders Kofod-Petersen
Improving Annotation in the Semantic Web and Case Authoring in Textual CBR / Juan A. Recio-Garcia ; Marco Antonio Gomez-Martin ; Belen Diaz-Agudo ; Pedro A. Gonzalez-Calero
Unsupervised Case Memory Organization: Analysing Computational Time and Soft Computing Capabilities / Albert Fornells ; Herrera Elisabet ; Golobardes i Ribe ; David Vernet Bellet ; Guiomar Corral Torruella
Further Experiments in Case-Based Collaborative Web Search / Jill Freyne
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge / Ralph Bergmann ; Babak Mougouie
Case-Based Sequential Ordering of Songs for Playlist Recommendation / Claudio Baccigalupo ; Enric Plaza
A Comparative Study of Catalogue-Based Classification / Petra Perner
Ontology-Driven Development of Conversational CBR Systems / Hector Gomez-Gauchia ; Pedro Gonzalez-Calero
Complexity Profiling for Informed Case-Base Editing / Stewart Massie ; Susan Craw ; Nirmalie Wiratunga
Unsupervised Feature Selection for Text Data / Robert Lothian
Combining Case-Based and Similarity-Based Product Recommendation / Armin Stahl
On the Use of Selective Ensembles for Relevance Classification in Case-Based Web Search / Maurice Coyle
What Evaluation Criteria Are Right for CCBR? Considering Rank Quality / Steven Bogaerts ; David B. Leake
Fast Case Retrieval Nets for Textual Data / Sutanu Chakraborti ; Amandine Orecchioni ; Stuart Watt
Combining Multiple Similarity Metrics Using a Multicriteria Approach / Luc Lamontagne ; Irene Abi-Zeid
Case Factory - Maintaining Experience to Learn / Klaus-Dieter Althoff ; Alexandre Hanft ; Martin Schaaf
Retrieval over Conceptual Structures / Pablo Beltran-Ferruz ; Oscar Lagerquist
An Analysis on Transformational Analogy: General Framework and Complexity / Vithal Kuchibatla ; Hector Munoz-Avila
Discovering Knowledge About Key Sequences for Indexing Time Series Cases in Medical Applications / Peter Funk ; Xiong Ning
Application Papers
Case-Based Reasoning for Autonomous Service Failure Diagnosis and Remediation in Software Systems / Stefania Montani ; Cosimo Anglano
Tracking Concept Drift at Feature Selection Stage in SpamHunting: An Anti-spam Instance-Based Reasoning System / Jose Ramon ; Mendez Reboredo ; Florentino Fernandez-Riverola ; Eva Lorenzo Iglesias ; Fernando Diaz Gomez ; Juan Manuel Corchado
Case-Based Support for Collaborative Business / Andrea Fressmann ; Kerstin Maximini ; Rainer Maximini ; Thomas Sauer
A CBR-Based Approach for Supporting Consulting Agencies in Successfully Accompanying a Customer's Introduction of Knowledge Management / Mark Hefke ; Andreas Abecker
The PwC Connection Machine: An Adaptive Expertise Provider / Mehmet H. Goker ; Cynthia Thompson ; Simo Arajarvi ; Kevin Hua
Author Index
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
24.

電子ブック

EB
Klaus-Dieter Althoff, Ralph Bergmann, Alexandre Hanft, Mirjam Minor, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Semantics and Experience in the Future Web / Enric Plaza
Research Papers
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning / Bryan Auslander ; Stephen Lee-Urban ; Chad Hogg ; Hector Munoz-Avila
Formal and Experimental Foundations of a New Rank Quality Measure / Steven Bogaerts ; David Leake
Provenance, Trust, and Sharing in Peer-to-Peer Case-Based Web Search / Peter Briggs
Visualizing and Evaluating Complexity of Textual Case Bases / Sutanu Chakraborti ; Ulises Cervino Beresi ; Nirmalie Wiratunga ; Stewart Massie ; Robert Lothian ; Deepak Khemani
Learning Similarity Functions from Qualitative Feedback / Weiwei Cheng ; Eyke Hullermeier
Conservative Adaptation in Metric Spaces / Julien Cojan ; Jean Lieber
Opportunistic Acquisition of Adaptation Knowledge and Cases-The IakA Approach / Amelie Cordier ; Beatrice Fuchs ; Leonardo Lana de Carvalho ; Alain Mille
Noticeably New: Case Reuse in Originality-Driven Tasks / Belen Diaz-Agudo ; Juan A. Recio-Garcia ; Josep-Lluis Arcos
Experience-Based Design of Behaviors in Videogames / Gonzalo Florez Puga ; Pedro Gonzalez-Calero
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation / Michael W. Floyd ; Alan Davoust ; Babak Esfandiari
Retrieval Based on Self-explicative Memories / Albert Fornells ; Eva Armengol ; Elisabet Golobardes
Increasing Precision of Credible Case-Based Inference / Thomas Gabel ; Martin Riedmiller
Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions / Ilya Vladimirskiy ; Belen Prados Suarez ; Eva Stauch
Using Case Provenance to Propagate Feedback to Cases and Adaptations / Scott A. Dial
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance / Joseph Kendall-Morwick
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation / Jay Powell
Cases, Predictions, and Accuracy Learning and Its Application to Effort Estimation / Jingzhou Li ; Brenan Mackas ; Michael M. Richter ; Guenther Ruhe
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications / Suzanne Little ; Ovidio Salvetti ; Petra Perner
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy / Cindy Marling ; Jay Shubrook ; Frank Schwartz
Conversational Case-Based Reasoning in Self-healing and Recovery / David McSherry ; Sa'adah Hassan ; David Bustard
Situation Assessment for Plan Retrieval in Real-Time Strategy Games / Kinshuk Mishra ; Santiago Ontanon ; Ashwin Ram
Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC) / Babak Mougouie
Understanding Dubious Future Problems / Oguz Mulayim ; Josep Lluis Arcos
Conversational Case-Based Recommendations Exploiting a Structured Case Model / Quang Nhat Nguyen ; Francesco Ricci
k-NN Aggregation with a Stacked Email Representation / Amandine Orecchioni ; Susan Craw
Case-Based Reasoning and the Statistical Challenges
Evaluation Measures for TCBR Systems / M.A. Raghunandan
CBR for CBR: A Case-Based Template Recommender System for Building Case-Based Systems / Derek Bridge ; Pedro A. Gonzalez-Calero
Forgetting Reinforced Cases / Houcine Romdhane ; Luc Lamontagne
iReMedI - Intelligent Retrieval from Medical Information / Saurav Sahay ; Bharat Ravisekar ; Sundaresan Venkatasubramanian ; Anushree Venkatesh ; Priyanka Prabhu
Adaptation through Planning in Knowledge Intensive CBR / Antonio Sanchez-Ruiz ; Pedro P. Gomez-Martin
Folk Arguments, Numerical Taxonomy and Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Bernard F. Buxton
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games / Neha Sugandh
Horizontal Case Representation / Rosina Weber ; Sidath Gunawardena ; Craig MacDonald
Application Papers
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning / Pedro Almeida ; Marco Jorge ; Luis Cortesao ; Filipe Martins ; Marco Vieira ; Paulo Gomes
Predicting the Presence of Oil Slicks After an Oil Spill / Juan Manuel Corchado ; Aitor Mata
Case Based Interpretation of Soil Chromatograms / Minu Mary Joseph ; Saritha Variganti
Case-Based Troubleshooting in the Automotive Context: The SMMART Project / Stefania Bandini ; Ettore Colombo ; Giuseppe Frisoni ; Fabio Sartori ; Joakim Svensson
Rapid Prototyping of CBR Applications with the Open Source Tool myCBR / Armin Stahl ; Thomas R. Roth-Berghofer
Author Index
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
25.

電子ブック

EB
Achim Hoffmann, Takeo Kanade, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
26.

電子ブック

EB
Wee-Keong Ng, Kuiyu Chang, Takeo Kanade, Masaru Kitsuregawa, Jianzhong Li
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
27.

電子ブック

EB
Takashi Washio, Akihiro Inokuchi, Jörg Siekmann, Einoshin Suzuki, Kai Ming Ting
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
28.

電子ブック

EB
Daniel S. Yeung, Takeo Kanade, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
29.

電子ブック

EB
Tapio Salakoski, Filip Ginter, Takeo Kanade, Tapio Pahikkala, Sampo Pyysalo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Recursion in Natural Languages / Fred Karlsson
The Explanatory Combinatorial Dictionary as the Key Tool in Machine Translation / Igor Mel'cuk
A Finite-State Approximation of Optimality Theory: The Case of Finnish Prosody / Lauri Karttunen
Research Papers
A Bilingual Corpus of Novels Aligned at Paragraph Level / Alexander Gelbukh ; Grigori Sidorov ; Jose Angel Vera-Felix
A Computational Implementation of Internally Headed Relative Clause Constructions / Jong-Bok Kim ; Peter Sells ; Jaehyung Yang
A Corpus-Based Empirical Account of Adverbial Clauses Across Speech and Writing in Contemporary British English / Alex Chengyu Fang
A Korean Syntactic Parser Customized for Korean-English Patent MT System / Chang-Hyun Kim ; Munpyo Hong
A Scalable and Distributed NLP Architecture for Web Document Annotation / Julien Deriviere ; Thierry Hamon ; Adeline Nazarenko
A Straightforward Method for Automatic Identification of Marginalized Languages / Ana Lilia Reyes-Herrera ; Luis Villasenor-Pineda ; Manuel Montes-y-Gomez
A Text Mining Approach for Definition Question Answering / Claudia Denicia-Carral ; Rene Garcia-Hernandez
Accommodating Multiword Expressions in an Arabic LFG Grammar / Mohammed A. Attia
Analysis of EU Languages Through Text Compression / Kimmo Kettunen ; Markus Sadeniemi ; Tiina Lindh-Knuutila ; Timo Honkela
Applying Latent Dirichlet Allocation to Automatic Essay Grading / Tuomo Kakkonen ; Niko Myller ; Erkki Sutinen
Automatic Acquisition of Semantic Relationships from Morphological Relatedness / Delphine Bernhard
Automatic Feature Extraction for Question Classification Based on Dissimilarity of Probability Distributions / David Tomas ; Jose L. Vicedo ; Empar Bisbal ; Lidia Moreno
Cat3LB and Cast3LB: From Constituents to Dependencies / Montserrat Civit ; Ma. Antonia Marti ; Nuria Bufi
Classification of News Web Documents Based on Structural Features / Shisanu Tongchim ; Virach Sornlertlamvanich ; Hitoshi Isahara
Cognition and Physio-acoustic Correlates-Audio and Audio-Visual Effects of a Short English Emotional Statement: On JL2, FL2 and EL1 / Toshiko Isei-Jaakkola
Compiling Generalized Two-Level Rules and Grammars / Anssi Yli-Jyra ; Kimmo Koskenniemi
Computer Analysis of the Turkmen Language Morphology / A. Cuneyd Tantug ; Esref Adah ; Kemal Oflazer
Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation
Cue-Based Interpretation of Customer's Requests: Analysis of Estonian Dialogue Corpus / Tiit Hennoste ; Olga Gerassimenko ; Riina Kasterpalu ; Mare Koit ; Andriela Raabis ; Krista Strandson ; Maret Valdisoo
Czech-English Phrase-Based Machine Translation / Ondrej Bojar ; Evgeny Matusov ; Hermann Ney
Deep vs. Shallow Semantic Analysis Applied to Textual Entailment Recognition / Oscar Ferrandez ; Rafael Munoz ; Patricio Martinez-Barco ; Manuel Palomar
Dictionary-Free Morphological Classifier of Russian Nouns / Igor A. Bolshakov ; Elena I. Bolshakova
Discourse Segmentation of German Written Texts / Harald Lungen ; Csilla Puskas ; Maja Barenfanger ; Mirco Hilbert ; Henning Lobin
Document Clustering Based on Maximal Frequent Sequences / Edith Hernandez-Reyes ; Jesus A. Carrasco-Ochoa ; Jose Fco. Martinez-Trinidad
Enriching Thesauri with Hierarchical Relationships by Pattern Matching in Dictionaries / Lourdes Araujo ; Jose R. Perez-Aguera
Evaluation of Alignment Methods for HTML Parallel Text / Enrique Sanchez-Villamil ; Susana Santos-Anton ; Sergio Ortiz-Rojas ; Mikel L. Forcada
Experiments in Passage Selection and Answer Identification for Question Answering / Horacio Saggion ; Robert Gaizauskas
Extracting Idiomatic Hungarian Verb Frames / Balint Sass
Extracting Term Collocations for Directing Users to Informative Web Pages / Eiko Yamamoto
Feasibility of Enriching a Chinese Synonym Dictionary with a Synchronous Chinese Corpus / Oi Yee Kwong ; Benjamin K. Tsou
Finding Spanish Syllabification Rules with Decision Trees / John Goddard ; Rene MacKinney-Romero
Identifying Text Discourse Structure of the Narratives Describing Psychiatric Patients' Defense Mechanisms / Eunmi Ham ; Woojin Paik
Implementing a Rule-Based Speech Synthesizer on a Mobile Platform / Tuomo Saarni ; Jyri Paakkulainen ; Tuomas Makila ; Jussi Hakokari ; Olli Aaltonen ; Jouni Isoaho ; Tapio Saakoski
Improving Phrase-Based Statistical Translation Through Combination of Word Alignments / Boxing Chen ; Marcello Federico
Improving Statistical Word Alignments with Morpho-syntactic Transformations / Adria de Gispert ; Deepa Gupta ; Maja Popovic ; Patrik Lambert ; Jose B. Marino ; Rafael Banchs
Improving Term Extraction with Terminological Resources / Sophie Aubin
Improving Thai Spelling Recognition with Tone Features / Chutima Pisarn ; Thanaruk Theeramunkong
Incorporating External Information in Bayesian Classifiers Via Linear Feature Transformations / Tapio Pahikkala ; Jorma Boberg ; Aleksandr Myllari ; Tapio Salakoski
Is a Morphologically Complex Language Really That Complex in Full-Text Retrieval? / Eija Airio
Language Independent Answer Prediction from the Web / Alejandro Figueroa ; Gunter Neumann
Language Model Mixtures for Contextual Ad Placement in Personal Blogs / Gilad Mishne ; Maarten de Rijke
Local Constraints on Arabic Word Order / Allan Ramsay ; Hanady Mansour
MEDITE: A Unilingual Textual Aligner / Julien Bourdaillet ; Jean-Gabriel Ganascia
Maximum Likelihood Alignment of Translation Equivalents / Saba Amsalu
Measuring Intelligibility of Japanese Learner English / Emi Izumi ; Kiyotaka Uchimoto
Morphological Lexicon Extraction from Raw Text Data / Markus Forsberg ; Harald Hammarstrom ; Aarne Ranta
On the Use of Topic Models for Word Completion / Elisabeth Wolf ; Shankar Vembu ; Tristan Miller
Ord i Dag: Mining Norwegian Daily Newswire / Unni Cathrine Eiken ; Anja Therese Liseth ; Hans Friedrich Witschel ; Matthias Richter ; Chris Biemann
Paraphrase Identification on the Basis of Supervised Machine Learning Techniques / Zornitsa Kozareva ; Andres Montoyo
Passage Filtering for Open-Domain Question Answering / Elisa Noguera ; Fernando Llopis ; Antonio Ferrdndez
Persian in MULTEXT-East Framework / Behrang QasemiZadeh ; Saeed Rahimi
Prerequisites for a Comprehensive Dictionary of Serbian Compounds / Cvetana Krstev ; Dusko Vitas ; Agata Savary
Regular Approximation of Link Grammar / Filip Ginter ; Sampo Pyysalo
Segmental Duration in Utterance-Initial Environment: Evidence from Finnish Speech Corpora
Selection Strategies for Multi-label Text Categorization / Arturo Montejo-Raez ; Luis Alfonso Urena-Lopez
Some Problems of Prepositional Phrases in Machine Translation / Xiaohong Wu ; Sylviane Cardey ; Peter Greenfield
Speech Confusion Index (O): A Recognition Rate Indicator for Dysarthric Speakers / Prakasith Kayasith ; Nuttakorn Thubthong
Statistical Machine Translation of German Compound Words / Daniel Stein
Summarizing Documents in Context: Modeling the User's Information Need / Yllias Chali
Supervised TextRank / Fermin Cruz ; Jose A. Troyano ; Fernando Enriquez
Tagging a Morphologically Complex Language Using Heuristics / Hrafn Loftsson
Terminology Structuring Through the Derivational Morphology / Natalia Grabar ; Thierry Harnon
Text Segmentation Criteria for Statistical Machine Translation / Mauro Cettolo
The Classificatim Sense-Mining System / Mounira Bioud ; Aleksandra Dziadkiewicz ; Kyoko Kuroda ; Izabel Marcelino ; Ciprian Melian ; Helena Morgadinho ; Guillaume Robardet ; Severine Vienney
The Role of Verb Sense Disambiguation in Semantic Role Labeling / Paloma Moreda
The Vowel Game: Continuous Real-Time Visualization for Pronunciation Learning with Vowel Charts / Annu Paganus ; Vesa-Petteri Mikkonen ; Tomi Mantyla ; Sami Nuuttila
Towards a Framework for Evaluating Syntactic Parsers
Towards the Improvement of Statistical Translation Models Using Linguistic Features / Alicia Perez ; Ines Torres ; Francisco Casacuberta
Treating Unknown Light Verb Construction in Korean-to-English Patent MT / Sang-Kyu Park
Trees as Contexts in Formal Language Generation / Adrian-Horia Dediu ; Gabriela Martin
Two String-Based Finite-State Models of the Semantics of Calendar Expressions / Jyrki Niemi ; Lauri Carlson
Using Alignment Templates to Infer Shallow-Transfer Machine Translation Rules / Felipe Sanchez-Martinez
Author Index
Keynote Addresses
Recursion in Natural Languages / Fred Karlsson
The Explanatory Combinatorial Dictionary as the Key Tool in Machine Translation / Igor Mel'cuk
30.

電子ブック

EB
Bengt Nordström, Aarne Ranta, Jörg Siekmann, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
31.

電子ブック

EB
Olfa Nasraoui, Takeo Kanade, Brij Masand, Bamshad Mobasher, Myra Spiliopoulou, Philip S. Yu, Osmar Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
32.

電子ブック

EB
Bamshad Mobasher, Takeo Kanade, Bing Liu, Brij Masand, Olfa Nasraoui
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Web Usage Analysis and User Modeling
Mining Temporally Changing Web Usage Graphs / Prasanna Desikan ; Jaideep Srivastava
Improving the Web Usage Analysis Process: A UML Model of the ETL Process / Thilo Maier
Web Personalization and Recommender Systems
Mission-Based Navigational Behaviour Modeling for Web Recommender Systems / Osmar R. Zaiane ; Jia Li ; Robert Hayward
Complete This Puzzle: A Connectionist Approach to Accurate Web Recommendations Based on a Committee of Predictors / Olfa Nasraoui ; Mrudula Pavuluri
Collaborative Quality Filtering: Establishing Consensus or Recovering Ground Truth? / Jonathan Traupman ; Robert Wilensky
Search Personalization
Spying Out Accurate User Preferences for Search Engine Adaptation / Lin Deng ; Wilfred Ng ; Xiaoyong Chai ; Dik-Lun Lee
Using Hyperlink Features to Personalize Web Search / Mehmet S. Aktas ; Mehmet A. Nacar ; Filippo Menczer
Semantic Web Mining
Discovering Links Between Lexical and Surface Features in Questions and Answers / Soumen Chakrabarti
Integrating Web Conceptual Modeling and Web Usage Mining / Rosa Meo ; Pier Luca Lanzi ; Maristella Matera ; Roberto Esposito
Boosting for Text Classification with Semantic Features / Stephan Bloehdorn ; Andreas Hotho
Markov Blankets and Meta heuristics Search: Sentiment Extraction from Unstructured Texts / Edoardo Airoldi ; Xue Bai ; Rema Padman
Author Index
Web Usage Analysis and User Modeling
Mining Temporally Changing Web Usage Graphs / Prasanna Desikan ; Jaideep Srivastava
Improving the Web Usage Analysis Process: A UML Model of the ETL Process / Thilo Maier
33.

電子ブック

EB
Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, Geun Sik Jo, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
34.

電子ブック

EB
Frank P. M. Dignum, Rogier M. Eijk, Rogier M. van Eijk, Roberto Flores, Roberto A. Flores, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
35.

電子ブック

EB
Zhong-Zhi Shi, Takeo Kanade, R. Sadananda, Ramakoti Sadananda, Zhongzhi Shi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Agent and Grid Technologies for Intercultural Collaboration / Toru Ishida
Agent Grid Collaborative Environment / Zhongzhi Shi
An Agent-Based System Integration Architecture for Intelligent Service Robots / Jaeho Lee
DartGrid: A Semantic Grid and Application for Traditional Chinese Medicine / Zhaohui Wu
Agent Model
A Grammatical Framework for Modelling Multi-agent Dialogues / Gemma Bel-Enguix ; Maria Adela Grando ; M. Dolores Jimenez-Lopez
A Calculus for MAS Interaction Protocol / Hongbing Chen ; Qun Yang ; Manwu Xu
Synthesizing Stigmergy for Multi Agent Systems / Grant Blaise O'Reilly ; Elizabeth Ehlers
Model Checking for Epistemic and Temporal Properties of Uncertain Agents / Zining Cao
Agent Architectures
A Task Management Architecture for Control of Intelligent Robots / Byulsaim Kwak
Multi-agent Based Selfish Routing for Multi-channel Wireless Mesh Networks / Yanxiang He ; Jun Xiao
Natural Language Communication Between Human and Artificial Agents / Christel Kemke
An Extended BDI Agent with Policies and Contracts / Bei-shui Liao ; Hua-xin Huang ; Ji Gao
Agent-Oriented Software Engineering
Towards a Customized Methodology to Develop Multi-Agent Systems / Xiao Xue ; Xingquan Liu ; Rong Li
A Systematic Methodology for Adaptive Systems in Open Environments / Li-ming Wang ; Ya-chong Li
Multi-modal Services for Web Information Collection Based on Multi-agent Techniques / Qing He ; Xiurong Zhao ; Sulan Zhang
Formalizing Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Infinitely Repeated Games / Ka-man Lam ; Ho-fung Leung
Agent Grid
Reverse Auction-Based Grid Resources Allocation / Zhengyou Liang ; Yu Sun ; Ling Zhang ; Shoubin Dong
Data Grid System Based on Agent for Interoperability of Distributed Data / Youn-Gyou Kook ; Gye-Dong Jung ; Young-Keun Choi
A Layered Semantics for Mobile Computation / Jianghua Lv ; Shilong Ma ; Jing Pan ; Li Ma
Immunity and Mobile Agent Based Intrusion Detection for Grid / Xun Gong ; Tao Li ; Ji Lu ; Tiefang Wang ; Gang Liang ; Jin Yang ; Feixian Sun
Semantic Web Services
Description Logic Based Composition of Web Services / Fen Lin ; Lirong Qiu ; He Huang ; Qing Yu
A Reputation Multi-agent System in Semantic Web / Wei Wang ; Guosun Zeng ; Lulai Yuan
Ontological Modeling of Virtual Organization Agents / Lejian Liao ; Liehuang Zhu ; Jing Qiu
Parameter Evolution for Quality of Service in Multimedia Networking
Collaboration
A DDL Based Formal Policy Representation / Maoguang Wang ; Li Zeng ; Jiewen Luo
Concurrent Agent Social Strategy Diffusion with the Unification Trend / Yichuan Jiang
Exploiting Based Pre-testing in Competition Environment / Yang Bai
Teamwork Formation for Keepaway in Robotics Soccer (Reinforcement Learning Approach) / Nobuyuki Tanaka ; Sachiyo Arai
Coordination and Negotiation
Coordination of Concurrent Scenarios in Multi-agent Interaction / Rie Tanaka ; Hideyuki Nakanishi
A Multi-agent Negotiation Model Applied in Multi-objective Optimization / Chuan Shi
Model for Negotiating Prices and Due Dates with Suppliers in Make-to-Order Supply Chains / Lanshun Nie ; Xiaofei Xu ; Dechen Zhan
Interest-Based Negotiation as an Extension of Monotonic Bargaining in 3APL / Philippe Pasquier ; Frank Dignum ; Iyad Rahwan ; Liz Sonenberg
Agent Learning
Multiagent Reinforcement Learning for a Planetary Exploration Multirobot System / Zheng Zhang ; Shu-gen Ma ; Bing-gang Cao ; Li-ping Zhang ; Bin Li
An Improved Multi-agent Approach for Solving Large Traveling Salesman Problem / Yu-An Tan ; Xin-Hua Zhang ; Li-Ning Xing ; Xue-Lan Zhang ; Shu-Wu Wang
Design of Agent Registry/Repository System Based on ebXML / Il Kwang Kim ; Jae Young Lee ; Il Kon Kim
Ant Agent-Based QoS Multicast Routing in Networks with Imprecise State Information / Xin Yan ; Layuan Li
Peer to Peer Computing
Cactus: A New Constant-Degree and Fault Tolerate P2P Overlay / Chao Shui ; Huaiming Wang ; Pen Zhou ; Yan Jia
MPSS: A Multi-agents Based P2P-SIP Real Time Stream Sharing System / DeGuo Yang ; Hui Wang ; CuiRong Wang ; Yuan Gao
Dynamic Context Aware System for Ubiquitous Computing Environment / Seungkeun Lee ; Junghyun Lee
Applications
Partial Group Session Key Agreement Scheme for Mobile Agents in e-Commerce Environment / Hyun-jin Cho ; Gu Su Kim ; Young Ik Eom
Optimal Agendas for Sequential English Auctions with Private and Common Values / Yu-mei Chai ; Zhong-feng Wang
Intelligent Game Agent Based Physics Engine for Intelligent Non Player Characters / Jonghwa Choi ; Dongkyoo Shin ; Dongil Shin
Palmprint Recognition Based on Improved 2DPCA / Junwei Tao ; Wei Jiang ; Zan Gao ; Shuang Chen ; Chao Wang
Short Papers
A Combination Framework for Semantic Based Query Across Multiple Ontologies / Yinglong Ma ; Kehe Wu ; Beihong Jin ; Wei Li
Adaptive Mechanisms of Organizational Structures in Multi-agent Systems / Zheng-guang Wang ; Xiao-hui Liang ; Qin-ping Zhao
An Agent-Based Services Composition Framework for Ubiquitous Media / Yuhui Zhao ; Deguo Yang ; Cuirong Wang
A Multi-subset Possible World Semantics for Intention Operator of Agent / Shan-Li Hu ; Chun-Yi Shi
A Concurrent Agent Model Based on Twin-Subset Semantic / Youmin Ke ; Shanli Hu
The Communication Model of Migrating Workflow System / Zhaoxia Lu ; Dongming Liu ; Guangzhou Zeng ; Gongping Yang
Multi-user Human Tracking Agent for the Smart Home / Juyeon Lee
Towards Embedding Evolution into a Multi-agent Environment / Chantelle S. Ferreira ; Elizabeth M. Ehlers
A Multi-agent Framework for Collaborative Product Design / Jian Xun Wang ; Ming Xi Tang
Research on Algorithms of Gabor Wavelet Neural Network Based on Parallel Structure / Tingfa Xu ; Zefeng Nie ; Jianmin Yao ; Guoqiang Ni
A Momentum-Based Approach to Learning Nash Equilibria / Huaxiang Zhang ; Peide Liu
Model of Emotional Agent / Jun Hu ; Chun Guan
Multi Region-Tree Based Dynamic Commission Home Proxy Communication Mechanism for Mobile Agent / Zehua Zhang ; Xuejie Zhang
Research on Modeling and Description of Software Architecture of Cooperation-Oriented System / Munan Li ; Hong Peng ; Jinsong Hu
An A-Team Based Architecture for Constraint Programming / Yujun Zheng ; Lianlai Wang ; Jinyun Xue
The Efficient and Low Load Range Queries in P2P / Bing Zhou
Research of Agent Based Multiple-Granularity Load Balancing Middleware for Service-Oriented Computing / Jun Wang ; Di Zheng ; Quan-Yuan Wu
Multiagent Model for Grid Computing / Qingkui Chen ; Lichun Na
Using Two Main Arguments in Agent Negotiation / Jinghua Wu ; Guorui Jiang ; Tiyun Huang
A Frustum-Based Ocean Rendering Algorithm / Ho-Min Lee ; Christian Anthony L. Go ; Won-Hyung Lee
A Model of Video Coding Based on Multi-agent / Yang Tao ; Zhiming Liu ; Yuxing Peng
PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition / Li Jin
QoS Based Routing in Wireless Sensor Network with Particle Swarm Optimization / Xi-huang Zhang ; Wen-bo Xu
A Novel Multi-agent Automated Negotiation Model Based on Associated Intent / Weijin Jiang ; Yusheng Xu
Research on Design and Implementation of Adaptive Physics Game Agent for 3D Physics Game
An Improved TTS Model and Algorithm for Web Voice Browser / Rikun Liao ; Yuefeng Ji ; Hui Li
Network-Based Face Recognition System Using Multiple Images / Jong-Min Kim ; Hwan-Seok Yang ; Woong-Ki Lee
Reusable Component Oriented Agents: A New Architecture / W.H. Boshoff ; E.M. Ehlers
Expected Utility Maximization and Attractiveness Maximization
Modeling Negotiation in Combinatorial Auctions Based on Multi-agent / Man-Yin Shi
A Methodology for Agent Oriented Web Service Engineering / Hongen Lu ; Manish Chhabra
Deliberate Soccer Agents Powered by Resource-Bounded Argumentation / Takumi Nisikata ; Hajime Sawamura
Agent-Oriented Probabilistic Logic Programming with Fuzzy Constraints / Jie Wang ; Chunnian Liu
An Agent-Based Adaptive Monitoring System / Sungju Kwon ; Jaeyoung Choi
A Peer-to-Peer CF-Recommendation for Ubiquitous Environment / Hyea Kyeong Kim ; Kyoung Jun Lee ; Jae Kyeong Kim
Platform-Level Multiple Sensors Simulation Based on Multi-agent Interactions / Xiong Li ; Kai Wang ; Xianggang Liu ; Jiuting Duo ; Zhiming Dong
Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata / Jingbo Hao ; Jianping Yin ; Boyun Zhang
A Lightweight Architecture to Support Context-Aware Ubiquitous Agent System / Qiu-sheng He ; Shi-liang Tu
Towards an Agent-Based Robust Collaborative Virtual Environment for E-Learning in the Service Grid / Changqin Huang ; Fuyin Xu ; Xianghua Xu ; Xiaolin Zheng
Design of Music Recommendation System Using Context Information / Jong-Hun Kim ; Chang-Woo Song ; Kee-Wook Lim ; Jung-Hyun Lee
Semantic Grid: Interoperability Between OWL and FIPA SL / Maruf Pasha ; H. Farooq Ahmad ; Arshad Ali ; Hiroki Suguri
An Agent-Based Adaptive Task-Scheduling Model for Peer-to-Peer Computational Grids / Zhikun Zhao
Cluster-Based Secure Data Transmission Solution for Ad Hoc Network / Joung-Min Kim ; Seung-Kyu Park
Embodied Conversational Agent Based on Semantic Web / Mikako Kimura ; Yasuhiko Kitamura
Dynamic Service Composition Model for Ubiquitous Service Environments
Framework for Agent-Based Buying Decision Process / Sazalinsyah Razali ; Mashanum Osman
Improving Adaptability and Transparency of Dynamically Changing Mobile Agent Runtime Environments / JinHo Ahn ; SungMin Hur
AgentAssembly: The Agent Framework Platform / Ockmer L. Oosthuizen
A Multi-agent Architecture for CSCW Systems: From Organizational Semiotics Perspective / Wenge Rong ; Kecheng Liu
Knowledge Description Model for MAS Utilizing Distributed Ontology Repositories / Kyengwhan Jee ; Jung-Jin Yang
Object Recognition Using K-Nearest Neighbor in Object Space / Jin-Kyoung Heo ; Mang-Kyu Song
Research on Smart Multi-agent Middleware for RFID-Based Ubiquitous Computing Environment / Minwoo Son ; Joonhyung Kim
Certificate Management System in MANET for Ubiquitous Computing / Dae-Young Lee ; Sang-Hyun Bae
FPGA Based Intrusion Detection System Against Unknown and Known Attacks / Dong-Ho Kang ; Byoung-Koo Kim ; Jin-Tae Oh ; Taek-Yong Nam ; Jong-Soo Jang
Agent-Based Real Time Intrusion Detection System Against Malformed Packet Attacks / Jun-Cheol Jeon ; Eun-Yeung Choi ; Kee-Young Yoo
Efficient Mutual Authentication Scheme with Smart Card / Eun-Jun Yoon
Strong Mobility for FIPA Compliant Multi-agent Systems / Javed Iqbal ; Sarmad Sadik
Author Index
Invited Talks
Agent and Grid Technologies for Intercultural Collaboration / Toru Ishida
Agent Grid Collaborative Environment / Zhongzhi Shi
36.

電子ブック

EB
Han Poutré, Sverker Janson, Takeo Kanade, Norman M. Sadeh
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
AMEC VII 2005 / Part 1:
Learning Environmental Parameters for the Design of Optimal English Auctions with Discrete Bid Levels / A. Rogers ; E. David ; J. Schiff ; S. Kraus ; N.R. Jennings
Repeated Auctions with Complementarities / P.J. 't Hoen ; J.A. La Poutre
An Analysis of Sequential Auctions for Common and Private Value Objects / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
Algorithms for Distributed Winner Determination in Combinatorial Auctions / Muralidhar V. Narumanchi ; Jose M. Vidal
Market-Based Allocation with Indivisible Bids / L. Julian Schvartzman ; Michael P. Wellman
Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents / Yoram Bachrach ; Jeffrey S. Rosenschein
An Analysis of the Shapley Value and Its Uncertainty for the Voting Game
TAD A 2005 / Part 2:
An Analysis of the 2004 Supply Chain Management Trading Agent Competition / Christopher Kiekintveld ; Yevgeniy Vorobeychik
Identifying and Forecasting Economic Regimes in TAC SCM / Wolfgang Ketter ; John Collins ; Maria Gini ; Alok Gupta ; Paul Schrater
Socrates: A Production-Driven SCM Agent / Carlos R. Jaimez Gonzalez ; Maria Fasli
Designing and Evaluating an Adaptive Trading Agent for Supply Chain Management / Minghua He ; Alex Rogers ; Esther David
Searching for Walverine 2005 / Daniel M. Reeves ; Kevin M. Lochner ; Rahul Suri
Trading Strategies for Markets: A Design Framework and Its Application / P. Vytelingum ; R.K. Dash ; M. He ; A. Sykulski
Scaling Up the Sample Average Approximation Method for Stochastic Optimization with Applications to Trading Agents / Amy Greenwald ; Bryan Guillemette ; Victor Naroditskiy ; Michael Tschantz
Who to Listen to: Exploiting Information Quality in a ZIP-Agent Market / Dan Ladley ; Seth Bullock
AMEC VI 2004 / Part 3:
On Correctness and Privacy in Distributed Mechanisms / Felix Brandt ; Taoraas Sandholm
Author Index
AMEC VII 2005 / Part 1:
Learning Environmental Parameters for the Design of Optimal English Auctions with Discrete Bid Levels / A. Rogers ; E. David ; J. Schiff ; S. Kraus ; N.R. Jennings
Repeated Auctions with Complementarities / P.J. 't Hoen ; J.A. La Poutre
37.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
38.

電子ブック

EB
Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Takeo Kanade, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
39.

電子ブック

EB
Zoran Despotovic, Sam Joseph, Takeo Kanade, Claudio Sartori
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
40.

電子ブック

EB
Sam Joseph, Sonia Bergamaschi, Zoran Despotovic, Gianluca Moro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Information Flow Analysis in Autonomous Agent and Peer-to-Peer Systems for Self-organizing Electronic Health Records / Ben Tse ; Raman Paranjape ; Samuel R.H. Joseph
P2P Infrastructure
Hybrid DHT Design for Mobile Environments / Stefan Zoels ; Simon Schubert ; Wolfgang Kellerer ; Zoran Despotovic
DANTE: A Self-adapting Peer-to-Peer System / Luis Rodero Merino ; Luis Lopez ; Antonio Fernandez ; Vicent Cholvi
The Exclusion of Malicious Routing Peers in Structured P2P Systems / Bong-Soo Roh ; O-Hoon Kwon ; Sung Je Hong ; Jong Kim
Agents in P2P
Cooperative CBR System for Peer Agent Committee Formation / Hager Karoui ; Rushed Kanawati ; Laure Petrucci
Mobile Agent-Based Approach for Resource Discovery in Peer-to-Peer Networks / Jaafar Gaber ; Mohamed Bakhouya
P2P Search
Chora: Expert-Based P2P Web Search / Halldor Isak Gylfason ; Omar Khan ; Grant Schoenebeck
K-link: A Peer-to-Peer Solution for Organizational Knowledge Management / Giuseppe Pirro' ; Domenico Talia ; Massimo Ruffolo
An Analysis of Interest-Community Facilitated Peer-to-Peer Search / Elth Ogston
Applications
Mitigating the Impact of Liars by Reflecting Peer's Credibility on P2P File Reputation Systems / So Young Lee
A Comparative Study of Reasoning Techniques for Service Selection / Murat Sensoy ; Pinar Yolum
PROSA: P2P Resource Organisation by Social Acquaintances / Vincenza Carchiolo ; Michele Malgeri ; Giuseppe Mangioni ; Vincenzo Nicosia
Reliable P2P File Sharing Service / Jung-Hwa Shin ; Weon Shin ; Kyung-Hyune Rhee
Studying Viable Free Markets in Peer-to-Peer File Exchange Applications without Altruistic Agents / David Cabanillas ; Steven Willmott
Distributed Multi-layered Network Management for NEC Using Multi-Agent Systems / Richard Vaughan ; James Wise ; Paul Huey ; Michael Alcock ; Jonathan Vaughan ; Steven Shingler ; Graham Atkins
Facilitating Collaboration in a Distributed Software Development Environment Using P2P Architecture / Maryam Purvis ; Martin Purvis ; Bastin Tony Roy Savarimuthu
A Peer to Peer Grid Computing System Based on Mobile Agents / Joon-Min Gil ; Sung-Jin Choi
Author Index
Invited Paper
Information Flow Analysis in Autonomous Agent and Peer-to-Peer Systems for Self-organizing Electronic Health Records / Ben Tse ; Raman Paranjape ; Samuel R.H. Joseph
P2P Infrastructure
41.

電子ブック

EB
Wayne Wobcke, Jörg Siekmann, Mengjie Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
Introspective Forgetting / Hans van Ditmarsch ; Andreas Herzig ; Jerome Lang ; Pierre Marquis
Fixed-Point Property of Logic-Based Bargaining Solution / Dongmo Zhang
Re-representation in a Logic-Based Model for Analogy Making / Ulf Krumnack ; Helmar Gust ; Kai-Uwe Kuhnberger ; Angela Schwering
Knowledge Generation for Improving Simulations in UCT for General Game Playing / Shiven Sharma ; Ziad Kobti ; Scott Goodwin
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems / Eric Schkufza ; Nathaniel Love ; Michael Genesereth
Constructing Web Corpora through Topical Web Partitioning for Term Recognition / Wilson Wong ; Wei Liu ; Mohammed Bennamoun
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory / Philip H.P. Nguyen ; Ken Kaneiwa ; Dan R. Corbett ; Minh-Quang Nguyen
Exploiting Ontological Structure for Complex Preference Assembly / Gil Chamiel ; Maurice Pagnucco
Constraints
A Refutation Approach to Neighborhood Interchangeability in CSPs / Chavalit Likitvivatanavong ; Roland H. C. Yap
Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization / Hemant K. Singh ; Amitay Isaacs ; Tapabrata Ray ; Warren Smith
Constraint-Based Multi-agent Path Planning / Malcolm Ryan
Planning
An Optimality Principle for Concurrent Systems / Langford B. White ; Sarah L. Hickmott
Partial Order Hierarchical Reinforcement Learning / Bernhard Hengst
Optimal Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function / Om K. Gupta ; Ray A. Jarvis
Grammar and Language Processing
Using Probabilistic Feature Matching to Understand Spoken Descriptions / Ingrid Zukerman ; Enes Makalic ; Michael Niemann
Working for Two: A Bidirectional Grammar for a Controlled Natural Language / Rolf Schwitter
Improving Metrical Grammar with Grammar Expansion / Makoto Tanji ; Daichi Ando ; Hitoshi Iba
FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage / Bahadorreza Ofoghi ; John Yearwood ; Liping Ma
Learning to Find Relevant Biological Articles without Negative Training Examples / Keith Noto ; Milton H. Saier Jr. ; Charles Elkan
Humor Prevails!-Implementing a Joke Generator into a Conversational System / Pawel Dybala ; Michal Ptaszynski ; Shinsuke Higuchi ; Rafal Rzepka ; Kenji Araki
Statistical Learning
Improving Transductive Support Vector Machine by Ensembling / Tao Li ; Yang Zhang
Kernels Based on Distributions of Agreement Subtrees / Kilho Shin ; Tetsuji Kuboyama
Practical Bias Variance Decomposition / Remco R. Bouckaert
Using Gaussian Processes to Optimize Expensive Functions / Marcus Frean ; Phillip Boyle
Discriminant Analysis Methods for Microarray Data Classification / Chuanliang Chen ; Yun-Chao Gong ; Rongfang Bie
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Machine Learning
Improving Promoter Prediction Using Multiple Instance Learning / P.J. Uren ; R.M. Cameron-Jones ; A.H.J. Sale
Revisiting Multiple-Instance Learning Via Embedded Instance Selection / James Foulds ; Eibe Frank
Decision Tree Induction from Numeric Data Stream / Satoru Nishimura ; Masahiro Terabe ; Kazuo Hashimoto
L1 LASSO Modelin and Its Bayesian Inference / Junbin Gao ; Michael Antolovich ; Paul W. Kwan
Discriminating Against New Classes: One-class Versus Multi-class Classification / Kathryn Hempstalk
Building a Decision Cluster Classification Model for High Dimensional Data by a Variable Weighting k-Means Method / Yan Li ; Edward Hung ; Korris Chung ; Joshua Huang
Locality Spectral Clustering
Mining Arbitrarily Large Datasets Using Heuristic k-Nearest Neighbour Search / Xing Wu
Cross-Domain Knowledge Transfer Using Semi-supervised Classification / Yi Zhen ; Chunping Li
On the Limitations of Scalarisation for Multi-objective Reinforcement Learning of Pareto Fronts / Peter Vamplew ; Richard Dazeley ; Adam Berry
An Approach for Generalising Symbolic Knowledge / Byeong-Ho Kang
Single-Cycle Image Recognition Using an Adaptive Granularity Associative Memory Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Data Mining
Combined Pattern Mining: From Learned Rules to Actionable Knowledge / Yanchang Zhao ; Huaifeng Zhang ; Longbing Cao ; Chengqi Zhang ; Hans Bohlscheid
Efficient Single-Pass Mining of Weighted Interesting Patterns / Chowdhury Farhan Ahmed ; Syed Khairuzzaman Tanbeer ; Byeong-Soo Jeong ; Young-Koo Lee
Pattern Taxonomy Mining for Information Filtering / Xujuan Zhou ; Yuefeng Li ; Peter Bruza ; Yue Xu ; Raymond Y.K. Lau
An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation / B. John Oommen ; Ebaa Fayyoumi
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem / Mark Hall
A Novel Recommending Algorithm Based on Topical PageRank / Liyan Zhang
DynamicWEB: Adapting to Concept Drift and Object Drift in COBWEB / Joel Scanlan ; Jacky Hartnett ; Raymond Williams
Knowledge Discovery
L-Diversity Based Dynaic Update for Large Time-Evolving Microdata / Xiaoxun Sun ; Hua Wang ; Jiuyong Li
Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks / Huidong Jin ; Olivier de Vel ; Ke Zhang ; Nianjun Liu
Detecting the Knowledge Boundary with Prudence Analysis
Soft Computing
Clustering with XCS on Complex Structure Dataset / Liangdong Shi ; Yang Gao ; Lei Wu ; Lin Shang
Evolution of Multiple Tree Structure Patterns from Tree-Structured Data Using Clustering / Masatoshi Nagamine ; Tetsuhiro Miyahara ; Hiroaki Ueda ; Kenichi Takahashi
Application of a Memetic Algorithm to the Portfolio Optimization Problem / Claus Aranha
Predicting Trading Signals of Stock Market Indices Using Neural Networks / Chandima D. Tilakaratne ; Musa A. Mammadov ; Sidney A. Morris
A Fuzzy Decision Support System for Garment New Product Development / Jie Lu ; Yijun Zhu ; Xianyi Zeng ; Ludovic Koehl ; Jun Ma ; Guangquan Zhang
A Hybrid Nonlinear-Discriminant Analysis Feature Projection Technique / Rami N Khushaba ; Ahmed Al-Ani ; Adel Al-Jumaily ; Hung T. Nguyen
Vision and Image Processing
Learning Object Representations Using Sequential Patterns / Nobuyuki Morioka
Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling / John Thornton ; John Faichney ; Michael Blumenstein ; Trevor Hine
Learning a Generative Model for Structural Representations / Andrea Torsello ; David L. Dowe
AI Applications
Using Stereotypes to Improve Early-Match Poker Play / Robert Layton ; Chris Turville
CASPER: A Case-Based Poker-Bot / Ian Watson ; Jonathan Rubin
A Generalized Joint Inference Approach for Citation Matching / Zhihua Liao ; Zili Zhang
Agent-Based Collaborative System and Case-Based Conflict Resolution Process in Preliminary Ship Design / Kyung Ho Lee ; Jae Joon Lee ; Young Soo Han ; Jung Min Lee ; Byung Hak Lee
Author Index
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
42.

電子ブック

EB
Yoav Freund, László Györfi, Jörg Siekmann, György Turán, Thomas Zeugmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain (Extended Abstract) / Tom M. Mitchell
Regular Contributions
Statistical Learning
Generalization Bounds for Some Ordinal Regression Algorithms / Shivani Agarwal
Approximation of the Optimal ROC Curve and a Tree-Based Ranking Algorithm / Stephan Clemencon ; Nicolas Vayatis
Sample Selection Bias Correction Theory / Corinna Cortes ; Mehryar Mohri ; Michael Riley ; Afshin Rostamizadeh
Exploiting Cluster-Structure to Predict the Labeling of a Graph / Mark Herbster
A Uniform Lower Error Bound for Half-Space Learning / Andreas Maurer ; Massimiliano Pontil
Generalization Bounds for K-Dimensional Coding Schemes in Hilbert Spaces
Learning and Generalization with the Information Bottleneck / Ohad Shamir ; Sivan Sabato ; Naftali Tishby
Probability and Stochastic Processes
Growth Optimal Investment with Transaction Costs / Laszlo Gyorfi ; Istvan Vajda
Online Regret Bounds for Markov Decision Processes with Deterministic Transitions / Ronald Ortner
On-Line Probability, Complexity and Randomness / Alexey Chernov ; Alexander Shen ; Nikolai Vereshchagin ; Vladimir Vovk
Prequential Randomness
Some Sufficient Conditions on an Arbitrary Class of Stochastic Processes for the Existence of a Predictor / Daniil Ryabko
Nonparametric Independence Tests: Space Partitioning and Kernel Approaches / Arthur Gretton
Boosting and Experts
Supermartingales in Prediction with Expert Advice / Yuri Kalnishkan ; Fedor Zhdanov
Aggregating Algorithm for a Space of Analytic Functions / Mikhail Dashevskiy
Smooth Boosting for Margin-Based Ranking / Jun-ichi Moribe ; Kohei Hatano ; Eiji Takimoto ; Masayuki Takeda
Learning with Continuous Experts Using Drifting Games / Indraneel Mukherjee ; Robert E. Schapire
Entropy Regularized LPBoost / Manfred K. Warmuth ; Karen A. Glocer ; S.V.N. Vishwanathan
Active Learning and Queries
Optimally Learning Social Networks with Activations and Suppressions / Dana Angluin ; James Aspnes ; Lev Reyzin
Active Learning in Multi-armed Bandits / Andras Antos ; Varun Grover ; Csaba Szepesvari
Query Learning and Certificates in Lattices / M. Arias ; J.L. Balcazar
Clustering with Interactive Feedback / Maria-Florina Balcan ; Avrim Blum
Active Learning of Group-Structured Environments / Gabor Bartok ; Sandra Zilles
Finding the Rare Cube / Shlomo Hoory ; Oded Margalit
Inductive Inference
Iterative Learning of Simple External Contextual Languages / Leonor Becerra-Bonache ; John Case ; Sanjay Jain ; Frank Stephan
Topological Properties of Concept Spaces / Matthew de Brecht ; Akihiro Yamamoto
Dynamically Delayed Postdictive Completeness and Consistency in Learning / Timo Kotzing
Dynamic Modeling in Inductive Inference
Optimal Language Learning / Samuel E. Moelius III
Numberings Optimal for Learning
Learning with Temporary Memory / Steffen Lange
Erratum
Erratum: Constructing Multiclass Learners from Binary Learners: A Simple Black-Box Analysis of the Generalization Errors / Jittat Fakcharoenphol ; Boonserm Kijsirikul
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
43.

電子ブック

EB
José L. Balcázar, Josae Luis Balcaazar, Takeo Kanade, Philip M. Long, Frank Stephan, Frank Christian Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
44.

電子ブック

EB
Yang Cai, Julio Abascal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Human-Centric Computing / Part I:
Common Sense Reasoning - Prom Cyc to Intelligent Assistant / Kathy Panton ; Cynthia Matuszek ; Douglas Lenat ; Dave Schneider ; Michael Witbrock ; Nick Siegel ; Blake Shepard
Face for Ambient Interface / Maja Pantic
Empathic Computing / Yang Cai
Location and Activity Recognition Using eWatch: A Wearable Sensor Platform / Uwe Maurer ; Anthony Rowe ; Asim Smailagic ; Daniel Siewiorek
Ambient Interfaces / Part II:
Co-Creation in Ambient Narratives / Mark van Doorn ; Arjen P. de Vries
Living with Hyper-reality / Leonardo Bonanni
Ambient Pre-Communication / Atsunobu Kimura ; Yoshihiro Shimada ; Minoru Kobayashi
AmbientBrowser: Web Browser in Everyday Life / Satoshi Nakamura ; Mitsuru Minakuchi ; Katsumi Tanaka
Online Music Search by Tapping / Geoffrey Peters ; Diana Cukierman ; Caroline Anthony ; Michael Schwartz
Whistling to Machines / Urko Esnaola ; Tim Smithers
Speaker Identification and Speech Recognition Using Phased Arrays / Roger Xu ; Gang Mei ; ZuBing Ren ; Chiman Kwan ; Julien Aube ; Cedrick Rochet ; Vincent Stanford
Architectures in Ambient Intelligence / Part III:
A Middleware for the Deployment of Ambient Intelligent Spaces / Diego Lopez-de-Ipina ; Juan Ignacio Vazquez ; Daniel Garcia ; Javier Fernandez ; Ivan Garcia ; David Sainz ; Aitor Almeida
Ambient Interfaces for Elderly People at Home / Fausto J. Sainz Salces ; Michael Baskett ; David Llewellyn-Jones ; David England
A Smart Electric Wheelchair Using UPnP / Daniel Cascado ; Saturnino Vicente ; J. Luis Sevillano ; Claudio Amaya ; Alejandro Linares ; Gabriel Jimenez ; Anton Civit-Balcells
Collaborative Discovery Through Biological Language Modeling Interface / Madhavi Ganapathiraju ; Vijayalaxmi Manoharan ; Raj Reddy ; Judith Klein-Seetharaman
Author Index
Human-Centric Computing / Part I:
Common Sense Reasoning - Prom Cyc to Intelligent Assistant / Kathy Panton ; Cynthia Matuszek ; Douglas Lenat ; Dave Schneider ; Michael Witbrock ; Nick Siegel ; Blake Shepard
Face for Ambient Interface / Maja Pantic
45.

電子ブック

EB
Simon Parsons, Takeo Kanade, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
46.

電子ブック

EB
Iyad Rahwan, Simon Parsons, Chris Reed
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Argumentation and Dialogue / Part I:
A General Framework for Argumentation-Based Negotiation / Leila Amgoud ; Yannis Dimopoulos ; Pavlos Moraitis
On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation / Iyad Rahwan ; Philippe Pasquier ; Liz Sonenberg ; Frank Dignum
Co-argumentation Artifact for Agent Societies / Enrico Oliva ; Peter McBurney ; Andrea Omicini
On the Relevance of Utterances in Formal Inter-agent Dialogues / Simon Parsons ; Elizabeth Sklar ; Michael Wooldridge
A Persuasion Dialog for Gaining Access to Information / Laurent Perrussel ; Sylvie Doutre ; Jean-Marc Thevenin
Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format / Sanjay Modgil ; Jarred McGinnis
Argument-Based Reasoning / Part II:
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents / Dorian Gaertner ; Francesca Toni
The Hedgehog and the Fox: An Argumentation-Based Decision Support System / Maxime Morge
An Extended Value-Based Argumentation Framework for Ontology Mapping with Confidence Degrees / Cassia Trojahn ; Paulo Quaresma ; Renata Vieira
Defeasible Argumentation Support for an Extended BDI Architecture / Nicolas D. Rotstein ; Alejandro J. Garcia ; Guillermo R. Simari
Argumentation and Learning / Part III:
Arguing and Explaining Classifications / Mathieu Serrurier
An Argumentation-Based Framework for Deliberation in Multi-agent Systems / Santi Ontanon ; Enric Plaza
A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) / Wataru Makiguchi ; Hajime Sawamura
A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II)
Author Index
Argumentation and Dialogue / Part I:
A General Framework for Argumentation-Based Negotiation / Leila Amgoud ; Yannis Dimopoulos ; Pavlos Moraitis
On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation / Iyad Rahwan ; Philippe Pasquier ; Liz Sonenberg ; Frank Dignum
47.

電子ブック

EB
Jérôme Euzenat, John Domingue, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
48.

電子ブック

EB
Danail Dochev, Marco Pistore, Jörg Siekmann, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
Towards Agent-Oriented Relevant Information / Laurence Cholvy ; Stephanie Roussel
The Agent Modeling Language (AMOLA) / Nikolaos Spanoudakis ; Pavlos Moraitis
Natural Language Processing and Text Analysis / 2:
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game / Andrea Corradini
ASAP- An Advanced System for Assessing Chat Participants / Mihai Dascalu ; Erol-Valeriu Chioasca ; Stefan Trausan-Matu
Using Text Segmentation to Enhance the Cluster Hypothesis / Sylvain Lamprier ; Tassadit Amghar ; Bernard Levrat ; Frederic Saubion
Multilingual Plagiarism Detection / Zdenek Ceska ; Michal Toman ; Karel Jezek
Dealing with Spoken Requests in a Multimodal Question Answering System / Roberto Gretter ; Milen Kouylekov ; Matteo Negri
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study / Preslav Nakov
Machine Learning and Information Retrieval / 3:
Optimising Predictive Control Based on Neural Models / Maciej Lawrynczuk
Prototypes Based Relational Learning / Rocio Garcia-Duran ; Fernando Fernandez ; Daniel Borrajo
Robustness Analysis of SARSA([lambda]): Different Models of Reward and Initialisation / Marek Grzes ; Daniel Kudenko
Thematic Segment Retrieval Revisited
Knowledge Representation and Reasoning / 4:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models / Emilia Oikarinen ; Tomi Janhunen
Mapping Properties of Heterogeneous Ontologies / Chiara Ghidini ; Luciano Serafini
A Logical Approach to Dynamic Role-Based Access Control / Philippe Balbiani ; Yannick Chevalier ; Marwa El Houri
Interpolative Boolean Logic / Dragan Radojevic ; Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic
Abstract Argumentation Scheme Frameworks / Katie Atkinson ; Trevor Bench-Capon
Constraints, Heuristics, and Search / 5:
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models / Roman Bartak ; Ondrej Cepek
Incorporating Learning in Grid-Based Randomized SAT Solving / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm / Zhipeng Lu ; Jin-Kao Hao
Heuristic Hill-Climbing as a Markov Process / Carlos Linares Lopez
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs / Bayo Omomowo ; Ines Arana ; Hatem Ahriz
Applications / 6:
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
49.

電子ブック

EB
John Darzentas, Argyris Arnellos, Jörg Siekmann, Spyros Vosinakis, George A. Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Full Papers
Application of Naturalistic Decision Making to Emergency Evacuation Simulations / Fatemeh Alavizadeh ; Behzad Moshiri ; Caro Lucas
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web / Grigoris Antoniou ; Antonis Bikakis ; Polyvios Damianakis ; Mixalhs Foukarakis ; Giorgos Iacovidis ; Marianna Karmazi ; Haridimos Kondylakis ; Antreas Makridakis ; Giorgos Nikiforos ; Grigoris Papadourakis ; Manolis Papoutsakis ; Aggeliki Psyharaki ; Giorgos Stratakis ; Panagiotis Tourlakis ; Petros Tsialiamanis ; Giorgos Vasileiadis ; Gerd Wagner ; Dimitris Velegrakis
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Enhancing NetLogo to Simulate BDI Communicating Agents / Ilias Sakellariou ; Petros Kefalas ; Ioanna Stamatopoulou
Integration of Computational Intelligence Applications in Engineering Design / Kostas M. Saridakis
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps / Athanasios Tsadiras
Incremental Relevance Vector Machine with Kernel Learning / Dimitris Tzikas ; Aristidis Likas ; Nikolaos Galatsanos
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
50.

電子ブック

EB
F. Acar Savacı, Takeo Kanade, Ferit Acar Savacı
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
A Generative Model for Multi Class Object Recognition and Detection / Ilkay Ulusoy
Depth of General Scenes from Defocused Images Using Multilayer Feedforward Networks / Veysel Aslantas ; Mehmet Tunckanat
Tracking Control Based on Neural Network for Robot Manipulator / Murat Sonmez ; Ismet Kandilli ; Mehmet Yakut
Performance Evaluation of Recurrent RBF Network in Nearest Neighbor Classification / Mehmet Kerem Muezzinoglu
Tracking Aircrafts by Using Impulse Exclusive Filter with RBF Neural Networks / Pinar Civicioglu
A Multilayer Feedforward Fuzzy Neural Network / Aydogan Savran
Neural Networks and Cascade Modeling Technique in System Identification / Erdem Turker Senalp ; Ersin Tulunay ; Yurdanur Tulunay
Comparison of Complex-Valued Neural Network and Fuzzy Clustering Complex-Valued Neural Network for Load-Flow Analysis / Murat Ceylan ; Nurettin Cetinkaya ; Rahime Ceylan ; Yuksel Ozbay
A New Formulation for Classification by Ellipsoids / Aysegul Ucar ; Yakup Demir ; Cuneyt Guzelis
DSP Based Fuzzy-Neural Speed Tracking Control of Brushless DC Motor / Cetin Gencer ; Ali Saygin ; Ismail Coskun
Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach / Erdal Kilic ; Caglar Karasu ; Kemal Leblebicioglu
A Hybrid Neuro-Fuzzy Controller for Brushless DC Motors / Muammer Gokbulut ; Besir Dandil ; Cafer Bal
Can a Fuzzy Rule Look for a Needle in a Haystack? / Akira Imada
Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations / Hasan Ogul ; Erkan U. Mumcuoglu
Instrument Independent Musical Genre Classification Using Random 3000 ms Segment / Ali Cenk Gedik ; Adil Alpkocak
Unsupervised Image Segmentation Using Markov Random Fields / Abdulkadir Sengur ; Ibrahim Turkoglu ; M. Cevdet Ince
Modeling Interestingness of Streaming Classification Rules as a Classification Problem / Tolga Aydin ; Halil Altay Guvenir
Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms / Halit Ergezer
An Evolutionary Local Search Algorithm for the Satisfiability Problem / Levent Aksoy ; Ece Olcay Gunes
HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems / Zerrin Yumak ; Tatyana Yakhno
Elevator Group Control by Using Talented Algorithm / Ulvi Dagdelen ; Aytekin Bagis ; Dervis Karaboga
A Fault Tolerant System Using Collaborative Agents / Sebnem Bora
3-D Object Recognition Using 2-D Poses Processed by CNNs and a GRNN / Ovung Polat ; Vedat Tausanoglu
Author Index
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
51.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Żurada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
52.

電子ブック

EB
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
53.

電子ブック

EB
Jacques Calmet, Tetsuo Ida, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
54.

電子ブック

EB
Lionel Prevost, Simone Marinai, Friedhelm Schwenker, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Fuzzy Evolutionary Probabilistic Neural Networks / V.L. Georgiou ; Ph.D. Alevizos ; M.N. Vrahatis
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Mining Software Aging Patterns by Artificial Neural Networks / Hisham El-Shishiny ; Sally Deraz ; Omar Bahy
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
55.

電子ブック

EB
Friedhelm Schwenker, Takeo Kanade, Simone Marinai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
Adaptive Feedback Inhibition Improves Pattern Discrimination Learning / Frank Michler ; Thomas Wachtler ; Reinhard Eckhorn
Semi-supervised Learning
Supervised Batch Neural Gas / Barbara Hammer ; Alexander Hasenfuss ; Frank-Michael Schleif ; Thomas Villmann
Fuzzy Labeled Self-Organizing Map with Label-Adjusted Prototypes / Udo Seiffert ; Cornelia Bruss ; Tina Geweniger
On the Effects of Constraints in Semi-supervised Hierarchical Clustering / Hans A. Kestler ; Johann M. Kraus ; Gunther Palm ; Friedhelm Schwenker
A Study of the Robustness of KNN Classifiers Trained Using Soft Labels / Neamat El Gayar
Supervised Learning
An Experimental Study on Training Radial Basis Functions by Gradient Descent / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
A Local Tangent Space Alignment Based Transductive Classification Algorithm / Jianwei Yin ; Xiaoming Liu ; Zhilin Feng ; Jinxiang Dong
Incremental Manifold Learning Via Tangent Space Alignment
A Convolutional Neural Network Tolerant of Synaptic Faults for Low-Power Analog Hardware / Johannes Fieres ; Karlheinz Meier ; Johannes Schemmel
Ammonium Estimation in a Biological Wastewater Plant Using Feedforward Neural Networks / Hilario Lopez Garcia ; Ivan Machon Gonzalez
Support Vector Learning
Support Vector Regression Using Mahalanobis Kernels / Yuya Kamada ; Shigeo Abe
Incremental Training of Support Vector Machines Using Truncated Hypercones / Shinya Katagiri
Fast Training of Linear Programming Support Vector Machines Using Decomposition Techniques / Yusuke Torii
Multiple Classifier Systems
Multiple Classifier Systems for Embedded String Patterns / Barbara Spillmann ; Michel Neuhaus ; Horst Bunke
Multiple Neural Networks for Facial Feature Localization in Orientation-Free Face Images / Lionel Prevost ; Rachid Belaroussi ; Maurice Milgram
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory / Rebecca Fay ; Christian Thiel
Combining MF Networks: A Comparison Among Statistical Methods and Stacked Generalization
Visual Object Recognition
Object Detection and Feature Base Learning with Sparse Convolutional Neural Networks / Alexander R.T. Gepperth
Visual Classification of Images by Learning Geometric Appearances Through Boosting / Martin Antenreiter ; Christian Savu-Krohn ; Peter Auer
An Eye Detection System Based on Neural Autoassociators / Monica Bianchini ; Lorenzo Sarti
Orientation Histograms for Face Recognition / Andreas Sachs
Data Mining in Bioinformatics
An Empirical Comparison of Feature Reduction Methods in the Context of Microarray Data Classification / Christoph Mussel
Unsupervised Feature Selection for Biomarker Identification in Chromatography and Gene Expression Data / Marc Strickert ; Nese Sreenivasulu ; Silke Peterek ; Winfriede Weschke ; Hans-Peter Mock
Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles / Wolfgang Lindner ; Andre Muller
Author Index
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
56.

電子ブック

EB
Hoon Hong, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
57.

電子ブック

EB
Alessandro Armando, Peter Baumgartner, Gilles Dowek, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
Proving Bounds on Real-Valued Functions with Computations / Guillaume Melquiond
Linear Quantifier Elimination / Tobias Nipkow
Quantitative Separation Logic and Programs with Lists / Marius Bozga ; Radu Iosif ; Swann Perarnau
On Automating the Calculus of Relations / Peter Hofner ; Georg Struth
Automated Verification / Session 3:
Towards SMT Model Checking of Array-Based Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Preservation of Proof Obligations from Java to the Java Virtual Machine / Gilles Barthe ; Benjamin Gregoire ; Mariela Pavlova
Efficient Well-Definedness Checking / Adam Darvas ; Farhad Mehta ; Arsenii Rudich
Protocol Verification / Session 4:
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5:
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6:
Modal Logics / Session 7:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8:
Description Logics / Session 9:
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10:
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11:
Equational Theories / Session 12:
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13:
Theorem Proving 1 / Session 14:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15:
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16:
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17:
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18:
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
58.

電子ブック

EB
Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
59.

電子ブック

EB
Qiang Huo, Eng-Siong Chng, Takeo Kanade, Haizhou Li, Bin Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
60.

電子ブック

EB
Ruqian Lu, Jörg Siekmann, Jörg H. Siekmann, Carsten Ullrich
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
61.

電子ブック

EB
Pompeu Casanovas, Pompeu Casanovas Romeu, Núria Casellas, Rossella Rubino, Giovanni Sartor, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II:
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III:
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV:
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V:
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
ICT-Supported Dispute Resolution / Claudia Cevenini ; Gianluigi Fioriglio
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
62.

電子ブック

EB
De-Shuang Huang, George William Irwin, Takeo Kanade, Kang Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
Delay-Dependent Stability of a Class of Nonlinear Systems with Time Delays Based on Fuzzy Hyperbolic Model / Huaguang Zhang ; Jun Yang
Evaluation of the Aquaculture Pond Water Quality Based on Fuzzy Mathematics Model / Ruimei Wang ; Xiaoshuan Zhang ; Wengui Cai ; Jinhuan Wu ; Zetian Fu
Fuzzy Reasoning Application in Redundant Manipulator Movement Regulation / Jianmin Jiao ; Huan Li ; Hongfu Zuo
GFHM Model and Control for Uncertain Chaotic System / Dongsheng Yang ; Zhiliang Wang ; Yingchun Wang
Using Fuzzy Decision Tree to Handle Uncertainty in Context Deduction / Donghai Guan ; Weiwei Yuan ; A. Gavrilov ; Sungyoung Lee ; Youngkoo Lee ; Sangman Han
Variable Universe Adaptive Fuzzy Sliding Mode Controller for a Class of Nonlinear System / Yunfeng Liu ; Dong Miao ; Yunhui Peng ; Xiaogang Yang
A Dynamic Decision Method Based on Triangular and Pillared Fuzzy Numbers / Dar-Ying Jan ; Ziping Chiang
A Fuzzy PID Controller for Controlling Flotation De-inking Column / Jinxing Liu ; Huanbin Liu ; Wenhao Shen ; Yonggen Xu ; Shuangchun Yang
A New Uniform OR Operation Model Based on Generalized S-Norm / Zhicheng Chen ; Mingyi Mao ; Weikang Yang ; Huacan He
A Study of Product Development Time Based on Fuzzy Timed Workflow Net / Xianfeng Fan ; Hong-Zhong Huang ; Jun Hu ; Xu Zu ; Ping Yang
An AHP-Fuzzy Synthetic Evaluation Model Based on Evidence Theory / Xiaoyi Wang ; Chaozhen Hou ; Jumei Yuan ; Zaiwen Liu
Direction Fuzzy Sets / Jixing Wang
Fuzzy Compensator Using RGA for TRMS Control / Jih-Gau Juang ; Wen-Kai Liu
Fuzzy-Neural Network Adaptive Sliding Mode Tracking Control for Interconnected System / Yan-xin Zhang ; Hai-rong Dong
Measure of Certainty with Fuzzy Entropy Function / Sang-Hyuk Lee ; Seong-Pyo Cheon ; Jinho Kim
Motion Planning of Redundant Robots with Singularities Using Transputer Based Fuzzy Inverse Kinematic Method / Chih-Jer Lin ; Chieh-Li Chen
Robust Passive Control for T-S Fuzzy Systems / Yanjiang Li ; Yanming Fu ; Guangren Duan
Robust Stabilization of Takagi-Sugeno Fuzzy Systems with Parametric Uncertainties Using Fuzzy Region Concept / Zhicheng Ji ; Yinghuan Zhou ; Yanxia Shen
Quantitative Measurement for Fuzzy System to Input and Rule Perturbations / Dong-Jun Yu ; Xiao-Jun Wu ; Jing-Yu Yang
Modeling of Distributed Intrusion Detection Using Fuzzy System / Heesuk Seo ; Taekyung Kim ; Hyungjong Kim
Temporal Error Concealment Algorithm Using Fuzzy Metric / Changcai Lai ; Chongyang Hao ; Xiangyu Shen
Universal Approximation of Binary-Tree Hierarchical Fuzzy Systems with Typical FLUs / Xiangyan Zhang ; Naiyao Zhang
Fuzzy-Neuro-Evolutionary Hybrids
A New Fuzzy Membership Function with Applications in Interpretability Improvement of Neurofuzzy Models / John Q. Gan ; Shang-Ming Zhou
Fuzzy Data Clustering Using Artificial Immune Network / Li Liu ; Wenbo Xu
RAOGA-Based Fuzzy Neural Network Model of Design Evaluation / Li-Hua Xue ; Qiang Miao ; Dan Ling
The Development of a Weighted Evolving Fuzzy Neural Network / Pei-Chann Chang ; Chen-Hao Liu ; Chia-Hsuan Yeh ; Shih-Hsin Chen
Fuzzy Neural Classifier for Transformer Fault Diagnosis Based on EM Learning / Hongsheng Su ; Qunzhan Li
System Identification Using Hierarchical Fuzzy CMAC Neural Networks / Floriberto Ortiz Rodriguez ; Wen Yu ; Marco A. Moreno-Armendariz
Supervised, Unsupervised and Reinforcement Learning
A Reliable Resilient Backpropagation Method with Gradient Ascent / Xugang Wang ; Hongan Wang ; Guozhong Dai ; Zheng Tang
Face Recognition Using Null Space-Based Local Discriminant Embedding / Yanmin Niu ; Xuchu Wang
Reformulated Parametric Learning Based on Ordinary Differential Equations / Shuang-Hong Yang ; Bao-Gang Hu
Supervised Feature Extraction Algorithm Based on Continuous Divergence Criterion / Shifei Ding ; Zhongzhi Shi ; Fengxiang Jin
A New Binary Classifier: Clustering-Launched Classification / Tung-Shou Chen ; Chih-Chiang Lin ; Yung-Hsing Chiu ; Hsin-Lan Lin ; Rong-Chang Chen
A Novel Clustering Algorithm Based on Variable Precision Rough-Fuzzy Sets / Zhiqiang Bao ; Bing Han ; Shunjun Wu
Applying Bayesian Approach to Decision Tree / Yatong Zhou ; Taiyi Zhang ; Zhigang Chen
Approximation Algorithms for K-Modes Clustering / Zengyou He ; Shengchun Deng ; Xiaofei Xu
Convergence of a New Decomposition Algorithm for Support Vector Machines / Yan-Guo Wang ; Hong Qiao ; Bo Zhang
Online Learning of Bayesian Network Parameters with Incomplete Data / Sungsoo Lim ; Sung-Bae Cho
Intelligent Agent and Web Applications
A Genetic Algorithm for Optimization of Bandwidth Assignment in Hose-Modeled VPN / Yuanping Zou ; Zhengkun Mi ; Xudong Meng
A Kind of Adaptive Negotiation Mechanism for Flexible Job Shop Scheduling / Cixing Lv ; Zhongqi Sheng ; Sufen Li ; Chaowan Yin ; Yunlong Zhu
A Novel Key Management and Access Control Scheme for Mobile Agent / Jen- Yi Pan ; Tzer-Long Chen ; Tzer-Shyong Chen
Analysis on Negotiation in Platform-Level Armored Force Combat Entity Agents System / Xiong Li ; Kai Wang ; Xianggang Liu ; Jiuting Duo
Conflict Resolution and Preference Learning in Ubiquitous Environment / Md. Kamrul Hasan ; Kim Anh ; Lenin Mehedy ; Young-Koo Lee
Design and Implement of Customer Information Retrieval System Based on Semantic Web / Mi Sug Gu ; Jeong Hee Hwang ; Keun Ho Ryu
Emerging Hybrid Computational Models / Roman Neruda
Knowledge Base Constructing Based on Intelligence Technology / Jian Zhang ; Peng Gao ; Miao Li
Managing Workflows in Data Environments Using Semantic Technologies / Nada Hashmi ; Abdullah Al-Malaise ; Suleman Shahid ; Muhammad Zubair Afzal
On Studying P2P Topology Based on Modified Fuzzy Adaptive Resonance Theory / Yufeng Wang ; Wendong Wang
A Self-organising Agent Assistant System / Ji Gao
Semantic Based Approximate Query Across Multiple Ontologies / Yinglong Ma ; Beihong Jin
A Simulation-Based Process Model Learning Approach for Dynamic Enterprise Process Optimization / WenAn Tan
Task Assigning and Optimizing of Genetic-Simulated Annealing Based on Mas / Yong Liu ; Shujuan Li ; Yan Li
A Domain-Based Intelligent Search Engine / Minjuan Zhong ; Xingdong Lu
A PDA Based Personalized 3D Facial Expression System / Seongah Chin ; Jongkyeong Park
A Skew Free Korean Character Recognition System for PDA Devices / Youngmee Choi ; Moonwon Choo
An Agent-Based Multi-issue Negotiation Model in E-Commerce / Xiao-Xuan Zhang ; Supratip Ghose ; Geun-Sik Jo
Integrating Extended Attributed Relational Graph and Structured Modeling: Toward Multimedia-Based Decision Support in Virtual Product Design / Oh-Byung Kwon ; Kyoung-Yun Kim ; Hyung-Jeong Yang
Multi-agent Modeling and Simulation for Petroleum Supply Chain / Jiang Tian ; Huaglory Tianfield
Optimize Cooperative Agents with Organization in Distributed Scheduling System / Wei Fan ; Fan Xue
Phrase-Based Statistical Machine Translation by Using Reordering Search and Additional Features / Yi Luo
Smart E-Learning Using Recommender System / Nuanwan Soonthornphisaj ; Ekkawut Rojsattarat ; Sukanya Yim-ngam
Strategic Learning in the Sealed-Bid Bargaining Mechanism by Particle Swarm Optimization Algorithm / Xiaobo Zhu ; Qian Yu ; Xianjia Wang
System on a Chip Implementation of Social Insect Behavior for Adaptive Network Routing / Jin-Ho Ahn ; Hyunjin Kim ; Byung In Moon ; Sungho Kang
Intelligent Fault Diagnosis
Authoritative Server's Impact on Domain Name System's Performance and Security / Yao Wang ; Ming-Zeng Hu ; Bin Li ; Bo-Ru Yan
Comparison Model and Algorithm for Distributed Firewall Policy / Weiping Wang ; Wenhui Chen ; Zhepeng Li ; Huaping Chen
Fourier and Wavelet Transformations for the Fault Detection of Induction Motor with Stator Current / Yountae Kim ; Sungshin Kim
Prediction of Equipment Maintenance Using Optimized Support Vector Machine / Yi Zeng ; Wei Jiang ; Changan Zhu ; Jianfeng Liu ; Weibing Teng ; Yidong Zhang
The Covariance Constraint Control Method of Fault Detect for Complicated Systems / Darong Huang ; Xiyue Huang ; Changcheng Xiang ; Wei Li ; Yin Zhang
A Fault Diagnosis Prototype System Based on Causality Diagram / Xinghua Fan ; Feng Hu ; Simon X. Yang
Adaptive Neural Model Based Fault Tolerant Control for Multi-variable Process / Cuimei Bo ; Jun Li ; Zhiquan Wang ; Jinguo Lin
Algorithm of Pipeline Leak Detection Based on Discrete Incremental Clustering Method / Jian Feng
A BP Neural Network Based Technique for HIF Detection and Location on Distribution Systems with Distributed Generation / Arturo Suman Bretas ; Luciano Fires ; Miguel Moreto ; Rodrigo Hartstein Salim
The Application of Grey Relation Close Degree Model in the Fault Diagnosis / Cuifeng Li ; Wenzhan Dai
Embedded Reversible Medical Image Compression Using Integer Wavelet Transform / Li-bao Zhang ; Ming-quan Zhou
Fault Detection Method Based on Artificial Immune System for Complicated Process / Chunliu Xiong ; Yuhong Zhao ; Wei Liu
Induction Machine Rotor Diagnosis Using Support Vector Machines and Rough Set / Ruiming Fang
Intelligent Process Trend Recognition Fault Diagnosis and Industrial Application / Sien Lu ; Biao Huang
Multiple Fault Diagnosis Approach for Rotary Machines Based on Matter-Element / Wen Jin ; Chang-Zheng Chen ; Zhi-Hao Jin
Numerical Model and Analysis on Dynamics of Composites for Active Damage Detection / Zhi Wei ; Minqiao Lu ; Jun Zhang
SoC Test Scheduling Algorithm Using ACO-Based Rectangle Packing
Fault Diagnosis and Accommodation Based on Online Multi-model for Nonlinear Process / Jiugen Zhang ; Jie Du
Natural Language Processing and Expert Systems
A Mongolian Speech Recognition System Based on HMM / Guanglai Gao ; Biligetu ; Nabuqing ; Shuwu Zhang
Conditional Random Fields Based Label Sequence and Information Feedback / Yi Guan ; Xiao-Long Wang
Ontology-Based Automatic Classification of Web Documents / MuHee Song ; SooYeon Lim ; Dong Jin Kang ; SangJo Lee
Recognition of Emotion with SVMs / Zhi Teng ; Fuji Ren ; Shingo Kuroiwa
A Proposal for an XML Definition of a Dynamic Spoken Interface for Ambient Intelligence / German Montoro ; Pablo A. Hay ; Xavier Alaman ; Ramon Lopez-Cozar ; Zoraida Callejas
Intelligent Interface for Recognition and Verification of Natural Language Commands / Maciej Majewski ; Wojciech Kacalak
Intrusion Detection Based on Data Mining / Jian Yin ; Fang Mei ; Gang Zhang
Knowledge Representation in a Behavior-Based Natural Language Interface for Human-Robot Communication / Fangju Wang
Method Combining Rule-Based and Corpus-Based Approaches for Oracle-Bone Inscription Information Processing / Huiying Cai ; Minghu Jiang ; Beixing Deng ; Lin Wang
Intelligent System for Natural Language Processing
Text-Based English-Arabic Sentence Alignment / Mohamed Abdel Fattah
Intelligent Financial Engineering
The Advantage of Harmonic Asian Options and an Approximation Approach / Xu Chen ; Jianping Wan
An Estimation Model of Research Cost Based on Rough Set and Artificial Neural Network / Yangyi Jiang ; Hengxi Zhang ; Jiang Xie ; Ke Meng
Analyzing Livestock Farm Odour Using a Neuro-fuzzy Approach / Leilei Pan
Credit Risk Assessment in Commercial Banks Based on Multi-layer SVM Classifier / Wei Sun ; Chenguang Yang
Special Session on Intelligent Algorithms for Game Theory
Poisson Process with Fuzzy Time-Dependent Intensity / Shunqin Li ; Wansheng Tang ; Chao Zhang
Pricing R&D Option with Combining Randomness and Fuzziness / Jinliang Zhang ; Huibin Du
Two-Person Zero-Sum Matrix Game with Fuzzy Random Payoffs / Lin Xu ; Ruiqing Zhao ; Yufu Ning
Estimating the Contingency of R&D Project in a Fuzzy Environment / Changsheng Yi ; Ying Liu
Parallel Combination of Genetic Algorithm and Ant Algorithm Based on Dynamic K-Means Cluster / Jianli Ding ; Liuqing Wang
Properties and Relations Between Implication Operators / Jiaxin Han ; Yingcang Ma
Quantum Network Optimization Based on the Use of Relaxing Qubits / Min Jiang ; Zeng-ke Zhang ; Tzyh-Jong Tarn
Special Session on Intelligent Computing for Information Perception and Integration in Intelligent Control System
Neural Network Based Modeling for Oil Well Pressure Data Compensation System / Jian-long Tang ; En Li ; Zeng-guang Hou ; Qi Zuo ; Zi-ze Liang ; Min Tan
Video Object Contour Tracking Using Improved Dual-Front Active Contour / Qihe Li ; Yuping Luo ; Deyun Xiao
Motion Deblurring for a Power Transmission Line Inspection Robot / Siyao Fu ; Yunchu Zhang ; Xiaoguang Zhao ; Zize Liang ; Zengguang Hou ; Anmin Zou ; Wenbo Ye ; Lian Bo
Viewpoint-Invariant Face Recognition Based on View-Based Representation / Jinyun Chung ; Juho Lee ; Hyun Jin Park ; Hyun Seung Yang
Visual Information Representation Using Embedded Block with Significance Selecting Model / Wentong Xue ; Jianshe Song ; Lihai Yuan ; Tao Shen
Visual Navigation for a Power Transmission Line Inspection Robot / Yongqian Zhang
Special Session on Language Processing for Affective Computing
A Semantic Analyzer for Aiding Emotion Recognition in Chinese / Jiajun Yan ; David B. Bracewell
Emotion Estimation System Based on Emotion Occurrence Sentence Pattern / Kazuyuki Matsumoto
Acoustic and Physiological Feature Analysis of Affective Speech / Dandan Cui ; Lianhong Cai
Determining the Emotion of News Articles / Junko Minato
Statistical Analysis of a Japanese Emotion Corpus for Natural Language Processing
Treatment of Quantifiers in Chinese-Japanese Machine Translation / Dapeng Yin ; Min Shao ; Peilin Jiang
Special Session on Intelligent Computing for Software Reliability Engineering
A Pruning Based Incremental Construction of Horizontal Partitioned Concept Lattice / Lihua Hu ; Jifu Zhang ; Sulan Zhang
Research on Spatial Data Mining Based on Knowledge Discovery / Zhong Qu ; Lian Wang
Similarity Measure Construction Using Fuzzy Entropy and Distance Measure / Jang-Mok Kim ; Young-Kiu Choi
Software Metrics Data Clustering for Quality Prediction / Bingbing Yang ; Xin Zheng ; Ping Guo
Special Session on Credibility Theory with Applications
A Hybrid Intelligent Algorithm for Vehicle Routing Models with Fuzzy Travel Times / Jin Peng ; Gang Shang
Solving Fuzzy Chance-Constrained Programming with Ant Colony Optimization-Based Algorithms and Application to Fuzzy Inventory Model / Yuanguo Zhu
The Infinite Dimensional Product Possibility Space and Its Applications / Yan-Kui Liu ; Baoding Liu ; Yanju Chen
Special Session on Intelligent Computing for Agile Manufacturing Systems
A New Sensor Fault Diagnosis Technique Based Upon Subspace Identification and Residual Filtering / Srinivasan Rajaraman ; Uwe Kruger ; M. Sam Mannan ; Juergen Hahn
Particle Swarm Optimization for Open Vehicle Routing Problem / Wanliang Wang ; Bin Wu ; Yanwei Zhao ; Dingzhong Feng
A Genetic Algorithm Approach on a Facility Layout Design Problem with Aisles / Gengui Zhou ; Mujing Ye ; Zhenyu Cao ; Feng Ye
A Novel Game-Theory-Based Analysis Approach for Running a Supply Chain Project / Ding-zhong Feng ; Lei-lei Chen ; Mei-xian Jiang
The Dynamics Mechanism Study on Interactive Development of Industry Clusters and Urbanization / Weixiang Xu ; Ye Jiang ; Bin Yu ; Gennian Tang
Special Session on Networked Control Systems
A Proposed Case Study for Networked Control System / Taicheng Yang ; Minrui Fei ; Dingyu Xue ; Yuemei Tan ; Xiaobing Zhou
Adaptive Control Systems with Network Closed Identification Loop / Lixiong Li ; Xianya Xie
An Initial Study of Gain-Scheduling Controller Design for NCS Using Delay Statistical Model / T.C. Yang ; Heshou Wang
An Overview of Wireless Networks in Control and Monitoring / George W. Irwin ; Jeremy Colandairaj ; William G. Scanlon
An Improved Deadline-Based Message Scheduling Algorithm for Real-Time Control Network / Qingyu Yang ; Lincang Ju ; Sibo Ge ; Ren Shi
Study on Inter-operability Unit for an Automobile Network / Sungyun Jung ; Sung-oh Yang ; Kwang-Ryul Baek
The Networked Control Systems Based on Predictive Functional Control / Jianguo Wu
Special Session on Intelligence Computation and Its Application
A Modified Fuzzy C-Means Algorithm for Association Rules Clustering / Dechang Pi ; Xiaolin Qin ; Peisen Yuan
Adaptive Fuzzy Control of Lateral Semi-active Suspension for High-Speed Railway Vehicle / Jianwei Yang ; Jie Li ; Yanping Du
Car Plate Localization Using Modified PCNN in Complicated Environment / Xin Yuan ; Lei Wang ; Miaoliang Zhu
Enhancing Contrast for Image Using Discrete Stationary Wavelet Transform and Non-linear Gain Operator / Changjiang Zhang ; Xiaodong Wang ; Haoran Zhang
Graph-Based Ant System for Optimal Sizing of Standalone Hybrid Wind/PV Power Systems / Daming Xu ; Longyun Kang ; Binggang Cao
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning / Xiaoqiang Cai ; Yongjian Li ; Fengsheng Tu
Solving Multi-period Financial Planning Problem Via Quantum-Behaved Particle Swarm Algorithm / Jun Sun ; Wei Fang
A Boosting Approach for Utterance Verification / Chengyu Dong ; Yuan Dong ; Dezhi Huang ; Jun Guo ; Haila Wang
A Comparative Study on Computerised Diagnostic Performance of Hepatitis Disease Using ANNs / Revna Acar Vural ; Lale Ozyilmaz ; Tulay Yildirim
A Two-View CoTraining Rule Induction System for Information Extraction / Jing Xiao
A Ubiquitous Healthcare Service System for Benign Prostatic Hyperplasia Patients / Keon Myung Lee ; WonSeob Yang ; Kyung Mi Lee ; Wun-Jae Kim ; Seok Jung Yoon
An ANN-Based Classification System for Automobile Parts with Different Shapes / Jihong Liu ; GuangLu Zhao ; Lingbo Kong
An Indirect and Efficient Approach for Solving Uncorrelated Optimal Discriminant Vectors / Quan-Sen Sun ; Zhang Jin ; Pheng-Ann Heng ; De-Shen Xia
Constructing Full Matrix Through Naive Bayesian for Collaborative Filtering / Kyung-Yong Jung ; Hee-Joung Hwang ; Un-Gu Kang
Enhancing Particle Swarm Optimization Based Particle Filter Tracker / Qicong Wang ; Li Xie ; Jilin Liu ; Zhiyu Xiang
Moving Target Tracking Via Adaptive One Step Ahead Neuro-Fuzzy Estimator / Cihan Karakuzu ; Gokalp Gurbuzer
Optimization of Special Vehicle Routing Problem Based on Ant Colony System / Xia Liu ; Huan Qi ; Yingchun Chen
Pattern Finding Algorithm Based on Cloud Models / Yingjun Weng ; Laide Shi
POCS Super-Resolution Sequence Image Reconstruction Based on Image Registration Excluded Aliased Frequency Domain / Chong Fan ; Jianya Gong ; Jianjun Zhu ; Lihua Zhang
The Cooperative Optimization Metaheuristic: Inspiration from Nature and Applications / Xiaofei Huang
Use APEX Neural Networks to Extract the PN Sequence in Lower SNR DS-SS Signals / Tianqi Zhang ; Zengshan Tian ; Qianbin Chen ; Xiaokang Lin ; Zhengzhong Zhou
Special Session on Intelligent Ad Hoc Networks and Wireless Sensor Networks
A New Chain-Based Data Gathering Protocol for Wireless Sensor Transportation Monitoring Network / Lingyun Yuan
Distributed Computing Paradigm for Target Classification in Sensor Networks / Peng Zeng ; Yan Huang ; Haibin Yu
QoS Multicast Routing Algorithm in Manet: An Entropy-Based GA / Hua Chen ; Baolin Sun ; Yue Zeng
Simulating an Intelligence Fault Tolerance System for Situation-Aware Ubiquitous Computing / Eung Nam Ko
An Access Control Mechanism Based on Situation-Aware Ubiquitous Computing for Seamless Multimedia View Sharing
Clustering Algorithm Using Bayes' Rule in Mobile Wireless Sensor Networks / Young-Bae Kong ; Kyung-Bae Chang ; Gwi-Tae Park
Dynamic Control of Packet Transmission Rate Using Fuzzy Logic for Ad Hoc Networks / Tae-Hwan Son
ESTS: An Error Statistic Based Time Synchronization Protocol for Wireless Sensor Networks / Limin Sun ; Haidong Wang ; Tingxin Yan ; Jingjing Liu
Extending the Lifetime of Ad Hoc Wireless Networks / R.I. da Silva ; J.C.B. Leite ; M.P. Fernandez
Author Index
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
63.

電子ブック

EB
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yu-Ping Wang, Hujun Yin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
64.

電子ブック

EB
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yuping Wang, Hujun Yin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
65.

電子ブック

EB
Francesca Toni, Takeo Kanade, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
66.

電子ブック

EB
Katsumi Inoue, Ken Satoh, Jörg Siekmann, Francesca Toni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
67.

電子ブック

EB
Fariba Sadri, Ken Satoh, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
68.

電子ブック

EB
Renata Vieira, Maria Carmelita Dias, Takeo Kanade, Nuno J. Mamede, Maria das Graças Volpe Nunes, Cláudia Oliveira, Paulo Quaresma
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
69.

電子ブック

EB
Deepak Kapur, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Algorithms and Implementations
Computing the Minkowski Value of the Exponential Function over a Complex Disk / Hyeong In Choi ; Rida T. Farouki ; Chang Yong Han ; Hwan Pyo Moon
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact / S. Liang ; D.J. Jeffrey
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval / Hiroshi Sekigawa
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping / Mohab Safey El Din
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method? / Liangyu Chen ; Zhenbing Zeng
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis / Manfred Minimair
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix / Nor'aini Aris ; Shamsatun Nahar Ahmad
Efficient Algorithms for Computing Noether Normalization / Amir Hashemi
Stability of GPBiCG_AR Method Based on Minimization of Associate Residual / Moe Thuthu ; Seiji Fujino
Evaluation of a Java Computer Algebra System / Heinz Kredel
A New Property of Hamming Graphs and Mesh of d-ary Trees / Alain Bretto ; Cerasela Jaulin ; Luc Gillibert ; Bernard Laget
Numerical Methods and Applications
An Interpolation Method That Minimizes an Energy Integral of Fractional Order / H. Gunawan ; F. Pranolo ; E. Rusyaman
Solving Biomechanical Model Using Third-Order Runge-Kutta Methods / R.R. Ahmad ; A.S. Rambely ; L.H. Lim
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems / Basem S. Attili
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution / Suvra Sarkar ; Sougata Patra
A Method and Its Implementation for Constructing Backlund Transformations to Nonlinear Evolution Equations / Zhibin Li ; Yinping Liu ; Haifeng Qian
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators / Ekaterina Shemyakova ; Franz Winkler
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media / Seripah Awang Kechil ; Ishak Hashim
Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream / Anuar Ishak ; Roslinda Nazar ; Ioan Pop
Elimination: Triangular Forms, Resultants, Equation Solving
An Algorithm for Transforming Regular Chain into Normal Chain / Banghe Li ; Dingkang Wang
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals / Jia Li ; Xiao-Shan Gao
Regular Decompositions / Guillaume Moroz
Floating-Point Grobner Basis Computation with Ill-conditionedness Estimation / Tateaki Sasaki ; Fujio Kako
The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports / Eng-Wee Chionh
Properties of Ascending Chains for Partial Difference Polynomial Systems / Gui-Lin Zhang
Cryptology
Some Mathematical Problems in Cryptanalysis / Xiaoyun Wang
A Reduction Attack on Algebraic Surface Public-Key Cryptosystems / Maki Iwami
Computational Logic
The Four Colour Theorem: Engineering of a Formal Proof / Georges Gonthier
On the Computation of Elimination Ideals of Boolean Polynomial Rings / Yosuke Sato ; Akira Nagai ; Shutaro Inoue
Computer Search for Large Sets of Idempotent Quasigroups / Feifei Ma ; Jian Zhang
Author Index
Algorithms and Implementations
Computing the Minkowski Value of the Exponential Function over a Complex Disk / Hyeong In Choi ; Rida T. Farouki ; Chang Yong Han ; Hwan Pyo Moon
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact / S. Liang ; D.J. Jeffrey
70.

電子ブック

EB
Yuji Matsumoto, Takeo Kanade, Richard W. Sproat, Kam-Fai Wong, Min Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
71.

電子ブック

EB
Henrik Schärfe, Pascal Hitzler, Takeo Kanade, Peter Øhrstrøm
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
72.

電子ブック

EB
Peter Eklund, Ollivier Haemmerlé, Jorg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Diagrammatic Reasoning Systems / John Howse
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Web, Graphs and Semantics / Olivier Corby
Transdisciplinarity and Generalistic Sciences and Humanities / Rudolf Wille
Jacob Lorhard's Ontology: A 17th Century hypertext on the Reality and Temporality of the World of Intelligibles / Peter Ohrstrom ; Henrik Scharfe ; Sara L. Uckelman
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution / Mary Keeler
Conceptual Spider Diagrams / Frithjof Dau ; Andrew Fish
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation / Michel Leclere ; Marie-Laure Mugnier
Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs / Patrice Buche ; Juliette Dibie-Barthelemy ; Gaelle Hignette
Query-Answering CG Knowledge Bases / Nicolas Moreau
Attribute Exploration Using Implications with Proper Premises / Heiko Reppe
Sorting Concepts by Priority Using the Theory of Monotone Systems / Ants Torim ; Karin Lindroos
Extending Attribute Dependencies for Lattice-Based Querying and Navigation / Nizar Messai ; Marie-Dominique Devignes ; Amedeo Napoli ; Malika Smail-Tabbone
PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts / Rokia Bendaoud ; Yannick Toussaint
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis / Mireille Ducasse ; Sebastien Ferre
Contextual Cognitive Map / Lionel Chauvin ; David Genest ; Stephane Loiseau
Employing a Domain Specific Ontology to Perform Semantic Search / Maxime Morneau ; Guy W. Mineau
Concept Similarity and Related Categories in SearchSleuth / Jon Ducrou ; Peter Eklund
Grounded Conceptual Graph Models / Harry S. Delugach ; Daniel M. Rochowiak
Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? / Boris A. Galitsky ; Sergei O. Kuznetsov
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit / Jean-Francois Baget ; Rose Dieng-Kuntz ; Catherine Faron-Zucker ; Fabien Gandon ; Alain Giboin ; Alain Gutierrez ; Rallou Thomopoulos
Author Index
Diagrammatic Reasoning Systems / John Howse
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Web, Graphs and Semantics / Olivier Corby
73.

電子ブック

EB
Jean-François Boulicaut, Takeo Kanade, Heikki Mannila, Luc Raedt, Luc de Raedt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック

EB
Matthias Klusch, Takeo Kanade, Terry R. Payne, Michael Rovatsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
75.

電子ブック

EB
Jaime G. Carbonell, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
76.

電子ブック

EB
Jaime Simão Sichman, Pablo Noriega, Sascha Ossowski, Julian Padget
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Coordination
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
A Contract Model for Electronic Institutions / Henrique Lopes Cardoso ; Eugenio Oliveira
Embedding Landmarks and Scenes in a Computational Model of Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Coordination and Sociability for Intelligent Virtual Agents / Francisco Grimaldo ; Miguel Lozano ; Fernando Barber
The Examination of an Information-Based Approach to Trust / Maaike Harbers ; Rineke Verbrugge ; Carles Sierra ; John Debenham
A Dynamic Coordination Mechanism Using Adjustable Autonomy / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Martijn Neef
Organizations and Institutions
Towards a Formalisation of Dynamic Electronic Institutions / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency / Carl Hewitt
Using Case-Based Reasoning in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez ; Juan Antonio Rodriguez-Aguilar
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Dynamic Composition of Electronic Institutions for Teamwork / Mario Gomez ; Enric Plaza
Organisational Artifacts and Agents for Open Multi-Agent Organisations: "Giving the Power Back to the Agents" / Rosine Kitio ; Olivier Boissier ; Jomi Fred Hubner ; Alessandro Ricci
Knowledge Sharing Between Agents in a Transitioning Organization / Eric Matson ; Raj Bhatnagar
Norms
Role Model Based Mechanism for Norm Emergence in Artificial Agent Societies / Bastin Tony Roy Savarimuthu ; Stephen Cranefield ; Maryam Purvis ; Martin Purvis
Using Testimonies to Enforce the Behavior of Agents / Fernanda Duran ; Viviane Torres da Silva ; Carlos J.P. de Lucena
Implementing Norms That Govern Non-dialogical Actions
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities / Patrice Caire
On the Multimodal Logic of Normative Systems / Pilar Dellunde
A Distributed Architecture for Norm Management in Multi-Agent Systems / Wamberto Vasconcelos
A Coherence Based Framework for Institutional Agents / Sindhu Joseph ; Marco Schorlemmer
Distributed Norm Enforcement Via Ostracism / Adrian Perreau de Pinninck
Model Checking Norms and Sanctions in Institutions / Francesco Vigano ; Marco Colombetti
Author Index
Coordination
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
77.

電子ブック

EB
Olivier Boissier, Virginia Dignum, Takeo Kanade, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Julian Padget, Jaime Simão Sichman, Javier Vázquez-Salceda
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック

EB
Roque Marín, Alberto Bugarín, Takeo Kanade, Eva Onaindía, José Santos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
79.

電子ブック

EB
Graham J. Williams, Takeo Kanade, Simeon J. Simoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
80.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
81.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
82.

電子ブック

EB
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
83.

電子ブック

EB
Masanobu Umeda, Oskar Bartenstein, Ulrich Geske, Takeo Kanade, Dietmar Seipel, Osamu Takata, Armin Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
84.

電子ブック

EB
Simon G. Thompson, Robert Ghanea-Hercock, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
85.

電子ブック

EB
Lou Goble, Takeo Kanade, John-Jules Ch Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
86.

電子ブック

EB
Ron Meyden, Jörg Siekmann, Leendert Torre, Leendert van der Torre, Ron Van der Meyden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
A Tableaux System for Deontic Action Logic / Pablo F. Castro ; T.S.E. Maibaum
Information Security Economics - and Beyond (Invited Talk) / Ross Anderson
Trust and Norms in the Context of Computer Security: A Logical Formalization / Emiliano Lorini ; Robert Demolombe
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic / Nora Cuppens-Boulahia ; Frederic Cuppens
Delegation of Control in Administrative Procedures / Joris Hulstijn ; Jianwei Liu ; Yao-Hua Tan
Variations in Access Control Logic (Invited Talk) / Martin Abadi
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking / Nikhil Dinesh ; Aravind Joshi ; Insup Lee ; Oleg Sokolsky
Need to Know: Questions and the Paradox of Epistemic Obligation
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing' / Jan Broersen
Reactive Kripke Models and Contrary to Duty Obligations (Invited Talk) / Dov M. Gabbay
Normative Consequence: The Problem of Keeping It Whilst Giving It up / Audun Stolpe
On the Strong Completeness of Aqvist's Dyadic Deontic Logic G / Xavier Parent
Strata of Intervenient Concepts in Normative Systems / Lars Lindahl ; Jan Odelstad
A Deontic Logic for Socially Optimal Norms / Rosja Mastop ; John-Jules Ch. Meyer ; Paolo Turrini
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin / Paul McNamara
Introducing Grades in Deontic Logics / Pilar Dellunde ; Lluis Godo
Pushing Anderson's Envelope: The Modal Logic of Ascription / Davide Grossi
Author Index
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
87.

電子ブック

EB
Juan Carlos Augusto, Takeo Kanade, Chris D. Nugent
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
Causal Reasoning for Alert Generation in Smart Homes / Antony Galton
Plans and Planning in Smart Homes / Richard Simpson ; Debra Schreckenghost ; Edmund F. LoPresti ; Ned Kirsch
Temporal Data Mining for Smart Homes / Mykola Galushka ; Dave Patterson ; Niall Rooney
Cases, Context, and Comfort: Opportunities for Case-Based Reasoning in Smart Homes / David Leake ; Ana Maguitman ; Thomas Reichherzer
Application of Decision Trees to Smart Homes / Vlado Stankovski ; Jernej Trnkoczy
Artificial Neural Networks in Smart Homes / Rezaul Begg ; Rafiul Hassan
A Multi-agent Approach to Controlling a Smart Environment / Diane J. Cook ; Michael Youngblood ; Sajal K. Das
Author Index
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
88.

電子ブック

EB
Gem Stapleton, John Howse, John Lee, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
89.

電子ブック

EB
Dave Barker-Plummer, Richard Cox, Takeo Kanade, Nik Swoboda
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
90.

電子ブック

EB
Yang Cai, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II:
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III:
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
91.

電子ブック

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

電子ブック

EB
Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Text Analysis
String Kernels Based on Variable-Length-Don't-Care Patterns / Kazuyuki Narisawa ; Hideo Bannai ; Kohei Hatano ; Shunsuke Inenaga ; Masayuki Takeda
Unsupervised Spam Detection by Document Complexity Estimation / Takashi Uemura ; Daisuke Ikeda ; Hiroki Arimura
A Probabilistic Neighbourhood Translation Approach for Non-standard Text Categorisation / Ata Kaban
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
93.

電子ブック

EB
Danny Weyns, Sven A. Brueckner, Yves Demazeau, Jörg Siekmann, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Swarms of Self-assembling Robots / Marco Dorigo
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
Modeling and Structuring Mediating Environments
Situating Cognitive Agents in GOLEM / Stefano Bromuri ; Kostas Stathis
Modeling Agent-Environment Interactions in Adaptive MAS / R. Zalila Mili ; Renee Steiner
DECIDE: Applying Multi-agent Design and Decision Logic to a Baggage Handling System / Kasper Hallenborg ; Yves Demazeau
Environment-Based Support for Context and Organizations
Managing Agent Interactions with Context-Driven Dynamic Organizations / Robrecht Haesevoets ; Bart Van Eylen ; Danny Weyns ; Alexander Helleboogh ; Tom Holvoet ; Wouter Joosen
Modeling and Design of an Agent-Based Micro-simulation of the Swiss Highway Network / Michael Schumacher ; Laurent Grangier ; Radu Jurca
Environment Support to the Management of Context Awareness Information / Marco P. Locatelli
Engineering Contextual Information for Pervasive Multiagent Systems / Gabriella Castelli ; Marco Mamei ; Franco Zambonelli
Engineering Business Ecosystems Using Environment-Mediated Interactions / Cesar A. Marin ; Iain Stalker ; Nikolay Mehandjiev
Experimenting with Language Support for Proximity in Ambient-Oriented Programming / Victor Ramiro ; Jessie Dedecker ; Eric Tanter ; Peter Barron
Environment-Supported Roles to Develop Complex Systems / Giacomo Cabri
Author Index
Invited Talks
Swarms of Self-assembling Robots / Marco Dorigo
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
94.

電子ブック

EB
Sven A. Brueckner, Jaime G. Carbonell, Salima Hassas, Márk Jelasity, Jörg Siekmann, Daniel Yamins
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
Design Patterns for Decentralised Coordination in Self-organising Emergent Systems / Tom De Wolf ; Tom Holvoet
Measuring Stigmergy: The Case of Foraging Ants / Laszlo Gulyas ; Laszlo Laufer ; Richard Szabo
Algorithms and Techniques
Dynamic Decentralized Any-Time Hierarchical Clustering / Richard Rohwer ; Theodore C. Belding
Behaviosites: A Novel Paradigm for Affecting Distributed Behavior / Amit Shabtay ; Zinovi Rabinovich ; Jeffrey S. Rosenschein
Applications
Programming Modular Robots with the TOTA Middleware / Marco Mamei ; Franco Zambonelli
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks / Jorge Simao
Towards the Control of Emergence by the Coordination of Decentralized Agent Activity for the Resource Sharing Problem / Frederic Armetta ; Salima Hassas ; Simone Pimont ; Olivier Lefevre
Self-organization and Evolutionary Computing
Reinforcement Learning for Online Control of Evolutionary Algorithms / A.E. Eiben ; Mark Horvath ; Wojtek Kowalczyk ; Martijn C. Schut
Greedy Cheating Liars and the Fools Who Believe Them / Stefano Arteconi ; David Hales ; Ozalp Babaoglu
Evolution and Hypercomputing in Global Distributed Evolvable Virtual Machines Environment / Mariusz Nowostawski ; Martin Purvis
A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm / Martin Kelly ; Giovanna Di Marzo Serugendo
Author Index
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
95.

電子ブック

EB
Sven A. Brueckner, David Hales, Takeo Kanade, Giovanna Marzo Serugendo, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
96.

電子ブック

EB
Oğuz Dikenelli, Marie-Pierre Gleizes, Takeo Kanade, Alessandro Ricci
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
97.

電子ブック

EB
Alexander Artikis, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Electronic Institutions
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
Alternative Dispute Resolution in Virtual Organizations / Jeremy Pitt ; Daniel Ramirez-Cano ; Lloyd Kamara ; Brendan Neville
Electronic Institutions Infrastructure for e-Chartering / Manolis Sardis ; George Vouros
Models of Complex Distributed Systems with Agents and Societies
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations / William J. Clancey ; Maarten Sierhuis ; Chin Seah ; Chris Buckley ; Fisher Reynolds ; Tim Hall ; Mike Scott
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; Matthew Johnson ; Larry Bunch
Automated Web Services Composition with the Event Calculus / Onur Aydin ; Nihan Kesim Cicekli ; Ilyas Cicekli
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems / Ioanna Stamatopoulou ; Petros Kefalas ; Marian Gheorghe
Interaction in Agent Societies
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences / Josefina Sierra ; Josefina Santibanez
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS / Nabil Hameurlain
Amongst First-Class Protocols / Tim Miller ; Jarred McGinnis
Engineering Social Intelligence in Multi-agent Systems
Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation / Hylke Buisman ; Gijs Kruitbosch ; Nadya Peek ; Ulle Endriss
Collective-Based Multiagent Coordination: A Case Study / Matteo Vasirani ; Sascha Ossowski
Tag Mechanisms Evaluated for Coordination in Open Multi-Agent Systems / Isaac Chao ; Oscar Ardaiz ; Ramon Sanguesa
Trust and Reputation in Agent Societies
Toward a Probabilistic Model of Trust in Agent Societies / Federico Bergenti
Arguing about Reputation: The LRep Language / Isaac Pinyol ; Jordi Sabater-Mir
Analysis, Design and Development of Agent Societies
From AO Methodologies to MAS Infrastructures: The SODA Case Study / Ambra Molesini ; Enrico Denti ; Andrea Omicini
Model Driven Engineering for Designing Adaptive Multi-Agents Systems / Sylvain Rougemaille ; Frederic Migeon ; Christine Maurel ; Marie-Pierre Gleizes
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems / Scott J. Harmon ; Scott A. DeLoach ; Robby
Author Index
Electronic Institutions
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
98.

電子ブック

EB
Danny Weyns, Fabien Michel, H. Van Dyke Parunak, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
99.

電子ブック

EB
Henrik Legind Larsen, Troels Andreasen, Henning Christiansen, Takeo Kanade, Daniel Ortiz-Arroyo, Gabriella Pasi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
100.

電子ブック

EB
Raoul Medina, Sergei Obiedkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼