close
1.

電子ブック

EB
Jos? Francisco Mart?nez-Trinidad, Jes?s Ariel Carrasco-Ochoa, Takeo Kanade, Josef Kittler
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
Face Recognition Using Simplicial Complexes / Chengming Zou ; Edwin R. Hancock
Skeleton Simplification by Key Points Identification / Gabriel Rojas-Albarracín ; Carlos A. Carbajal ; Antonio Fernández-Caballero ; María T. López
Learning and Fast Object Recognition in Robot Skill Acquisition: A New Method / I. Lopez-Juarez ; R. Rios-Cabrera ; M. Peña-Cabrera ; R. Osorio-Comparan
Light Source Intensity Adjustment for Enhanced Feature Extraction / Francisco J. Castro-Martínez ; Mario Castelán ; Ismael López-Juárez
Fringe-Pattern Demodulation Using a Parametric Method Based on Differential Evolution / J.F. Jimenez ; F.J. Cuevas ; J.H. Sossa ; L.E. Gomez
ANIMA: Non-conventional Brain-Computer Interfaces in Robot Control through Electroencephalography and Electrooculography, ARP Module / Luis F. Reina ; Gerardo Martínez ; Mario Valdeavellano ; Marie Destarac ; Carlos Esquit
Efficient Roughness Recognition for Velocity Updating by Wheeled-Robots Navigation / Farid García ; Matías Alvarado
Image Processing
Fingerprint Verification with Non-linear Composite Correlation Filters / Saúl Martínez-Díaz ; Javier A. Carmona-Troyo
Automatic Ultrasound Image Analysis in Hashimoto's Disease / Robert Koprowski ; Zygmunt Wrobel ; Witold Zieleznik
Estimating Quality Bounds of JPEG 2000 Compressed Leukocytes Images / Alexander Falcón-Ruiz ; Juan Paz-Viera ; Hichem Sahli
Surface Material Segmentation Using Polarisation / Nitya Subramaniam ; Edwin Hancock
Measurement of Defocus Level in Iris Images Using Different Convolution Kernel Methods / J. Miguel Colores- Vargas ; Mireya S. García - Vázquez ; Alejandro A. Ramírez-Acosta
Radon Transform Algorithm for Fingerprint Ccore Point Detection / Miguel Mora-González ; Julio C. Martínez-Romo ; Jesús Muñoz-Maciel ; Guillermo Sánchez-Díaz ; Javier Salinas-Luna ; H.I. Piza-Dávila ; Francisco J. Luna-Rosas ; Carlos M. de Luna-Ortega
Genetic Algorithms and Tabu Search for Correcting Lanes in DNA Images / M. Angélica Pinninghoff J. ; Q. Daniel Venegas ; A. Ricardo Contreras
Adaptive Algorithm-Based Fused Bayesian Maximum Entropy-Variational Analysis Methods for Enhanced Radar Imaging / R.F. Vázquez-Bautista ; L.J. Morales-Mendoza ; R. Ortega-Almanza ; A. Blanco-Ortega
Iris Segmentation Using a Statistical Approach / Luis M. Zamudio-Puentes ; Mireya S. García-Vázquez
Neural Networks and Signal Processing
Adaboost Classifier by Artificial Immune System Model / Hind Tard ; Juan Carlos Herrera-Lozada ; Jesús Álvarez-Cedillo
Cost-Sensitive Neural Networks and Editing Techniques for Imbalance Problems / R. Alejo ; J.M. Sotoca ; V. García ; R.M. Valdovinos
Designing RBFNNs Using Prototype Selection / Ana Cecilia Tenorio-González ; José Fco. Martínez-Trinidad
A Learning Social Network with Recognition of Learning Styles Using Neural Networks / Ramón Zatarain-Cabada ; M.L. Barrón-Estrada ; Viridiana Ponce Angulo ; Adán José García ; Carlos A. Reyes García
On-line Signature Verification Based on Modified Dynamic Time Warping and Wavelet Sub-band Coding / Juan Carlos Sánchez-Diaz ; Juan Manuel Ramírez-Cortes ; Rogerio Enriquez-Caldera ; Pilar Gomez-Gil
New Dissimilarity Measures for Ultraviolet Spectra Identification / Andrés Eduardo Gutiérrez-Rodríguez ; Miguel Angel Medina-Pérez ; Jesús Ariel Carrasco-Ochoa ; Milton García-Borroto
Third Degree Volterra Kernel for Newborn Cry Estimation / Gibran Etcheverry ; Efraín López-Damian ; Carlos A. Reyes-García
Pattern Recognition and Data Mining
Cascading an Emerging Pattern Based Classifier
A New Combined Filter-Wrapper Framework for Gene Subset Selection with Specialized Genetic Operators / Edmundo Bonilla Huerta ; J. Crispín Hernández Hernández ; L. Alberto Hernández Montiel
Hybrid Feature Selection Method for Supervised Classification Based on Laplacian Score Ranking / Saúl Solorio-Fernández
Navigating K-Nearest Neighbor Graphs to Solve Nearest Neighbor Searches / Edgar Chávez ; Eric Sadit Tellez
On the Design of a Hardware-Software Architecture for Acceleration of SVM's Training Phase / Lázaro Bustio-Martínez ; René Cumplido ; José Hernández-Palancar ; Claudia Feregrino-Uribe
A Highly Parallel Algorithm for Frequent Itemset Mining / Alejandro Mesa
A Hybrid Methodology for Pattern Recognition in Signaling Cervical Cancer Pathways / David Escarcega ; Fernando Ramos ; Ana Espinosa ; Jaime Berumen
Graph Indexing and Retrieval Based on Median Graphs / Francesc Serratosa ; Albert Solé-Ribalta ; Enric Vidiella
A Novel Method for Counting Models on Grid Boolean Formulas / Carlos Guillén ; Guillermo De Ita ; Aurelio López-López
Natural Language and Document Processing
Sentence to Document Level Emotion Tagging - A Coarse-Grained Study on Bengali Blogs / Dipankar Das ; Sivaji Bandyopadhyay
Clustering Weblogs on the Basis of a Topic Detection Method / Fernando Perez-Tellez ; David Pinto ; John Cardiff ; Paolo Rosso
A Naïve Bayes Approach to Cross-Lingual Word Sense Disambiguation and Lexical Substitution / Darnes Vilariño ; Carlos Balderas ; Mireya Tovar ; Beatriz Beltrán
Supervised Learning for Semantic Classification of Spanish Collocations / Alexander Gelbukh ; Olga Kolesnikova
Recognizing Textual Entailment with Statistical Methods / Miguel Angel Ríos Gaona
Author Index
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
2.

電子ブック

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

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Huib Aldewereld, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
4.

電子ブック

EB
Graham J. Williams, Takeo Kanade, Simeon J. Simoff, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック

EB
Simon G. Thompson, Robert Ghanea-Hercock, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック

EB
Lou Goble, Takeo Kanade, John-Jules Ch Meyer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック

EB
Guido Governatori, Takeo Kanade, Giovanni Sartor, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
9.

電子ブック

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

電子ブック

EB
Juan Carlos Augusto, Takeo Kanade, Chris D. Nugent, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
11.

電子ブック

EB
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック

EB
FroCoS 2005, Bernhard Gramlich, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック

EB
Silvio Ghilardi, Takeo Kanade, Roberto Sebastiani, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
Combining Description Logics, Description Graphs, and Rules / Boris Motik
Combining Equational Reasoning / Ashish Tiwari
Technical Papers
Superposition Modulo Linear Arithmetic SUP (LA) / Ernst Althaus ; Evgeny Kruglov ; Christoph Weidenbach
Unification Modulo Homomorphic Encryption / Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michaël Rusinowitch
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs / Takahito Aoto ; Toshiyuki Yamada
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Runtime Verification Using a Temporal Description Logic / Franz Baader ; Andreas Bauer ; Marcel Lippmann
Axiomatization and Completeness of Lexicographic Products of Modal Logics / Philippe Balbiani
Automating Theories in Intuitionistic Logic / Guillaume Burel
Taming the Complexity of Temporal Epistemic Reasoning / Clare Dixon ; Michael Fisher ; Boris Konev
Putting ABox Updates into Action / Conrad Drescher ; Hongkai Liu ; Steffen Guhlemann ; Uwe Petersohn ; Peter Steinke ; Michael Thielscher
A Declarative Agent Programming Language Based on Action Theories / Stephan Schiffel
Termination Modulo Combinations of Equational Theories / Francisco Durán ; Salvador Lucas ; José Meseguer
Combinations of Theories for Decidable Fragments of First-Order Logic / Pascal Fontaine
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property / Agi Kurucz
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme / Stéphane Lescuyer ; Sylvain Conchon
Combining Instance Generation and Resolution / Ralph Eric McGregor
Data Structures with Arithmetic Constraints: A Non-disjoint Combination / Enrica Nicolini ; Christophe Ringeissen
Efficient Combination of Decision Procedures for MUS Computation / Cédric Piette ; Youssef Hamadi ; Lakhdar Saïs
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas / Luca Pulina ; Armando Tacchella
Combining Theories with Shared Set Operations / Thomas Wies ; Ruzica Piskac ; Viktor Kuncak
Author Index
Invited Talks
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
14.

電子ブック

EB
Cesare Tinelli, Takeo Kanade, Viorica Sofronie-Stokkermans, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
15.

電子ブック

EB
Lipo Wang, Yaochu Jin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック

EB
Lipo Wang, Yaochu Jin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler, Rineke Verbrugge
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
18.

電子ブック

EB
Petra Perner, Takeo Kanade, Germany) Institut für Bildverarbeitung und Angewandte Informatik (Leipzig, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
19.

電子ブック

EB
Zhi-Hua Zhou, Takeo Kanade, Takashi Washio, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
20.

電子ブック

EB
David Hutchison, Takeo Kanade, Kyoko Kanzaki, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
21.

電子ブック

EB
José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
Face Recognition Using Simplicial Complexes / Chengming Zou ; Edwin R. Hancock
Skeleton Simplification by Key Points Identification / Gabriel Rojas-Albarracín ; Carlos A. Carbajal ; Antonio Fernández-Caballero ; María T. López
Learning and Fast Object Recognition in Robot Skill Acquisition: A New Method / I. Lopez-Juarez ; R. Rios-Cabrera ; M. Peña-Cabrera ; R. Osorio-Comparan
Light Source Intensity Adjustment for Enhanced Feature Extraction / Francisco J. Castro-Martínez ; Mario Castelán ; Ismael López-Juárez
Fringe-Pattern Demodulation Using a Parametric Method Based on Differential Evolution / J.F. Jimenez ; F.J. Cuevas ; J.H. Sossa ; L.E. Gomez
ANIMA: Non-conventional Brain-Computer Interfaces in Robot Control through Electroencephalography and Electrooculography, ARP Module / Luis F. Reina ; Gerardo Martínez ; Mario Valdeavellano ; Marie Destarac ; Carlos Esquit
Efficient Roughness Recognition for Velocity Updating by Wheeled-Robots Navigation / Farid García ; Matías Alvarado
Image Processing
Fingerprint Verification with Non-linear Composite Correlation Filters / Saúl Martínez-Díaz ; Javier A. Carmona-Troyo
Automatic Ultrasound Image Analysis in Hashimoto's Disease / Robert Koprowski ; Zygmunt Wrobel ; Witold Zieleznik
Estimating Quality Bounds of JPEG 2000 Compressed Leukocytes Images / Alexander Falcón-Ruiz ; Juan Paz-Viera ; Hichem Sahli
Surface Material Segmentation Using Polarisation / Nitya Subramaniam ; Edwin Hancock
Measurement of Defocus Level in Iris Images Using Different Convolution Kernel Methods / J. Miguel Colores- Vargas ; Mireya S. García - Vázquez ; Alejandro A. Ramírez-Acosta
Radon Transform Algorithm for Fingerprint Ccore Point Detection / Miguel Mora-González ; Julio C. Martínez-Romo ; Jesús Muñoz-Maciel ; Guillermo Sánchez-Díaz ; Javier Salinas-Luna ; H.I. Piza-Dávila ; Francisco J. Luna-Rosas ; Carlos M. de Luna-Ortega
Genetic Algorithms and Tabu Search for Correcting Lanes in DNA Images / M. Angélica Pinninghoff J. ; Q. Daniel Venegas ; A. Ricardo Contreras
Adaptive Algorithm-Based Fused Bayesian Maximum Entropy-Variational Analysis Methods for Enhanced Radar Imaging / R.F. Vázquez-Bautista ; L.J. Morales-Mendoza ; R. Ortega-Almanza ; A. Blanco-Ortega
Iris Segmentation Using a Statistical Approach / Luis M. Zamudio-Puentes ; Mireya S. García-Vázquez
Neural Networks and Signal Processing
Adaboost Classifier by Artificial Immune System Model / Hind Tard ; Juan Carlos Herrera-Lozada ; Jesús Álvarez-Cedillo
Cost-Sensitive Neural Networks and Editing Techniques for Imbalance Problems / R. Alejo ; J.M. Sotoca ; V. García ; R.M. Valdovinos
Designing RBFNNs Using Prototype Selection / Ana Cecilia Tenorio-González ; José Fco. Martínez-Trinidad
A Learning Social Network with Recognition of Learning Styles Using Neural Networks / Ramón Zatarain-Cabada ; M.L. Barrón-Estrada ; Viridiana Ponce Angulo ; Adán José García ; Carlos A. Reyes García
On-line Signature Verification Based on Modified Dynamic Time Warping and Wavelet Sub-band Coding / Juan Carlos Sánchez-Diaz ; Juan Manuel Ramírez-Cortes ; Rogerio Enriquez-Caldera ; Pilar Gomez-Gil
New Dissimilarity Measures for Ultraviolet Spectra Identification / Andrés Eduardo Gutiérrez-Rodríguez ; Miguel Angel Medina-Pérez ; Jesús Ariel Carrasco-Ochoa ; Milton García-Borroto
Third Degree Volterra Kernel for Newborn Cry Estimation / Gibran Etcheverry ; Efraín López-Damian ; Carlos A. Reyes-García
Pattern Recognition and Data Mining
Cascading an Emerging Pattern Based Classifier
A New Combined Filter-Wrapper Framework for Gene Subset Selection with Specialized Genetic Operators / Edmundo Bonilla Huerta ; J. Crispín Hernández Hernández ; L. Alberto Hernández Montiel
Hybrid Feature Selection Method for Supervised Classification Based on Laplacian Score Ranking / Saúl Solorio-Fernández
Navigating K-Nearest Neighbor Graphs to Solve Nearest Neighbor Searches / Edgar Chávez ; Eric Sadit Tellez
On the Design of a Hardware-Software Architecture for Acceleration of SVM's Training Phase / Lázaro Bustio-Martínez ; René Cumplido ; José Hernández-Palancar ; Claudia Feregrino-Uribe
A Highly Parallel Algorithm for Frequent Itemset Mining / Alejandro Mesa
A Hybrid Methodology for Pattern Recognition in Signaling Cervical Cancer Pathways / David Escarcega ; Fernando Ramos ; Ana Espinosa ; Jaime Berumen
Graph Indexing and Retrieval Based on Median Graphs / Francesc Serratosa ; Albert Solé-Ribalta ; Enric Vidiella
A Novel Method for Counting Models on Grid Boolean Formulas / Carlos Guillén ; Guillermo De Ita ; Aurelio López-López
Natural Language and Document Processing
Sentence to Document Level Emotion Tagging - A Coarse-Grained Study on Bengali Blogs / Dipankar Das ; Sivaji Bandyopadhyay
Clustering Weblogs on the Basis of a Topic Detection Method / Fernando Perez-Tellez ; David Pinto ; John Cardiff ; Paolo Rosso
A Naïve Bayes Approach to Cross-Lingual Word Sense Disambiguation and Lexical Substitution / Darnes Vilariño ; Carlos Balderas ; Mireya Tovar ; Beatriz Beltrán
Supervised Learning for Semantic Classification of Spanish Collocations / Alexander Gelbukh ; Olga Kolesnikova
Recognizing Textual Entailment with Statistical Methods / Miguel Angel Ríos Gaona
Author Index
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
22.

電子ブック

EB
International Atlantic Web Intelligence Conference, Janusz Kacprzyk, Takeo Kanade, Adam Niewiadomski, Piotr S. Szczepaniak, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
23.

電子ブック

EB
Zhong-Zhi Shi, Takeo Kanade, R. Sadananda, Ramakoti Sadananda, Zhongzhi Shi, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
24.

電子ブック

EB
Frank Dignum, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Architectures / Section 1:
Unreal Goal Bots: Conceptual Design of a Reusable Interface / Koen V. Hindriks ; Birna van Riemsdijk ; Tristan Behrens ; Rien Korstanje ; Nick Kraayenbrink ; Wouter Pasman ; Lennard de Rijk
A Periphery of Pogamut: From Bots to Agents and Back Again / Jakub Gemrot ; Cyril Brom ; TomአPlch
Goal-Based Communication Using BDI Agents as Virtual Humans in Training: An Ontology Driven Dialogue System / Joost van Oijen ; Willem van Doesburg ; Frank Dignum
Evaluation and Comparison of Multi-agent Based Crowd Simulation Systems / Bikramjit Banerjee ; Landon Kraemer
Towards an Architecture for Collaborative Human/AI Control of Interactive Characters / James Niehaus ; Peter Weyhrauch
Training and Story Lines / Section 2:
An Architecture for Directing Value-Driven Artificial Characters / Rossana Damiano ; Vincenzo Lombardo
Implicitly and Intelligently Influencing the Interactive Experience / Michael J. 0'Grady ; Mauro Dragone ; Richard Tynan ; Gregory M.P. O'Hare ; Jie Wan ; Conor Muldoon
Creating Customized Game Experiences by Leveraging Human Creative Effort: A Planning Approach / Boyang Li ; Mark O.Riedl
Guiding User Adaptation in Serious Games / Joost Westra ; Prank Dignum ; Virginia Dignum
Using Agent Technology to Build a Real-World Training Application / Michal Cap ; Annerieke Heuvelink ; Karel van den Bosch ; Willem Van Doesburg
Social Behavior and Organization / Section 3:
Semi-Automated Dialogue Act Classification for Situated Social Agents in Games / Jeff Orkin ; Deb Roy
Using Exclusion Logic to Model Social Practices / Richard Evans
Making Games Alive: An Organisational Approach / Sergio Alvarez-Napagao ; Fernando Koch ; Ignasi Gómez-Sebastià ; Javier Vázquez-Salceda
Building Quests for Online Games with Virtual Institutions / Gustavo Aranda ; Tomas Trescak ; Marc Esteva ; Carlos Carrascosa
Author Index
Architectures / Section 1:
Unreal Goal Bots: Conceptual Design of a Reusable Interface / Koen V. Hindriks ; Birna van Riemsdijk ; Tristan Behrens ; Rien Korstanje ; Nick Kraayenbrink ; Wouter Pasman ; Lennard de Rijk
A Periphery of Pogamut: From Bots to Agents and Back Again / Jakub Gemrot ; Cyril Brom ; TomአPlch
25.

電子ブック

EB
Ravi Kumar, Takeo Kanade, Dandapani Sivakumar, Josef Kittler, D. Sivakumar
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Anatomy of the Long Tail of Consumer Demand (Invited Talk) / Andrei Broder
A Sharp PageRank Algorithm with Applications to Edge Ranking and Graph Sparsification / Fan Chung ; Wenbo Zhao
Efficient Triangle Counting in Large Graphs via Degree-Based Vertex Partitioning / Mihail N. Kolountzakis ; Gary L. Miller ; Richard Peng ; Charalampos E. Tsourakakis
Computing an Aggregate Edge-Weight Function for Clustering Graphs with Multiple Edge Types / Matthew Rocklin ; Ali Pinar
Component Evolution in General Random Intersection Graphs / Milan Bradonjic ; Aric Hagberg ; Nicolas W. Hengartner ; Allon G. Percus
Modeling Traffic on the Web Graph / Mark R. Meiss ; Bruno Gonçalves ; José J. Ramosco ; Alessandro Flammini ; Filippo Menczer
Multiplicative Attribute Graph Model of Real-World Networks / Myunghwan Kim ; Jure Leskovec
Random Walks on Digraphs, the Generalized Digraph Laplacian and the Degree of Asymmetry / Yanhua Li ; Zhi-Li Zhang
Finding and Visualizing Graph Clusters Using PageRank Optimization / Fan Chung Graham ; Alexander Tsiatas
Improving Random Walk Estimation Accuracy with Uniform Restarts / Konstantin Avrachenkov ; Bruno Ribeiro ; Don Towsley
The Geometric Protean Model for On-Line Social Networks / Anthony Banato ; Jeannette Janssen ; Pawel Pralat
Constant Price of Anarchy in Network Creation Games via Public Service Advertising / Erik D. Demaine ; Morteza Zadimoghaddam
Fast Katz and Commuters: Efficient Estimation of Social Relatedness in Large Networks / Pooya Esfandiar ; Francesco Bonchi ; David F. Gleich ; Chen Grief ; Laks V.S. Lakshmanan ; Byung-Won On
Game-Theorectic Models of Information Overload in Social Networks / Christian Borgs ; Jennifer Chayes ; Brian Karrer ; Brendan Meeder ; R. Ravi ; Ray Reagans ; Amin Sayedi
Author Index
The Anatomy of the Long Tail of Consumer Demand (Invited Talk) / Andrei Broder
A Sharp PageRank Algorithm with Applications to Edge Ranking and Graph Sparsification / Fan Chung ; Wenbo Zhao
Efficient Triangle Counting in Large Graphs via Degree-Based Vertex Partitioning / Mihail N. Kolountzakis ; Gary L. Miller ; Richard Peng ; Charalampos E. Tsourakakis
26.

電子ブック

EB
SIGCHI Workshop on "Ambient Intelligence for Scientific Discovery", Yang Cai, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
27.

電子ブック

EB
Yang Cai, Julio Abascal, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
28.

電子ブック

EB
Salvador Abreu, Takeo Kanade, Dietmar Seipel, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
29.

電子ブック

EB
Iyad Rahwan, Takeo Kanade, Pavlos Moraitis, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Argument-Based Reasoning / Part I:
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
A Constrained Argumentation System for Practical Reasoning / Leila Amgoud ; Caroline Devred ; Marie-Christine Lagasquie-Schiex
An Argumentation Framework Based on Strength for Ontology Mapping / Cássia Trojahn ; Paulo Quaresma ; Renata Vieira
Contextual Extension with Concept Maps in the Argument Interchange Format / Ioan Alfred Letia ; Adrian Groza
Argumentation and Dialogue / Part II:
Command Dialogues / Katie Atkinson ; Rod Girle ; Peter McBurney ; Simon Parsons
Argumentation and Artifact for Dialogue Support / Enrico Oliva ; Mirko Viroli ; Andrea Omicini
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation / Trevor Bench-Capon
Annotation and Matching of First-Class Agent Interaction Protocols / Tim Miller
Strategic and Pragmatic Issues / Part III:
Argumentation-vs. Proposal-Based Negotiation: An Empirical Case Study on the Basis of Game-Theoretic Solution Concepts / Angelika Först ; Achim Rettinger ; Matthias Nickles
Argumentation-Based Information Exchange in Prediction Markets / Santi Ontañón ; Enric Plaza
An Argumentative Approach for Modelling Coalitions Using ATL / Nils Bulling ; Carlos I. Chesñevar ; Jürgen Dix
A Dialogue Mechanism for Public Argumentation Using Conversation Policies / Yuqing Tang
Author Index
Argument-Based Reasoning / Part I:
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
30.

電子ブック

EB
Francisco J. Perales, Robert B. Fisher, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
31.

電子ブック

EB
Max Bramer, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Artificial Intelligence and Intelligent Systems Research in Chile / John Atkinson ; Mauricio Solar
Text and Hypertext Categorization / Houda Benbrahim ; Max Bramer
Future Challenges for Autonomous Systems / Helder Coelho
Affective Intelligence: the Human Face of AI / Lori Malatesta ; Kostas Karpouzis ; Amaryllis Raouzaiou
Introducing Intelligence in Electronic Healthcare Systems: State of the Art and Future Trends / Ilias Maglogiannis
AI in France: History, Lessons Learnt, State of the Art and Future / Eunika Mercier-Laurent
Artifact-Mediated Society and Social Intelligence Design / Toyoaki Nishida
Multilingual Knowledge Management / Daniel E. O'Leary
Agents, Intelligence, and Tools / Andrea Omicini ; Michele Piunti ; Alessandro Ricci ; Mirko Viroli
An Overview of AI Research in Italy / Andrea Roli ; Michela Milano
Intelligent User Profiling / Silvia Schiaffino ; Analia Amandi
Supply Chain Business Intelligence: Technologies, Issues and Trends / Nenad Stefanovic ; Dusan Stefanovic
Author Index
Artificial Intelligence and Intelligent Systems Research in Chile / John Atkinson ; Mauricio Solar
Text and Hypertext Categorization / Houda Benbrahim ; Max Bramer
Future Challenges for Autonomous Systems / Helder Coelho
32.

電子ブック

EB
Lorcan Coyle, Jill Freyne, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Use of Enterprise Social Software to Support Organization and People Sensemaking (Abstract) / David R. Millen
Collective Intelligence in the Social Web (Abstract) / John Riedl
Full Papers
Robustness Analysis of Model-Based Collaborative Filtering Systems / Zunping Cheng ; Neil Hurley
Phase and Coordination in Speech Production / Fred Cummins
The Effect of Query Length on Normalisation in Information Retrieval / Ronan Cummins ; Colm O'Riordan
An Evolutionary Neural Network Approach to Intrinsic Plagiarism Detection / Dara Curran
Investigation of Localised Centrality Metrics for Collaborative Networks: What Can They Reveal? / Elizabeth M. Daly
Practical Development of Hybrid Intelligent Agent Systems with SoSAA / Mauro Dragone ; Rem W. Collier ; David Lillis ; Gregory M.P. O'Hare
Genetic Repair Strategies Inspired by Arabidopsis thaliana / Amy FitzGerald ; Diarmuid P. O'Donoghue ; Xinyu Liu
A Machine Learning System for Identifying Hypertrophy in Histopathology Images / Ross Foley ; William Gallagher ; Sean Callanan ; Pádraig Cunningham
Creating Visualizations: A Case-Based Reasoning Perspective / Jill Freyne ; Barry Smyth
Assessing Context for Age-Related Spanish Temporal Phrases / Sofia N. Galicia-Haro ; Alexander F. Gelbukh
Using Shallow Natural Language Processing in a Just-In-Time Information Retrieval Assistant for Bloggers / Ang Gao ; Derek Bridge
Towards Automatic Blotch Detection for Film Restoration by Comparison of Spatio-Temporal Neighbours / Peter Gaughran ; Susan Bergin ; Ronan Reilly
Analysis of the Effect of Unexpected Outliers in the Classification of Spectroscopy Data / Frank G. Glavin ; Michael G. Madden
Just Say It: An Evaluation of Speech Interfaces for Augmented Reality Design Applications / Nicholas Hanlon ; Brian Mac Namee ; John Kelleher
SceneMaker: Intelligent Multimodal Visualisation of Natural Language Scripts / Eva Hanser ; Paul Mc Kevitt ; Tom Lunney ; Joan Condell
The Enhanced Ranked List / Cathal Hoare ; Humphrey Sorensen
A Prediction Market for Toxic Assets / Alan Holland
Learning without Default: A Study of One-Class Classification and the Low-Default Portfolio Problem / Kenneth Kennedy ; Sarah Jane Delany
A Survey of Recent Trends in One Class Classification / Shehroz S. Khan
Steady State RF Fingerprinting for Identity Verification: One Class Classifier versus Customized Ensemble / Barnard Kroon ; Irwin O. Kennedy ; Georgina O'Mahony Zamora
An Analysis of Order Dependence in k-NN / David McSherry ; Christopher Stretch
Norm Convergence in Populations of Dynamically Interacting Agents / Declan Mungovan ; Enda Howley ; Jim Duggan
A Comparison of Word Similarity Measures for Noun Compound Disambiguation / Paul Nulty ; Fintan Costello
An Assessment of Machine Learning Techniques for Review Recommendation / Michael P. O'Mahony
Buzzer - Online Real-Time Topical News Article and Source Recommender / Owen Phelan ; Kevin McCarthy
An Evaluation of the Ghost Writer System for Case-Based Content Suggestions / Aidan Waugh
On Using Temporal Features to Create More Accurate Human-Activity Classifiers / Juan Ye ; Adrian K. Clear ; Lorcan Coyle ; Simon Dobson
Demo Papers
Physical Activity Motivating Games / Shlomo Berkovsky ; Mac Coombe
A Machine Learning System for Tracking Sentiment in Irish Economic News / Anthony Brew ; Derek Greene
The Blogoduct System: A Just-In-Time Information Retrieval Assistant for Bloggers
Sensing Handshakes for Social Network Development / David Haddock ; Aaron Quigley ; Benoit Gaudin
A Decision Support System for Energy Storage Traders
Author Index
Invited Talks
Use of Enterprise Social Software to Support Organization and People Sensemaking (Abstract) / David R. Millen
Collective Intelligence in the Social Web (Abstract) / John Riedl
33.

電子ブック

EB
F. Acar Savacı, Takeo Kanade, Ferit Acar Savacı, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
34.

電子ブック

EB
Tag Gon Kim, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
35.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade, Gennady Agre, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
37.

電子ブック

EB
Friedhelm Schwenker, Takeo Kanade, Simone Marinai, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
38.

電子ブック

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

電子ブック

EB
Lucas Paletta, Takeo Kanade, John K. Tsotsos, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Attention in Scene Exploration
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
A Novel Hierarchical Framework for Object-Based Visual Attention / Rebecca Marfil ; Antonio Bandera ; Juan Antonio Rodríguez ; Francisco Sandoval
Where Do We Grasp Objects? - An Experimental Verification of the Selective Attention for Action Model (SAAM) / Christoph Böhme ; Dietmar Heinke
Contextual Cueing and Saliency
Integrating Visual Context and Object Detection within a Probabilistic Framework / Roland Perko ; Christian Wojek ; Bernt Schiele ; Ale&sbreve; Leonardis
The Time Course of Attentional Guidance in Contextual Cueing / Andrea Schankin ; Anna Schubö
Conspicuity and Congruity in Change Detection / Jean Underwood ; Emma Templeman ; Geoffrey Underwood
Spatiotemporal Saliency
Spatiotemporal Saliency: Towards a Hierarchical Representation of Visual Saliency / Neil D.B. Bruce ; John K. Tsotsos
Motion Saliency Maps from Spatiotemporal Filtering / Anna Belardinelli ; Fiora Pirri ; Andrea Carbone
Attentional Networks
Model Based Analysis of fMRI-Data: Applying the sSoTS Framework to the Neural Basic of Preview Search / Eirini Mavritsaki ; Harriet Allen ; Glyn Humphreys
Modelling the Efficiencies and Interactions of Attentional Networks / Fehmida Hussain ; Sharon Wood
The Jamf Attention Modelling Framework / Johannes Steger ; Niklas Wilming ; Felix Wolfsteller ; Nicolas Höning ; Peter Köning
Attentional Modeling
Modeling Attention and Perceptual Grouping to Salient Objects / Thomas Geerinck ; Hichem Sahli ; David Henderickx ; Iris Vanhamel ; Valentin Enescu
Attention Mechanisms in the Chrest Cognitive Architecture / Peter C.R. Lane ; Fernand Gobet ; Richard Ll. Smith
Modeling the Interactions of Bottom-Up and Top-Down Guidance in Visual Attention / Kathleen Maetens ; Eric Soetens
Relative Influence of Bottom-Up and Top-Down Attention / Matei Mancas
Towards Standardization of Evaluation Metrics and Methods for Visual Attention Models / Muhammad Zaheer Aziz ; Bärbel Mertsching
Comparing Learning Attention Control in Perceptual and Decision Space / Maryam S. Mirian ; Majid Nili Ahmadabadi ; Babak N. Araabi ; Ronald R. Siegwart
Automated Visual Attention Manipulation / Tibor Bosse ; Rianne van Lambalgen ; Peter-Paul van Maanen ; Jan Treur
Author Index
Attention in Scene Exploration
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
40.

電子ブック

EB
Hoon Hong, Takeo Kanade, Dongming Wang, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
41.

電子ブック

EB
Thomas Sturm, Takeo Kanade, Christoph Zengler, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Dynamical Systems of Simplices in Dimension Two or Three / Gérald Bourgeois ; Sébastien Orange
On the Design and Implementation of a Geometric Knowledge Base / Xiaoyu Chen ; Ying Huang ; Dongming Wang
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving / Benjamin Grégoire ; Loïc Pottier ; Laurent Théry
Multivariate Resultants in Bernstein Basis / Deepak Kapur ; Manfred Minimair
Unique Factorization Domains in the Java Computer Algebra System / Heinz Kredel
Automatic Verification of the Adequacy of Models for Families of Geometric Objects / Aless Lasaruk ; Thomas Sturm
Formalizing Projective Plane Geometry in Coq / Nicolas Magaud ; Julien Narboux ; Pascal Schreck
Linear Programming for Bernstein Based Solvers / Dominique Michelucci ; Christoph Fünfzig
Offsetting Revolution Surfaces / Fernando San Segundo ; J. Rafael Sendra
An Introduction to Java Geometry Expert (Extended Abstract) / Zheng Ye ; Shang-Ching Chou ; Xiao-Shan Gao
On the Heilbronn Optimal Configuration of Seven Points in the Square / Zhenbing Zeng ; Liangyu Chen
Author Index
Contributed Papers
Dynamical Systems of Simplices in Dimension Two or Three / Gérald Bourgeois ; Sébastien Orange
On the Design and Implementation of a Geometric Knowledge Base / Xiaoyu Chen ; Ying Huang ; Dongming Wang
42.

電子ブック

EB
International Conference on Automated Deduction, Takeo Kanade, Robert Nieuwenhuis, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
43.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
44.

電子ブック

EB
Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
45.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Josef Kittler, Mark E. Stickel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
46.

電子ブック

EB
TABLEAUX 2005, Bernhard Beckert, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
47.

電子ブック

EB
Martin Giese, Takeo Kanade, Arild Waaler, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Presenting Constraints (Invited Talk) / Peter Jeavons
On the Use of Automata for Deciding Linear Arithmetic (Invited Talk, Abstract) / Pierre Wolper
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus / Régis Alenda ; Nicola Olivetti ; Camilla Schwind
A Schemata Calculus for Propositional Logic / Vincent Aravantinos ; Ricardo Caferra ; Nicolas Peltier
Tableaux and Model Checking for Memory Logics / Carlos Areces ; Diego Figueira ; Daniel Gorín ; Sergio Mera
Canonical Constructive Systems / Arnon Avron ; Ori Lahav
A Novel Architecture for Situation Awareness Systems / Franz Baader ; Andreas Bauer ; Peter Baumgartner ; Anne Cregan ; Alfredo Gabaldon ; Krystian Ji ; Kevin Lee ; David Rajaratnam ; Rolf Schwitter
On the Proof Theory of Regular Fixed Points / David Baelde
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus / Bianca Boretti ; Sara Negri
A Tableau-Based System for Spatial Reasoning about Directional Relations / Davide Bresolin ; Angelo Montanari ; Pietro Sala ; Guido Sciavicco
Terminating Tableaux for the Basic Fragment of Simple Type Theory / Chad E. Brown ; Gert Smolka
Modular Sequent Systems for Modal Logic / Kai Brünnler ; Lutz Stra?burger
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions / Marta Cialdea Mayer
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories / Silvio Ghilardi ; Silvio Ranise
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference / Rajeev Goré ; Linda Postniece ; Alwen Tiu
Sound Global State Caching for ALC with Inverse Roles / Florian Widmann
A Tableau System for the Modal $$-Calculus / Nattapong Jungteerapanich
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies / Mark Kaminski ; Sigurd Schneider
Prime Implicate Tries / Andrew Matusiewicz ; Neil V. Murray ; Erik Rosenthal
Proof Systems for a Gödel Modal Logic / George Metcalfe
Generic Modal Cut Elimination Applied to Conditional Logics / Dirk Pattinson ; Lutz Schröder
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents / Luís Pinto ; Tarmo Uustalu
Automated Synthesis of Tableau Calculi / Renate A. Schmidt ; Dmitry Tishkovsky
Tableaux for Projection Computation and Knowledge Compilation / Christoph Wernhard
Author Index
Presenting Constraints (Invited Talk) / Peter Jeavons
On the Use of Automata for Deciding Linear Arithmetic (Invited Talk, Abstract) / Pierre Wolper
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus / Régis Alenda ; Nicola Olivetti ; Camilla Schwind
48.

電子ブック

EB
International Conference on Case-Based Reasoning, Takeo Kanade, Héctor Muñoz-Avila, Francesco Ricci, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
49.

電子ブック

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

電子ブック

EB
Lutz Maicher, Takeo Kanade, Jack Park, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
51.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Josef Kittler, Guozheng Xiao
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
52.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler, Daniel Villatoro
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
53.

電子ブック

EB
Ngoc Thanh Nguyen, Shyi-Ming Chen, Takeo Kanade, Ryszard Kowalczyk, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speeches
Rough Set Approach to Knowledge Discovery about Preferences / Roman Slowiński
Toward a Self-referential Collective Intelligence: Some Philosophical Background of the IEML Research Program / Pierre Lévy
A-Teams and Their Applications / Piotr J&ecedil;drzejowicz
Collective Decision Making
Local Search Algorithms for Core Checking in Hedonic Coalition Games / Helena Keinänen
Information Foraging Theory as a Form of Collective Intelligence for Social Search / Longo Luca ; Barrett Stephen ; Dondio Pierpaolo
SAM: Semantic Argumentation Based Model for Collaborative Knowledge Creation and Sharing System / Krissada Maleewong ; Chutiporn Anutariya ; Vilas Wuwongse
A Conception for Modification of Learning Scenario in an Intelligent E-learning System / Adrianna Kozierkiewicz-Hetmańska
Firefly Algorithm for Continuous Constrained Optimization Tasks / Szymon &Lslash;ukasik ; S&lslash;awomir &Zadot;ak
Distributed Data Mining Methodology with Classification Model Example / Marcin Gorawski ; Eusa Phiciennik-Psota
A Token-Based Mutual Exclusion Approach to Improve Collaboration in Distributed Environments / Mauricio Paletta ; Pilar Herrero
Discovering Medical Knowledge from Data in Patients' Files / Magdalena Szymkowiak ; Beata Jankowska
Towards an Increase of Collective Intelligence within Organizations Using Trust and Reputation Models / Emil Scarlat ; Iulia Maries
A New Ant Colony Optimization Algorithm with an Escape Mechanism for Scheduling Problems / Tsai-Duan Lin ; Ghuin-Chieh Hsu ; Da-Ren Chen ; Sheng-Yung Chiu
Recognizing Team Formations in Multiagent Systems: Applications in Robotic Soccer / Huberto Ayanegui-Santiago
Semi-traces and Their Application in Concurrency Control Problem / Hoang Chi Thanh
Design of the Directory Facilitator Supporting Fault-Tolerance in Multi-OSGi Agent System / Sang-Hwan Ryu ; Seung-Hyun Lee ; Kyung-Soo Jang ; Ho-Jin Shin ; Dong-Ryeol Shin
Multiagent Systems
Agent-Based Provisioning of Group-Oriented Non-linear Telecommunication Services / Vedran Podobnik ; Ana Petric ; Krunoslav Trzec ; Vedran Galetic ; Gordon Jezic
A Multi-agent Model of Deceit and Trust in Intercultural Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Implementation of Epistemic Operators for Model Checking Multi-agent Systems / Marina Bagić Babac ; Marijon KunÜtić
Meta-game HOLOS as a Multi-agent Decision-Making Laboratory / Rolis&lslash;aw J. Kolbusz ; Romuald Kotowski ; Krzysztof Kasianiuk
Agent-Based Computational Modeling of Emergent Collective Intelligence / Vivek Kumar Singh ; Divya Gautam ; Rishi Raj Singh ; Ashok K. Gupta
Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence / Amine Chohra ; Kurosh Madam ; Dalel Kanzari
A Multi-agent Architecture for Multi-robot Surveillance / David Vallejo ; Paolo Remagnino ; Dorothy N. Monekosso ; Luis Jiménez ; Carlos González
Designing Social Agents with Empathic Understanding / Zulfiqar A. Memon ; Jan Treur
Multi-agent Systems in Pedestrian Dynamics Modeling / Jaros&lslash;aw W&acedil;s ; Konrad Kulakowski
Towards a Model for Extraction of Possible Worlds and Accessibility Relation from Cognitive Agent's Experience / Grzegorz Skorupa ; Rados&lslash;aw Katarzyniak
Social Networks
On Deriving Tagsonomies: Keyword Relations Coming from Crowd / Michal Barla ; Mária Bieliková
D2ISCO: Distributed Deliberative CBR Systems with jCOLIBRI / Sergio González-Sanz ; Juan A. Recio-García ; Belén Díaz-Agudo
Model of a Collaboration Environment for Knowledge Management in Competence-Based Learning / Ró&zadot;ewski Przemys&lslash;aw ; Ciszczyk Magdalena
PlWiki - A Generic Semantic Wiki Architecture / Grzegorz J. Nalepa
Properties of Bridge Nodes in Social Networks / Katarzyna Musia&lslash; ; Krzysztof Juszczyszyn
Semantic Web
Use of Semantic Principles in a Collaborative System in Order to Support Effective Information Retrieval / FrantiÜek Babič ; Karol Furdík ; Ján Paralič ; Peter Bednár ; Jozef Wagner
Assessing Semantic Quality of Web Directory Structure / Marko Horvat ; Gordan Gledec ; Nikola Bogunović
Computer Aided Requirements Management / Kamil Karwowski ; Witold Wysota ; Jacek Wytr&ecedil;bowicz
BizKB: A Conceptual Framework for Dynamic Cross-Enterprise Collaboration / Hanh Huu Hoang ; Thanh Manh Le
A Simple Parallel Reasoning System for the ALC Description Logic / Adam Meissner
SemCards: A New Representation for Realizing the Semantic Web / Kristinn R. Thórisson ; Nova Spivack ; James M. Wissner
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC / Link Anh Nguyen ; Andrzej Sza&lslash;as
Semantically Enhanced Intellectual Property Protection System - SEIPro2S / Dariusz Ceglarek ; Konstanty Haniewicz ; Wojciech Rutkowski
Semantic Knowledge Representation in Terrorist Threat Analysis for Crisis Management Systems / Mariusz Ghmielewski ; Andrzej Ga&lslash;ka ; Piotr Jarema ; Kamil Krasowski ; Artur Kosinski
Consensus Choice for Reconciling Social Collaborations on Semantic Wikis / Jason J. Jung ; Ngoc Thanh Nguyen
Ontology Management
Ontology Mapping Composition for Query Transformation in Distributed Environment
Algebra of Ontology Modules for Semantic Agents / Krzysztof Goczy&lslash;a ; Aleksander Waloszek ; Wojciech Waloszek
Grouping Results of Queries to Ontological Knowledge Bases by Conceptual Clustering / Agnieszka &Lslash;awrynowicz
Applying the c.DnS Design Pattern to Obtain an-Ontology for Investigation Management System / Jolanta Cybulka
Ontology Applications for Achieving Situation Awareness in Military Decision Support Systems
A Collaborative Ontology-Based User Profiles System / Trong Hai Duong ; Mohammed Nazim Uddin ; Delong Li ; Geun Sik Jo
Ontology-Based Intelligent Agent for Grid Resource Management / Kyu Cheol Cho ; Chang Hyeon Noh ; Jong Sik Lee
Special Session: Dynamics of Real-World Social Networks
The Norm Game on a Model Network: A Critical Line / Marcin Rybak ; Antoni Dydejczyk ; Krzysztof Ku&lslash;akowski
Model for Trust Dynamics in Service Oriented Information Systems / Grzegorz Ko&lslash;aczek
Collective Prisoner's Dilemma Model of Artificial Society / Marek Chlebuś ; Wojciech Kamiński
Special Session: Nature-Inspired Collective Intelligence
DES Control Synthesis and Cooperation of Agents / FrantiÜek Čapkovič
Parameter Tuning for the Artificial Bee Colony Algorithm / Bahriye Akay ; Dervis Karaboga
A Modified Ant-Based Approach to Edge Detection / Do&gcaron;an Aydin
A Hybrid Evolutionary Approach for the Protein Classification Problem / Denise F. Tsunoda ; Heitor S. Lopes ; Alex A. Freitas
A Family of GEP-Induced Ensemble Classifiers / Joanna J&ecedil;drzejowicz
Handling Dynamic Networks Using Ant Colony Optimization on a Distributed Architecture / Sorin Ilie ; Costin Badica
Modelling Shortest Path Search Techniques by Colonies of Cooperating Agents / Dariusz Król ; &Lslash;ukasz Popiela
Natural Scene Retrieval Based on Graph Semantic Similarity for Adaptive Scene Classification / Nuraini Jami ; Sanggil Kang
Special Session: Web Systems Analysis
A Hybrid Architecture for E-Procurement / Giner Alor-Hernandez ; Alberto Aguilar-Lasserre ; Ulises Juarez-Martinez ; Ruben Posada-Gomez ; Guillermo Cortes-Robles ; Mario Alberto Garcia Martinez ; Juan Miguel Gomez ; Myriam Mencke ; Alejandro Rodriguez Gonzalez
Localization by Wireless Technologies for Managing of Large Scale Data Artifacts on Mobile Devices / Ondrej Krejcar
Avoiding Threats Using Multi Agent System Planning for Web Based Systems / Punam Bedi ; Vandana Gandotra ; Archana Singhal ; Vandita Vats ; Neha Mishra
Using WordNet to Measure the Similarity of Link Texts / Andrzej Siemiński
Mining Frequent Purchase Behavior Patterns for Commercial Websites / Li-Fu Hsu ; Chuin-Chieh Hsu ; Yi-Chen Ku
Block Map Technique for the Usability Evaluation of a Website / Kazimierz Choros ; Monika Muskala
Global Distribution of HTTP Requests Using the Fuzzy-Neural Decision-Making Mechanism / Leszek Borzemski ; Anna Zatwarnicka ; Krzysztof Zatuiamicki
Deterministic Processing of WWW Pages by the Web Service / Krzysztof Zatwarnicki
Special Session: Collective Intelligence for Economic Data Analysis
Comparative Analysis of Regression Tree Models for Premises Valuation Using Statistica Data Miner / Tadeusz Lasota ; Piotr Sachnowski ; Bogdan Trawiński
Electronic Trading on Electricity Markets within a Multi-agent Framework / Mariusz Kaleta ; Piotr Pa&lslash;ka ; Eugeniusz Toczylouiski ; Tomasz Traczyk
Comparative-Analysis of Premises Valuation Models Using KEEL, RapidMiner, and WEKA / Magdalena Graczyk
A Multi-agent System to Assist with Real Estate Appraisals Using Bagging Ensembles / Zbigniew Telec ; Krzysztof Trawiński
Reputation Tracking Procurement Auctions / Gordan Jezic
Comparative Analysis of Evolutionary Fuzzy Models for Premises Valuation Using KEEL / Marek Krzystanek
Hybrid Repayment Prediction for Debt Portfolio / Tomasz Kajdanowicz ; Przemys&lslash;aw Kazienko
Author Index
Keynote Speeches
Rough Set Approach to Knowledge Discovery about Preferences / Roman Slowiński
Toward a Self-referential Collective Intelligence: Some Philosophical Background of the IEML Research Program / Pierre Lévy
54.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler, Ngoc Thanh Nguyen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
55.

電子ブック

EB
De-Shuang Huang, George William Irwin, Takeo Kanade, Kang Li, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , 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
56.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
57.

電子ブック

EB
Jürgen Dix, Takeo Kanade, João Leite, João Alexandre Leite, João Leite, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
58.

電子ブック

EB
Francesca Toni, Takeo Kanade, Paolo Torroni, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
59.

電子ブック

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

電子ブック

EB
Anne Håkansson, Ronald L. Hartung, Robert J. Howlett, Lakhmi C. Jain, Takeo Kanade, Ngoc Thanh Nguyen, Ronald Hartung, Prof. Lakhmi C. Jain, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
61.

電子ブック

EB
Ronny Hartanto, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
62.

電子ブック

EB
Geoffrey I. Webb, Takeo Kanade, Xing Huo Yu, Xinghuo Yu, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
63.

電子ブック

EB
Australian Joint Conference on Artificial Intelligence, Raymond Austin Jarvis, Takeo Kanade, Shichao Zhang, Ray Jarvis, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
64.

電子ブック

EB
Abdul Sattar, Takeo Kanade, Byeong-ho Kang, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
65.

電子ブック

EB
Ann Nicholson, Takeo Kanade, Xiaodong Li, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Agents
Experimental Market Mechanism Design for Double Auction / Masabumi Furuhata ; Laurent Perrussel ; Jean-Marc Thévenin ; Dongmo Zhang
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic / Xiaowei Huang ; Ron van der Meyden
Multistage Fuzzy Decision Making in Bilateral Negotiation with Finite Termination Times / Jan Richter ; Ryszard Kowalczyk ; Matthias Klusch
Simple Default Reasoning in Theories of Action / Hannes Strass ; Michael Thielscher
From My Agent to Our Agent: Exploring Collective Adaptive Agent via Barnga / Yuya Ushida ; Kiyohiko Hattori ; Keiki Takadama
AI Applications
Classification of EEG for Affect Recognition: An Adaptive Approach / Omar AlZoubi ; Rafael A. Calvo ; Ronald H. Stevens
Effect of Experimental Factors on the Recognition of Affective Mental States through Physiological Measures / Iain Brown ; Steve Scheding
A Distance Measure for Genome Phylogenetic Analysis / Minh Duc Cao ; Lloyd Allison ; Trevor Dix
Pattern Prediction in Stock Market / Saroj Kaushik ; Naman Singhal
Balancing Workload in Project Assignment / Zhirong Liang ; Songshan Guo ; Yanzhi Li ; Andrew Lim
Topical Analysis for Identification of Web Communities / Yajie Miao ; Chunping Li
Collaborative-Comparison Learning for Complex Event Detection Using Distributed Hierarchical Graph Neuron (DHGN) Approach in Wireless Sensor Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Square Root Unscented Particle Filtering for Grid Mapping / Simone Zandara ; Ann Nicholson
Computer Vision and Image Processing
Towards Automatic Image Segmentation Using Optimised Region Growing Technique / Mamoun Alazab ; Mofakharul Islam ; Sitalakshmi Venkatraman
Texture Detection Using Neural Networks Trained on Examples of One Class / Vic Ciesielski ; Vinh Phuong Ha
Learning and Recognition of 3D Visual Objects in Real-Time / Shihab Hamid ; Bernhard Hengst
Learning Motion Detectors by Genetic Programming / Brian Pinto ; Andy Song
Information-Theoretic Image Reconstruction and Segmentation from Noisy Projections / Gerhard Visser ; David L. Dowe ; Imants D. Svalbe
Belief Propagation Implementation Using CUDA on an NVIDIA GTX / Yanyan Xu ; Hui Chen ; Reinhard Klette ; Jiaju Liu ; Tobi Vaudrey
Face Image Enhancement via Principal Component Analysis / Deqiang Yang ; Tianwei Xu ; Rongfang Yang ; Wanquan Liu
Data Mining and Statistical Learning
On Using Adaptive Binary Search Trees to Enhance Self Organizing Maps / Cesar A. Astudillo ; B. John Oommen
Topic-Based Computing Model for Web Page Popularity and Website Influence / Song Gao ; Liu Yang
Classifying Multiple Imbalanced Attributes in Relational Data / Amal S. Ghanem ; Svetha Venkatesh ; Geoff West
Algorithms for the Computation of Reduced Convex Hulls / Ben Goodrich ; David Albrecht ; Peter Tischer
Regularized Kernel Local Linear Embedding on Dimensionality Reduction for Non-vectorial Data / Yi Guo ; Junbin Gao ; Paul W. Kwan
Incremental E-Mail Classification and Rule Suggestion Using Simple Term Statistics / Alfred Krzywicki ; Wayne Wobcke
The Positive Effects of Negative Information: Extending One-Class Classification Models in Binary Proteomic Sequence Classification / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Using Topic Models to Interpret MEDLINE's Medical Subject Headings / David Newman ; Sarvnaz Karimi ; Lawrence Cavedon
A Novel Path-Based Clustering Algorithm Using Multi-dimensional Scaling / Uyen T.V. Nguyen ; Laurence A.F. Park ; Liang Wang ; Kotagiri Ramamohanarao
Ensemble Approach for the Classification of Imbalanced Data / Vladimir Nikulin ; Geoffrey J. McLachlan ; Shu Kay Ng
Adapting Spectral Co-clustering to Documents and Terms Using Latent Semantic Analysis / Christopher A. Leckie ; James C Bezdek
MML Invariant Linear Regression / Daniel F. Schmidt ; Enes Makalic|312
DMCS: Dual-Model Classification System and Its Application in Medicine / Qun Song ; Ruihua Weng ; Fengyu Weng
A Graph Distance Based Structural Clustering Approach for Networks / Xin Su
Constructing Stochastic Mixture Policies for Episodic Multiobjective Reinforcement Learning Tasks / Peter Vamplew ; Richard Dazeley ; Ewan Barker ; Andrei Kelarev
Enhancing MML Clustering Using Context Data with Climate Applications / Petteri Uotila
Evolutionary Computing
CoXCS: A Coevolutionary Learning Classifier Based on Feature Space Partitioning / Mani Abedini ; Michael Kirley
Multi-Objective Genetic Programming for Classification with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
Scheduling for the National Hockey League Using a Multi-objective Evolutionary Algorithm / Sam Craig ; Lyndon While ; Luigi Barone
Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems / Stephanus Daniel Handoko ; Chee Keong Kwoh ; Yew Soon Ong
Unsupervised Text Normalization Approach for Morphological Analysis of Blog Documents / Kazushi Ikeda ; Tadashi Yanagihara ; Kazunori Matsumoto ; Yasuhiro Takishima
Novel Memetic Algorithm for Protein Structure Prediction / Md. Kamrul Islam ; Madhu Chetty
Interestingness of Association Rules Using Symmetrical Tau and Logistic Regression / Izwan Nizal Mohd Shaharanee ; Fedja Hadzic ; Tharam S. Dillon
Unsupervised Elimination of Redundant Features Using Genetic Programming / Kourosh Neshatian
A Distance Metric for Evolutionary Many-Objective Optimization Algorithms Using User-Preferences / Upali K. Wickramasinghe ; Xiaodong Li
Balancing Parent and Offspring Selection in Genetic Programming / Huayang Xie
Game Playing
A Memory-Based Approach to Two-Player Texas Hold'em / Jonathan Rubin ; Ian Watson
Decomposition of Multi-player Games / Dengji Zhao ; Stephan Schiffel
Knowledge Representation and Reasoning
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures / Norihiro Kamide ; Ken Kaneiwa
A Data Model for Fuzzy Linguistic Databases with Flexible Querying / Van Hung Le ; Fei Liu ; Hongen Lu
Modelling Object Typicality in Description Logics / Katarina Britz ; Johannes Heidema ; Thomas Meyer
Efficient SAT Techniques for Relative Encoding of Permutations with Constraints / Miroslav N. Velev ; Ping Gao
Uniform Interpolation for ACC Revisited / Zhe Wang ; Kewen Wang ; Rodney Topor ; Jeff Z. Pan ; Grigoris Antoniou
Modeling Abstract Behavior: A Dynamic Logic Approach / Yi Zhou ; Yan Zhang
Natural Language and Speech Processing
Restoring Punctuation and Casing in English Text / Timothy Baldwin ; Manuel Paul Anil Kumar Joseph
A Novel Connectionist Network for Solving Long Time-Lag Prediction Tasks / Keith Johnson ; Cara MacNish
An Abstraction-Based Data Model for Information Retrieval / Richard A. McAllister ; Rafal A. Angryk
Vietnamese Document Representation and Classification / Giang-Son Nguyen ; Xiaoying Gao ; Peter Andreae
Can Shallow Semantic Class Information Help Answer Passage Retrieval? / Bahadorreza Ofoghi ; John Yearwood
English Article Correction System Using Semantic Category Based Inductive Learning Rules / Hokuto Ototake ; Kenji Araki
Towards Interpreting Task-Oriented Utterance Sequences / Patrick Ye ; Ingrid Zukerman
Soft Computing
Fuzzy Rank Linear Regression Model / Jin Hee Yoon ; Seung Hoe Choi
Numerical versus Analytic Synchronization in Small-World Networks of Hindmarsh-Rose Neurons / Mahdi Jalili
Outline Capture of Images by Multilevel Coordinate Search on Cubic Splines / Muhammad Sarfraz
User Modelling
Aggregation Trade Offs in Family Based Recommendations / Shlomo Berkovsky ; Jill Freyne ; Mac Coombe
Using Keyword-Based Approaches to Adaptively Predict Interest in Museum Exhibits / Fabian Bohnert
Behaviour Recognition from Sensory Streams in Smart Environments / Sook-Ling Chua ; Stephen Marsland ; Hans W. Guesgen
Probabilistic Seeking Prediction in P2P VoD Systems / Weiwei Wang ; Tianyin Xu ; Yang Gao ; Sanglu Lu
Author Index
Agents
Experimental Market Mechanism Design for Double Auction / Masabumi Furuhata ; Laurent Perrussel ; Jean-Marc Thévenin ; Dongmo Zhang
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic / Xiaowei Huang ; Ron van der Meyden
66.

電子ブック

EB
Jiuyong Li, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems / Sebastian Haufe ; Michael Thielscher
Temporal Belief-Change: K-functions Approach / Armin Hezart ; Abhaya C. Nayak ; Mehmet A. Orgun
Resource-Sensitive Reasoning with Sequential Information / Norihiro Kamide ; Ken Kaneiwa
Frame-Based Dialogue Management Automated Error Recovery Approach / Tomáš Nestorovic
Characterizing Relevant Belief Revision Operators / Laurent Perrussel ; Jerusa Marchi ; Dongmo Zhang
Belief Erasure Using Partial Imaging / Raghav Ramachandran
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi / Carl Schultz ; Robert Amor ; Hans W. Guesgen
Two Methods for Constructing Horn Contractions / Zhi Qiang Zhuang ; Maurice Pagnucco
Data Mining and Knowledge Discovery
Database Normalization as a By-product of Minimum Message Length Inference / David L. Dowe ; Nayyar Abbas Zaidi
A Heuristic on Effective and Efficient Clustering on Uncertain Objects / Edward Hung ; Lei Xu ; Chi-Cheong Szeto
A New Supervised Term Ranking Method for Text Categorization / Musa Mammadov ; John Yearwood ; Lei Zhao
A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods / Swee Chuan Tan ; Kai Ming Ting ; Shyh Wei Teng
An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data / Ke Zhang ; Huidong Jin
Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset / Qinghua Zheng ; Xin Wang ; Wanyu Deng ; Jun Liu ; Xiyuan Wu
Machine Learning
Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence / Zaw Zaw Htike ; Simon Egerton ; Ye Chow Kuang
On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification / Gjorgji Madjarou ; Dejan Gjorgjevikj ; Tomche Delev
Newton Trees / Fernando Martínez-Plumed ; Vicent Estruch ; César Ferri ; José Hernández-Orallo ; María José Ramírez-Quintana
Learning Parse-Free Event-Based Features for Textual Entailment Recognition / Bahadorreza Ofoghi
A Gradient-Based Metric Learning Algorithm for k-NN Classifiers / David McG. Squire ; David Suter
Statistical Learning
Dimensionality Reduction for Classification through Visualisation Using LISNE / Lennon V. Cook ; Junbin Gao
Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems / Enes Makalic ; Daniel Francis Schmidt
The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models
Unbounded Knowledge Acquisition Based Upon Mutual Information in Dependent Questions / Tony C. Smith ; Chris van De Molen
Evolutionary Computation
A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks / Rohitash Chandra ; Marcus Frean
Evolving Cooperation in the Spatial N-player Snowdrift Game / Raymond Chiong ; Michael Kirley
Sampling Methods in Genetic Programming for Classification with Unbalanced Data / Rachel Hunt ; Will Browne
Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes / Ashkan Izadi ; Vic Ciesielski ; Marsha Berry
Cellular Differential Evolution Algorithm / Nasimul Noman ; Hitoshi Iba
A Comparative Study of CMA-ES on Large Scale Global Optimisation / Mohammad Nabi Omidvar ; Xiaodong Li
Particle Swarm Optimization
Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search / Wenlong Fu
Edge and Corner Extraction Using Particle Swarm Optimisation / Mahdi Setayesh
Fuzzy Adaptive Artificial Fish Swarm Algorithm / Danial Yazdani ; Adel Nadjaran Toosi ; Mohammad Reza Meybodi
Intelligent Agent
The Honourable Negotiator: When the Relationship Is What Matters / John Debenham ; Simeon Simoff
Tuning Java to Run Interactive Multiagent Simulations over Jason / Víctor Fernández-Bauset ; Francisco Grimaldo ; Miguel Lozano ; Juan M. Orduña
Emergence of Cooperation in a Bio-inspired Multi-agent System / Hiroyuki Ishiwata
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets / Minyi Li ; Bao Quoc Bao Vo ; Ryszard Kowalczyk
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints / Khalid Mansour
A Logic for Reasoning about Actions and Explicit Observations / Gavin Rens ; Ivan Varzinczak ; Thomas Meyer ; Alexander Ferrein
Search and Planning
Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding / Ramon Lawrence ; Vadim Bulitko
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search / Jussi Rintanen
Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems / Hemant K. Singh ; Tapabrata Ray ; Warren Smith
Natural Language Processing
Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion / Khaled Abdalgader ; Andrew Skabar
LEXA: Towards Automatic Legal Citation Classification / Filippo Galgani ; Achim Hoffmann
Hazardous Document Detection Based on Dependency Relations and Thesaurus / Kazushi Ikeda ; Tadashi Yanagihara ; Gen Hattori ; Kazunori Matsumoto ; Yasuhiro Takisima
Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance
AI Applications
Collaborative Filtering for People to People Recommendation in Social Networks / Xiongcai Cai ; Michael Bain ; Alfred Krzywicki ; Wayne Wobcke ; Yang Sok Kim ; Paul Compton ; Ashesh Mahidadia
Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head / Martin Luerssen ; Trent Lewis ; David Powers
Diagnosing Component Interaction Errors from Abstract Event Traces / Wolfgang Mayer ; Xavier Pucel ; Markus Stumptner
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation / Adrian Schoenig
Maximal Matching for Double Auction / Dengji Zhao ; Md Khan
Author Index
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems / Sebastian Haufe ; Michael Thielscher
Temporal Belief-Change: K-functions Approach / Armin Hezart ; Abhaya C. Nayak ; Mehmet A. Orgun
67.

電子ブック

EB
Associazione italiana per l'intelligenza artificiale. Congress, Stefania Bandini, Takeo Kanade, Sara Manzoni, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
68.

電子ブック

EB
Roberto Serra, Rita Cucchiara, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
69.

電子ブック

EB
Roberto Pirrone, Takeo Kanade, Filippo Sorbello, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
70.

電子ブック

EB
Jean-Daniel Zucker, Takeo Kanade, Lorenza Saitta, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
71.

電子ブック

EB
Abdelhamid Bouchachia, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
72.

電子ブック

EB
Moonis Ali, Richard Dapoigny, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
73.

電子ブック

EB
Luc Lamontagne, Takeo Kanade, Luc D. Lamontagne, Mario Marchand, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック

EB
Yong Gao, Nathalie Japkowicz, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
AI in Web Advertising: Picking the Right Ad Ten Thousand Times a Second (Abstract) / Evgeniy Gabrilovich
Living with Constraints (Abstract) / Alan K. Mackworth
Computer (and Human) Perfection at Checkers (Abstract) / Jonathan Schaeffer
Regular Papers
Decision Tree Learning Using a Bayesian Approach at Each Node / Mirela Andronescu ; Mark Brodie
Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism / Calin Anton ; Lane Olson
Enhancing the Bilingual Concordancer TransSearch with Word-Level Alignment / Julien Bourdaillet ; Stéphane Huet ; Fabrizio Gotti ; Guy Lapalme ; Philippe Langlais
Financial Forecasting Using Character N-Gram Analysis and Readability Scores of Annual Reports / Matthew Butler ; Vlado KeÃœelj
Statistical Parsing with Context-Free Filtering Grammar / Michael Demko ; Gerald Penn
Machine Translation of Legal Information and Its Evaluation / Atefeh Farzindar
An Iterative Hybrid Filter-Wrapper Approach to Feature Selection for Document Clustering / Mohammad-Amin Jashki ; Majid Makki ; Ebrahim Bagheri ; Ali A. Ghorbani
Cost-Based Sampling of Individual Instances / William Klement ; Peter Flach ; Nathalie Japkowicz ; Stan Matwin
Context Dependent Movie Recommendations Using a Hierarchical Bayesian Model / Daniel Pomerantz ; Gregory Dudek
Automatic Frame Extraction from Sentences / Martin Scaiano ; Diana Inkpen
Control of Constraint Weights for a 2D Autonomous Camera / Md. Shafiul Alam ; Scott D. Goodwin
Training Global Linear Models for Chinese Word Segmentation / Dong Song ; Anoop Sarkar
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems / Lijun Wu ; Jinshu Su ; Xiangyu Luo ; Zhihua Yang ; Qingliang Chen
Enumerating Unlabeled and Root Labeled Trees for Causal Model Acquisition / Yang Xiang ; Zoe Jingyu ; Yu Li
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints / Safa Yahi ; Salem Benferhat
Short Papers
Improving Document Search Using Social Bookmarking / Hamidreza Baghi ; Yeugen Biletskiy
Rank-Based Transformation in Measuring Semantic Relatedness / Bartosz Broda ; Maciej Piasecki ; Stan Szpakowicz
Optimizing a Pseudo Financial Factor Model with Support Vector Machines and Genetic Programming
Novice-Friendly Natural Language Generation Template Authoring Environment / Maria Fernanda Caropreso ; Shahzad Khan ; Fazel Keshtkar
A SVM-Based Ensemble Approach to Multi-Document Summarization / Yllias Chali ; Sadid A. Hasan ; Shafiq R. Joty
Co-Training on Handwritten Digit Recognition / Jun Du ; Charles X. Ling
Evaluation Methods for Ordinal Classification / Lisa Gaudette
STFLS: A Heuristic Method for Static and Transportation Facility Location Allocation in Large Spatial Datasets / Wei Gu ; Xin Wang ; Liqiang Geng
An Ontology-Based Spatial Clustering Selection System / Danielle Ziebelin
Exploratory Analysis of Co-Change Graphs for Code Refactoring / Hassan Khosravi ; Recep Colak
Classifying Biomedical Abstracts Using Committees of Classifiers and Collective Ranking Techniques / Alexandre Kouznetsov ; Amir H. Razavi ; Oana Frunza ; Morvarid Sehatkar ; Leanne Seaward ; Peter O'Blenis
Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem / Hyun-Jin Lee ; Sang-Jin Cha ; Young-Hoon Yu ; Geun-Sik Jo
Valuable Change Detection in Keyword Map Animation / Takuya Nishikido ; Wataru Sunayama ; Yoko Nishihara
The WordNet Weaver: Multi-criteria Voting for Semi-automatic Extension of a Wordnet / Michal Marcinczuk
Active Learning with Automatic Soft Labeling for Induction of Decision Trees / Jiang Su ; Sayyad Shirabad Jelber ; Jin Huang
A Procedural Planning System for Goal Oriented Agents in Games / Yingying She ; Peter Grogono
An Empirical Study of Category Skew on Feature Selection for Text Categorization / Mondelle Simeon ; Robert Hilderman
Opinion Learning without Emotional Words / Marina Sokolova
Belief Rough Set Classifier / Salsabil Trabelsi ; Zied Elouedi ; Pawan Lingras
Graduate Student Symposium
Automatic Extraction of Lexical Relations from Analytical Definitions Using a Constraint Grammar / Olga Acosta
Grid-Enabled Adaptive Metamodeling and Active Learning for Computer Based Design / Dirk Gorissen
Reasoning about Movement in Two-Dimensions / Joshua Gross
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion / Rahmatullah Hafiz
K-MORPH: A Semantic Web Based Knowledge Representation and Context-Driven Morphing Framework / Sajjad Hussain
Background Knowledge Enriched Data Mining for Interactome Analysis / Mikhail Jiline
Modeling and Inference with Relational Dynamic Bayesian Networks / Cristina Manfredotti
A Semi-supervised Approach to Bengali-English Phrase-Based Statistical Machine Translation / Maxim Roy
Author Index
Invited Talks
AI in Web Advertising: Picking the Right Ad Ten Thousand Times a Second (Abstract) / Evgeniy Gabrilovich
Living with Constraints (Abstract) / Alan K. Mackworth
75.

電子ブック

EB
Atefeh Farzindar, Takeo Kanade, Vlado Kešelj, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
76.

電子ブック

EB
Cory Butz, Takeo Kanade, Pawan Lingras, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
77.

電子ブック

EB
David Hutchison, Takeo Kanade, Diana Inkpen, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
78.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Josef Kittler, Sandra Zilles
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
79.

電子ブック

EB
Angel Kuri-Morales, Takeo Kanade, Guillermo R. Simari, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
80.

電子ブック

EB
David Hutchison, Takeo Kanade, Maricel G. Kann, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
81.

電子ブック

EB
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lluís Godo, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
82.

電子ブック

EB
Claudio Sossai, Gaetano Chemello, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning / Isabelle Bloch
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics / Petr Cintula
Conditionals and Independence in Many-Valued Logics / Daniele Mundici
Algorithms for Uncertain Inference
Inference from Multinomial Data Based on a MLE-Dominance Criterion / Alessio Benavoli ; Cassio P. de Campos
Local Computation Schemes with Partially Ordered Preferences / Hélène Fargier ; Nic Wilson
Inference in Hybrid Bayesian Networks with Deterministic Variables / Prakash P. Shenoy ; James C. West
Argumentation Systems
Extracting the Core of a Persuasion Dialog to Evaluate Its Quality / Leila Amgoud ; Florence Dupin de Saint-Cyr
On Revising Argumentation-Based Decision Systems / Srdjan Vesic
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks / Pietro Baroni ; Federico Cerutti ; Massimiliano ; Giacomin ; Giovanni Guida
Social Argument Justification: Some Mechanisms and Conditions for Their Coincidence / Gustavo Adrián Bodanza ; Marcelo Roberto Auday
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension / Guido Boella ; Souhila Kaci ; Leendert van der Torre
An Algorithm for Generating Arguments in Classical Predicate Logic / Vasiliki Efstathiou ; Anthony Hunter
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming / Mauro J. Gómez Lucero ; Carlos I. Chesñevar ; Guillermo R. Simari
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments / Martín O. Moguillansky ; Nicolás D. Rotstein ; Marcelo A. Falappa
Bayesian Networks
Probability Density Estimation by Perturbing and Combining Tree Structured Markov Networks / Sourour Ammar ; Philippe Leray ; Boris Defourny ; Louis Wehenkel
Integrating Ontological Knowledge for Iterative Causal Discovery and Visualization / Montassar Ben Messaoud ; Nahla Ben Amor
Binary Probability Trees for Bayesian Networks Inference / Andrés Cano ; Manuel Gómez-Olmedo ; Serafín Moral
Marginals of DAG-Isomorphic Independence Models / Peter R. de Waal
The Probabilistic Interpretation of Model-Based Diagnosis / Ildikó Flesch ; Peter J.F. Lucas
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks / Eric O. Postma
Surprise-Based Qualitative Probabilistic Networks / Zina M. Ibrahim ; Ahmed Y. Tawfik ; Alioune Ngom
Maximum Likelihood Learning of Conditional MTE Distributions / Helge Langseth ; Thomas D. Nielsen ; Rafael Rumí ; Antonio Salmerón
Belief Functions
A Generalization of the Pignistic Transform for Partial Bet / Thomas Burger ; Alice Caplier
Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory / Lawrence Cholvy
Complexes of Outer Consonant Approximations / Fabio Cuzzolin
The Intersection Probability and Its Properties
Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions? / Sébastien Destercke ; Didier Dubois
Capacity Refinements and Their Application to Qualitative Decision Evaluation
Belief Functions and Cluster Ensembles / Marie-Hélène Masson ; Thierry Denoeux
Upper Probabilities Attainable by Distributions of Measurable Selections / Enrique Miranda ; Inés Couso ; Pedro Gil
Belief Revision and Inconsistency Handling
Merging Qualitative Constraints Networks Using Propositional Logic / Jean-François Condotta ; Pierre Marquis ; Nicolas Schwind
Distance-Based Semantics for C-Structure Belief Revision / Omar Doukari ; Eric Würbel ; Robert Jeansoulin
Merging Belief Bases Represented by Logic Programs / Julien Hué ; Odile Papini
Knowledge Base Stratification and Merging Based on Degree of Support / Weiru Liu
Using Transfinite Ordinal Conditional Functions / Sébastien Konieczny
The Non-archmedean Polynomials and Merging of Stratified Knowledge Bases / Jianbing Ma
Encoding the Revision of Partially Preordered Information in Answer Set Programming / Mariette Sérayet ; Pierre Drap
A Distance-Based Operator to Revising Ontologies in DL SHOQ / Fangkai Yang ; Guilin Qi ; Zhisheng Huang
Classification and Clustering
An Experimental Study about Simple Decision Trees for Bagging Ensemble on Datasets with Classification Noise / Joaquín Abellás ; Andrés R. Masegosa
Incremental Maintenance of Frequent Itemsets in Evidential Databases / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
A Bayesian Random Split to Build Ensembles of Classification Trees
HODE: Hidden One-Dependence Estimator / M. Julia Flores ; José A. Gámez ; Ana M. Martínez ; José M. Puerta
On the Effectiveness of Diversity When Training Multiple Classifier Systems / David Gacquer ; Véronique Delcroix ; François Delmotte ; Sylvain Piechowiak
On the Use of Clustering in Possibilistic Decision Tree Induction / Ilyes Jenhani ; Salem Benferhat ; Zied Elouedi
When in Doubt ... Be Indecisive / Linda C. van der Gaag ; Silja Renooij ; Wilma Steeneveld ; Henk Hogeveen
Conditioning, Independence, Inference
Acyclic Directed Graphs to Represent Conditional Independence Models / Marco Baioletti ; Giuseppe Busanello ; Barbara Vantaggi
Towards a Conscious Choice of a Similarity Measure: A Qualitative Point of View / Bernadette Bouchon-Meunier ; Giulianella Coletti ; Marie-Jeanne Lesot ; Maria Rifqi
Integrated Likelihood in a Finitely Additive Setting / Romano Scozzafava
Triangulation Heuristics for BN2O Networks / Petr Savicky ; Jiří Vomlel
Default Reasoning
A Default Logic Patch for Default Logic / Philippe Besnard ; Éric Grégoire ; Sébastien Ramon
A Note on Cumulative Stereotypical Reasoning / Giovanni Casini ; Hykel Hosni
Realizing Default Logic over Description Logic Knowledge Bases / Minh Dao-Tran ; Thomas Eiter ; Thomas Krennwallner
Dealing Automatically with Exceptions by Introducing Specificity in ASP / Laurent Garcia ; Stéphane Ngoma ; Pascal Nicolas
Foundations of Reasoning and Decision Making under Uncertainty
Generalised Label Semantics as a Model of Epistemic Vagueness / Jonathan Lawry ; Inés ; González-Rodríguez
Handling Analogical Proportions in Classical Logic / Fuzzy Logics Settings ; Laurent Miclet ; Henri Prade
Qualitative Possibilities and Necessities / Aleksandar Perović ; Zoran Ognjanović ; Miodrag Rašković ; Zoran Marković
Probabilistic Reasoning by SAT Solvers / Emad Saad
Fuzzy Sets and Fuzzy Logic
Supporting Fuzzy Rough Sets in Fuzzy Description Logics / Fernando Bobillo ; Umberto Straccia
Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets / Ivan Kramosil
Different Representations of Fuzzy Vectors / Jiuzhen Liang ; Mirko Navara ; Thomas Vetterlein
Elicitating Sugeno Integrals: Methodology and a Case Study / Agnés Rico ; Mathieu Serrurier ; Eric Raufaste
Implementation and Applications of Uncertain Systems
Robust Gene Selection from Microarray Data with a Novel Markov Boundary Learning Method: Application to Diabetes Analysis / Alex Aussem ; Sergio Rodrigues de Morais ; Florence Perraud ; Sophie Rome
Brain Tumor Segmentation Using Support Vector Machines / Raouia Ayachi
Ensemble Learning for Multi-source Information Fusion / Jörg Beyer ; Kai Heesche ; Werner Hauptmann ; Clemens Otte ; Rudolf Kruse
Bayesian Belief Network for Tsunami Warning Decision Support / Lilian Blaser ; Matthias Ohrnberger ; Carsten Riggelsen ; Frank Scherbaum
Anti-division Queries with Ordinal Layered Preferences / Patrick Bosc ; Olivier Pivert ; Olivier Soufflet
Predicting Stock and Portfolio Returns Using Mixtures of Truncated Exponentials / Barry R. Cobb
Logics for Reasoning under Uncertainty
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data / Ofer Arieli ; Anna Zamansky
A Simple Modal Logic for Reasoning about Revealed Beliefs / Mohua Banerjee
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases / Safa Yahi
A Logic for Complete Information Systems / Md. Aquil Khan
Markov Decision Processesß
An Uncertainty-Based Belief Selection Method for POMDP Value Iteration / Qi Feng ; Xuezhong Zhou ; Houkuan Huang ; Xiaoping Zhang
Optimal Threshold Policies for Multivariate Stopping-Time POMDPs / Vikram Krishnamurthy
An Evidential Measure of Risk in Evidential Markov Chains / Hélène Soubaras
Mathematical Fuzzy Logic
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms / Stefano Aguzzoli ; Brunella Gerla ; Vincenzo Marra
Soft Constraints Processing over Divisible Residuated Lattices / Simone Bova
On the Convergence with Fixed Regulator in Residuated Structures / Lavinia Corina Ciungu
Open Partitions and Probability Assignments in Gödel Logic / Pietro Codara ; Ottavio M. D'Antona
Exploring Extensions of Possibilistic Logic over Gödel Logic / Pilar Dellunde ; Lluís Godo ; Enrico Marchioni
Author Index
Invited Talks
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning / Isabelle Bloch
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics / Petr Cintula
83.

電子ブック

EB
Václav Matoušek, Takeo Kanade, Pavel Mautner, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Code Breaking for Automatic Speech Recognition / Frederick Jelinek
The Semantics of Semantics in Language Processing / Louise Guthrie
Are We There Yet? Research in Commercial Spoken Dialog Systems / Roberto Pieraccini ; David Suendermann ; Krishna Dayanidhi ; Jackson Liscombe
Semantic Information Processing for Multi-Party Interaction / Tilman Becker
Communication Disorders and Speech Technology / Elmar Nöth ; Stefan Steidl ; Maria Schuster
Text
A Gradual Combination of Features for Building Automatic Summarisation Systems / Elena Lloret ; Manuel Palomar
Combining Text Vector Representations for Information Retrieval / Maya Carrillo ; Chris Eliasmith ; A. López-López
Detecting and Correcting Errors in an English Tectogrammatical Annotation / Václav KlimeÜ
Improving the Clustering of Blogosphere with a Self-term Enriching Technique / Fernando Perez-Tellez ; David Pinto ; John Cardiff ; Paolo Rosso
Advances in Czech - Signed Speech Translation / Jakub Kanis ; Luděk Müller
Improving Word Alignment Using Alignment of Deep Structures / David Mareček
Trdlo, an Open Source Tool for Building Transducing Dictionary / Marek Grác
Improving Patient Opinion Mining through Multi-step Classification / Lei Xia ; Anna Lisa Gentile ; James Munro ; José Iria
Update Summarization Based on Latent Semantic Analysis / Josef Steinberger ; Karel Je ek
Websom Method-Word Categories in Czech Written Documents / Roman Mouček ; Pavel Mautner
Opinion Target Network: A Two-Layer Directed Graph for Opinion Target Extraction / Yunqing Xia ; Boyi Hao
The Czech Broadcast Conversation Corpus / Jáchym Kolář ; Jan èvec
Vector-Based Unsupervised Word Sense Disambiguation for Large Number of Contexts / Gyula Papp
Chinese Pinyin-Text Conversion on Segmented Text / Wei Liu
Mining Phrases from Syntactic Analysis / MiloÜ Jakubíček ; Aleè Horák ; Vojtěch Kovář
Problems with Pruning in Automatic Creation of Semantic Valence Dictionary for Polish / Elżbieta Hajnicz
Speech
Disambiguating Tags in Blogs / Xiance Si ; Maosong Sun
Intraclausal Coordination and Clause Detection as a Preprocessing Step to Dependency Parsing / Domen Marinčič ; Matja  Gams ; Toma  èef
Transcription of Catalan Broadcast Conversation / Henrik Schulz ; José A.R. Fonollosa ; David Rybach
An Analysis of the Impact of Ambiguity on Automatic Humour Recognition / Antonio Reyes ; Davide Buscaldi
Objective vs. Subjective Evaluation of Speakers with and without Complete Dentures / Tino Haderlein ; Tobias Bocklet ; Andreas Maier ; Christian Knipfer ; Florian Stelzle
Automatic Pitch-Synchronous Phonetic Segmentation with Context-Independent HMMs / Jindřich Matoušek
First Experiments on Text-to-Speech System Personification / Zdeněk Hanzlíček ; Daniel Tihelka
Parsing with Agreement / Adam Radziszewski
An Adaptive BIC Approach for Robust Speaker Change Detection in Continuous Audio Streams / Janez Äibert ; Andrej Brodnik ; France Mihelič
Fusion of Acoustic and Prosodic Features for Speaker Clustering
Combining Topic Information and Structure Information in a Dynamic Language Model / Pascal Wiggers ; Leon Rothkrantz
Expanding Topic-Focus Articulation with Boundary and Accent Assignment Rules for Romanian Sentence / Neculai Curteanu ; Diana Trandab&avreve;ţ ; Mihai Alex Moruz
Lexical Affinity Measure between Words / Ivar van Willegen
Multimodal Labeling
The ORD Speech Corpus of Russian Everyday Communication "One Speaker's Day": Creation Principles and Annotation / Alexander Asinovsky ; Natalia Bogdanova ; Marina Rusakova ; Anastassia Ryko ; Svetlana Stepanova ; Tatiana Sherstinova
The Structure of the ORD Speech Corpus of Russian Everyday Communication
Analysis and Assessment of AvID: Multi-Modal Emotional Database / Rok GajÜek ; Vitomir ètruc ; BoÜtjan Vesnicer ; Anja Podlesek ; Luka Komidar
Refinement Approach for Adaptation Based on Combination of MAP and fMLLR / Zbyněk Zajíc ; LukáÜ Machlica
Towards the Automatic Classification of Reading Disorders in Continuous Text Passages / Florian Hönig ; Stefanie Horndasch
A Comparison of Acoustic Models Based on Neural Networks and Gaussian Mixtures / TomáÜ Pavelka ; Kamil EkÜtein
Semantic Annotation for the LingvoSemantics Project / Ivan Habernal ; Miloslav Konopík
Hybrid Semantic Analysis
On a Computational Model for Language Acquisition: Modeling Cross-speaker Generalisation / Louis ten Bosch ; Joris Driesen ; Hugo Van harnme ; Lou Boves
Efficient Parsing of Romanian Language for Text-to-Speech Purposes / Andrei Şaupe ; Lucian Radu Teodorescu ; Mihai Alexandra Ordean ; Răzvan Boldizsar ; Mihaela Ordean ; Gheorghe Cosmin Silaghi
Discriminative Training of Gender-Dependent Acoustic Models / Jan Vaněk ; Josef V. Psutka ; Jan Zelinka ; AleÜ Pra ák ; Josef Psutka
Design of the Test Stimuli for the Evaluation of Concatenation Cost Functions / Milan Legát ; Jindřich MatouÜek
Towards an Intelligent User Interface: Strategies of Giving and Receiving Phone Numbers / Tiit Hennoste ; Olga Gerassimenko ; Riina Kasterpalu ; Mare Koit ; Andriela Rääbis ; Krista Strandson
Error Resilient Speech Coding Using Sub-band Hilbert Envelopes / Sriram Ganapathy ; Petr Motlicek ; Hynek Hermansky
Dialog
Prototyping Dialogues with Midiki: An Information State Update Dialogue Manager / Lúcio M.M. Quintal ; Paulo N.M. Sampaio
Experiments with Automatic Query Formulation in the Extended Boolean Model / Lucie Skorkovská ; Pavel Ircing
Daisie: Information State Dialogues for Situated Systems / Robert J. Ross ; John Bateman
Linguistic Models Construction and Analysis for Satisfaction Estimation / Natalia Ponomareva ; Angels Catena
Shallow Features for Differentiating Disease-Treatment Relations Using Supervised Learning, A Pilot Study / Dimitrios Kokkinakis
Extended Hidden Vector State Parser / Filip Jurčíček
Semantic Annotation of City Transportation Information Dialogues Using CRF Method / Agnieszka Mykowiecka ; Jakub Waszczuk
Towards Flexible Dialogue Management Using Frames / TomáÜ Nestorovič
Author Index
Invited Talks
Code Breaking for Automatic Speech Recognition / Frederick Jelinek
The Semantics of Semantics in Language Processing / Louise Guthrie
84.

電子ブック

EB
Ivan Habernal, Takeo Kanade, Václav Matoušek, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
85.

電子ブック

EB
Freek Wiedijk, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
Mizar / Andrzej Trybulec
PVS / Bart Jacobs ; John Rushby
Coq / Laurent Thery ; Pierre Letouzey ; Georges Gonthier
Otter/Ivy / Michael Beeson ; William McCune
Isabelle/Isar / Markus Wenzel ; Larry Paulson
Alfa/Agda / Thierry Coquand
ACL2 / Ruben Gamboa
PhoX / Christophe Raffalli ; Paul Roziere
IMPS / William Farmer
Metamath / Norman Megill
Theorema / Wolfgang Windsteiger ; Bruno Buchberger ; Markus Rozenkranz
Lego / Conor McBride
Nuprl / Paul Jackson
[Omega]mega / Christoph Benzmuller ; Armin Fiedler ; Andreas Meier ; Martin Pollet ; Jorg Siekmann
B Method / Dominique Cansell
Minlog / Helmut Schwichtenberg
Author Index
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
86.

電子ブック

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

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Ryszard Kowalczyk, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Integration Proposal for Description Logic and Attributive Logic - Towards Semantic Web Rules / Grzegorz J. Nalepa ; Weronika T. Furmanska
A Cross-Cultural Multi-agent Model of Opportunism in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Enhancing Social Search: A Computational Collective Intelligence Model of Behavioural Traits, Trust and Time / Luca Longo ; Pierpaolo Dondio ; Stephen Barrett
Group-Oriented Services: A Shift towards Consumer-Managed Relationships in the Telecom Industry / Luka Vrdoljak ; Iva Bojic ; Vedran Podobnik ; Gordan Jezic ; Mario Kusek
The Semantic Web: From Representation to Realization / Kristinn R. Thórisson ; Nova Spivack ; James M. Wissner
Decision Support System Based on Computational Collective Intelligence in Campus Information Systems / Yoshihito Saito ; Tokuro Matsuo
Fuel Crime Conceptualization through Specialization of Ontology for Investigation Management System / Jolanta Cybulka
A Robust Approach for Nonlinear UAV Task Assignment Problem under Uncertainty / Le Thi Hoai An ; Nguyen Quang Thuan
Pricing the Services in Dynamic Environment: Agent Pricing Model / Drago Zagar ; Slavko Rupcic ; Snjezana Rimac-Drlje
JABAT Middleware as a Tool for Solving Optimization Problems / Dariusz Barbucha ; Ireneusz Czarnowski ; Piotr Jedrzejowicz ; Ewa Ratajczak-Ropel ; Izabela Wierzbowska
Author Index
Integration Proposal for Description Logic and Attributive Logic - Towards Semantic Web Rules / Grzegorz J. Nalepa ; Weronika T. Furmanska
A Cross-Cultural Multi-agent Model of Opportunism in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Enhancing Social Search: A Computational Collective Intelligence Model of Behavioural Traits, Trust and Time / Luca Longo ; Pierpaolo Dondio ; Stephen Barrett
88.

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Cooperation of Agents Based on Methods of DES Supervising and Control / František Capkovic
Role of Thesauri in the Information Management in the Web-Based Services and Systems / Tomasz Kubik
On Efficiency of Collective Intelligence Phenomena / Tadeusz (Ted) Szuba ; Pawel Polanski ; Pawel Schab ; Pawel Wielicki
Enhancing the Computational Collective Intelligence within Communities of Practice Using Trust and Reputation Models / Iulia Maries ; Emil Scarlat
Loki - Semantic Wiki with Logical Knowledge Representation / Grzegorz J. Nalepa
Rule Extraction Based on Rough Fuzzy Sets in Fuzzy Information Systems / Ming-Chang Lee ; To Chang
Patterns in World Dynamics Indicating Agency / Tibor Bosse ; Jan Treur
Agent-Based Modelling of the Emergence of Collective States Based on Contagion of Individual States in Groups / Mark Hoogendoorn ; C. Natalie van der Wal ; Arlette van Wissen
Head-On Collision Avoidance by Knowledge Exchange under RAF Control of Autonomous Decentralized FMS / Hidehiko Yamamoto ; Takayoshi Yamada ; Katsutoshi Ootsubo
Quality Assessment of an Expert System: An Instrument of Regular Feedback from Users / Barbara Begier
Author Index
Cooperation of Agents Based on Methods of DES Supervising and Control / František Capkovic
Role of Thesauri in the Information Management in the Web-Based Services and Systems / Tomasz Kubik
On Efficiency of Collective Intelligence Phenomena / Tadeusz (Ted) Szuba ; Pawel Polanski ; Pawel Schab ; Pawel Wielicki
89.

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
90.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
91.

電子ブック

EB
Ngoc Thanh Nguyen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
92.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
93.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
94.

電子ブック

EB
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Active Sets and Unification / Germano Resconi ; Chris Hinde
Modeling a Teacher in a Tutorial-like System Using Learning Automata / B. John Oommen ; M. Khaled Hashem
Power Network Reliability Computations Using Multi-agent Simulation / Aleš Horák ; Miroslav Prýmek ; Tadeusz Sikora
Sequence Automata for Researching Consensus Levels / Henryk Piech
An Analysis of the Influence of Fundamental Indexing on Financial Markets through Agent-Based Modeling: The Fundamentalist and Fundamental Indexing / Hiroshi Takahashi
Agent-Driven Integration Architecture for Component-Based Software Development / Sodany Kiv ; Yves Wautelet ; Manuel Kolp
Adaptive Tutoring in an Intelligent Conversational Agent System / Annabel Latham ; Keeley Crockett ; David McLean ; Bruce Edmonds
Biological and Computational Perspectives on the Emergence of Social Phenomena: Shared Understanding and Collective Power / Jan Treur
Agent-Based Crowd Simulation in Airports Using Games Technology / Olivier Szymanezyk ; Tom Duckett ; Patrick Dickinson
Approximate Algorithms for Solving O1 Consensus Problems Using Complex Tree Structure / Marcin Maleszka ; Ngoc Thanh Nguyen
Author Index
Introduction to Active Sets and Unification / Germano Resconi ; Chris Hinde
Modeling a Teacher in a Tutorial-like System Using Learning Automata / B. John Oommen ; M. Khaled Hashem
Power Network Reliability Computations Using Multi-agent Simulation / Aleš Horák ; Miroslav Prýmek ; Tadeusz Sikora
95.

電子ブック

EB
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
96.

電子ブック

EB
Michael May, Takeo Kanade, Lorenza Saitta, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
97.

電子ブック

EB
Lluís Godo, Takeo Kanade, Andrea Pugliese, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
PrDB: Managing Large-Scale Correlated Probabilistic Databases (invited talk) / Amol Deshpande
Uncertainty in the Semantic Web (invited talk) / Thomas Lukasiewicz
Bridging the Gap between Abstract Argumentation Systems and Logic / Leila Amgoud ; Philippe Besnard
Modeling Unreliable Observations in Bayesian Networks by Credal Networks / Alessandro Antonucci ; Alberto Piatti
Interventions in Possibilistic Logic / Salem Benferhat ; Didier Dubois ; Henri Prade
An Analysis of Sum-Based Incommensurable Belief Base Merging / Sylvain Lagrue ; Julien Rossit
An Argument-Based Approach to Using Multiple Ontologies / Elizabeth Black ; Anthony Hunter ; Jeff Z. Pan
A Model Based on Possibilistic Certainty Levels for Incomplete Databases / Patrick Bosc ; Olivier Pivert
A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data / Marcela Capobianco ; Guillermo R. Simari
Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation / Philippe Chassy
Explaining Inconsistencies in OWL Ontologies / Matthew Horridge ; Bijan Parsia ; Ulrike Sattler
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics / Pavel Klinov
Towards Relational Schema Uncertainty / Matteo Magnani ; Danilo Montesi
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics / Pere Pardo
Fast and Accurate Prediction of the Destination of Moving Objects / Austin Parker ; V.S. Subrahmanian ; John Grant
Weighted Description Logics Preference Formulas for Multiattribute Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs / Emad Saad
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
Finite Satisfiability in Infinite-Valued &Lslash;ukasiewicz Logic / Steven Schockaert ; Jeroen Janssen ; Dirk Vermeir ; Martine De Cock
Compression of Probabilistic XML Documents / Irma Veldman ; Ander de Keijzer ; Maurice van Keulen
Query Answering in Belief Logic Programming / Hui Wan ; Michael Kifer
Towards Effective Elicitation of NIN-AND Tree Causal Models / Yang Xiang ; Yu Li ; Zoe Jingyu Zhu
An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification / Zoulficar Younes ; Fahed Abdallah ; Thierry Denoœux
Author Index
PrDB: Managing Large-Scale Correlated Probabilistic Databases (invited talk) / Amol Deshpande
Uncertainty in the Semantic Web (invited talk) / Thomas Lukasiewicz
Bridging the Gap between Abstract Argumentation Systems and Logic / Leila Amgoud ; Philippe Besnard
98.

電子ブック

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

電子ブック

EB
Salem Benferhat, John Grant, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
100.

電子ブック

EB
Michael Kohlhase, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
Markup for the World Wide Web / 1.2:
XML, the eXtensible Markup Language / 1.3:
Markup for Mathematical Knowledge / 2:
Mathematical Objects and Formulae / 2.1:
Mathematical Texts and Statements / 2.2:
Large-Scale Structure and Context in Mathematics / 2.3:
Open Mathematical Documents / 3:
A Brief History of the OMDoc Format / 3.1:
Three Levels of Markup / 3.2:
Situating the OMDoc Format / 3.3:
The Future: An Active Web of (Mathematical) Knowledge / 3.4:
An OMDoc Primer / Part II:
Textbooks and Articles / 4:
Minimal OMDoc Markup / 4.1:
Structure and Statements / 4.2:
Marking up the Formulae / 4.3:
Full Formalization / 4.4:
OpenMath Content Dictionaries / 5:
Structured and Parametrized Theories / 6:
A Development Graph for Elementary Algebra / 7:
Courseware and the Narrative/Content Distinction / 8:
A Knowledge-Centered View / 8.1:
A Narrative-Structured View / 8.2:
Choreographing Narrative and Content OMDoc / 8.3:
Summary / 8.4:
Communication Between Systems / 9:
The OMDoc Document Format / Part III:
OMDoc as a Modular Format / 10:
The OMDoc Namespaces / 10.1:
Common Attributes in OMDoc / 10.2:
Document Infrastructure / 11:
The Document Root / 11.1:
Metadata / 11.2:
Document Comments / 11.3:
Document Structure / 11.4:
Sharing Document Parts / 11.5:
The Dublin Core Elements (Module DC) / 12:
Roles in Dublin Core Elements / 12.2:
Managing Rights / 12.3:
Inheritance of Metadata / 12.4:
Mathematical Objects / 13:
OpenMath / 13.1:
Content MathML / 13.2:
Representing Types in Content-MathML and OpenMath / 13.3:
Semantics of Variables / 13.4:
Legacy Representation for Migration / 13.5:
Mathematical Text / 14:
Multilingual Mathematical Vernacular / 14.1:
Formal Mathematical Properties / 14.2:
Text Fragments and Their Rhetoric/Mathematical Roles / 14.3:
Phrase-Level Markup of Mathematical Vernacular / 14.4:
Technical Terms / 14.5:
Rich Text Structure / 14.6:
Mathematical Statements / 15:
Types of Statements in Mathematics / 15.1:
Theory-Constitutive Statements in OMDoc / 15.2:
The Unassuming Rest / 15.3:
Mathematical Examples in OMDoc / 15.4:
Inline Statements / 15.5:
Theories as Structured Contexts / 15.6:
Abstract Data Types / 16:
Representing Proofs / 17:
Proof Structure / 17.1:
Proof Step Justifications / 17.2:
Scoping and Context in a Proof / 17.3:
Formal Proofs as Mathematical Objects / 17.4:
Complex Theories / 18:
Inheritance via Translations / 18.1:
Postulated Theory Inclusions / 18.2:
Local/Required Theory Inclusions / 18.3:
Induced Assertions / 18.4:
Development Graphs / 18.5:
Notation and Presentation / 19:
Styling OMDoc Elements / 19.1:
A Restricted Style Language / 19.2:
Notation of Symbols / 19.3:
Presenting Bound Variables / 19.4:
Auxiliary Elements / 20:
Non-XML Data and Program Code in OMDoc / 20.1:
Applets and External Objects in OMDoc / 20.2:
Exercises / 21:
Document Models for OMDoc / 22:
XML Document Models / 22.1:
The OMDoc Document Model / 22.2:
OMDoc Sub-Languages / 22.3:
OMDoc Applications, Tools, and Projects / Part IV:
OMDoc Resources / 23:
The OMDoc Web Site, Wiki, and Mailing List / 23.1:
The OMDoc Distribution / 23.2:
The OMDoc Bug Tracker / 23.3:
An XML Catalog for OMDoc / 23.4:
External Resources / 23.5:
Validating OMDoc Documents / 24:
Validation with Document Type Definitions / 24.1:
Validation with RelaxNG Schemata / 24.2:
Validation with XML Schema / 24.3:
Transforming OMDoc / 25:
Extracting and Linking XSLT Templates / 25.1:
Interfaces for Systems / 25.2:
Presenting OMDoc to Humans / 25.3:
Applications and Projects / 26:
Introduction / 26.1:
QMath Parser / 26.2:
Sentido Integrated Environment / 26.3:
MBase / 26.4:
A Search Engine for Mathematical Formulae / 26.5:
Semantic Interrelation and Change Management / 26.6:
MathDox / 26.7:
ActiveMath / 26.8:
Authoring Tools for ActiveMath / 26.9:
SWiM - An OMDoc-Based Semantic Wiki / 26.10:
Induction Challenge Problems / 26.11:
Maya / 26.12:
Hets / 26.13:
CPoint / 26.14:
Stex: A Latex-Based Workflow for OMDoc / 26.15:
An Emacs Mode for Editing OMDoc Documents / 26.16:
Converting Mathematica Notebooks to OMDoc / 26.17:
Standardizing Context in System Interoperability / 26.18:
Proof Assistants in Scientific Editors / 26.19:
VeriFun / 26.20:
Appendix / Part V:
Changes to the Specification / A:
Changes from 1.1 to 1.2 / A.1:
Changes from 1.0 to 1.1 / A.2:
Quick-Reference / B:
Table of Attributes / C:
The RelaxNG Schema for OMDoc / D:
The Sub-language Drivers / D.1:
Common Attributes / D.2:
Module MOBJ: Mathematical Objects and Text / D.3:
Module MTXT: Mathematical Text / D.4:
Module DOC: Document Infrastructure / D.5:
Module DC: Dublin Core Metadata / D.6:
Module ST: Mathematical Statements / D.7:
Module ADT: Abstract Data Types / D.8:
Module PF: Proofs and Proof objects / D.9:
Module CTH: Complex Theories / D.10:
Module RT: Rich Text Structure / D.11:
Module EXT: Applets and Non-XML Data / D.12:
Module PRES: Adding Presentation Information / D.13:
Module QUIZ: Infrastructure for Assessments / D.14:
The RelaxNG Schemata for Mathematical Objects / E:
The RelaxNG Schema for OpenMath / E.1:
The RelaxNG Schema for MathML / E.2:
Bibliography
Index
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼