close
1.

図書

図書
Edward R. Dougherty ... [et al.], chairs/editors ; sponsored and published by IS & T--the Society of Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering.
出版情報: Bellingham, Wash. : SPIE, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6064
Proceedings of Electronic Imaging Science and Technology
所蔵情報: loading…
2.

図書

図書
David P. Casasent, Ernest L. Hall, chairs/editors ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2001  x, 582 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4572
所蔵情報: loading…
3.

図書

図書
David P. Casasent, Ernest L. Hall, Juha Röning, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2005  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6006
所蔵情報: loading…
4.

図書

図書
David P. Casasent, Ernest L. Hall, Juha Röning, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6384
所蔵情報: loading…
5.

図書

図書
editor, Waleed W. Smari, associate editor, Atif M. Memon
出版情報: Piscataway, NJ : IEEE Systems, Man, and Cybernetics Society, c2003  xl, 622 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
Balázs Kégl, Guy Lapalme (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xv, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3501 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Jean-Claude Heudin (ed.)
出版情報: Berlin : Springer, c2000  xi, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1834 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Evelina Lamma, Paola Mello (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1792 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  x, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
Integrating Constraint Solving into Proof Planning / Erica Melis ; Jürgen Zimmer ; Tobias Muller
Termination of Constraint Contextual Rewriting / Alessandro Armando ; Silvio Ranise
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination / Gilles Dowek
Normal Forms and Proofs in Combined Modal and Temporal Logics / U. Hustadt ; C. Dixon ; R. A. Schmidt ; M. FisherSession 2:
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic / Paqui Lucio
Handling Differential Equations with Constraints for Decision Support / Jorge Cruz ; Pedro BarahonaSession 3:
Non-trivial Symbolic Computations in Proof Planning / Volker Sorge
Integrating Computer Algebra and Reasoning through the Type System of Aldor / Erik Poll ; Simon Thompson
Combinations of Model Checking and Theorem Proving / Tomás E. Uribe
Compiling Multi-paradigm Declarative Programs into Prolog / Sergio Antoy ; Michael HanusSession 4:
Modular Redundancy for Theorem Proving / Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio
Composing and Controlling Search in Reasoning Theories Using Mappings / Alessandro Coglio ; Fausto Giunchiglia ; José Meseguer ; Carolyn L. Talcott
Why Combined Decision Problems Are Often Intractable / Klaus U. SchulzInvited Paper:
Session 5
Congruence Closure Modulo Associativity and Commutativity / L. Bachmair ; I. V. Ramakrishnan ; A. Tiwari ; L. Vigneron
Combining Equational Theories Sharing Non-Collapse-Free Constructors / Franz Baader ; Cesare Tinelli
Comparing Expressiveness of Set Constructor Symbols / Agostino Dovier ; Carla Piazza ; Alberto Policriti
Author Index
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
10.

図書

図書
Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu (eds.)
出版情報: Berlin : Springer, c2000  xiv, 750 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1793 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
Experiments on Information Retrieval Using Case-Based Reasoning / Carlos Ramirez
A Probabilistic Exemplar-Based Model for Case-Based Reasoning / Andrés F. Rodríguez ; Sunil Vadera ; L. Enrique Sucar
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective / Ricardo P. Beausoleil
A Methodology to Parallel the Temperature Cycle in Simulated Annealing / Héctor Sanvicente Sánchez ; Juan Frausto Solís
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm / Joaquín Pérez ; Rodolfo Pazos ; Juan Frausto ; David Romero ; Laura Cruz
A Practical Approach for Logic Program Analysis and Transformation / Wamberto Weber-Vasconcelos ; Eudenia Xavier Meneses
Experiments in Answer Sets Planning / M. Balduccini ; G. Brignoli ; G.A. Lanzarone ; F. Magni ; A. Provetti
Robotics and Computer Vision
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment / F. Curatelli ; O. Mayora-Ibarra
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems / Homero V. Ríos ; Ana Luisa Solís ; Emilio Aguirre ; Lourdes Guerrero ; Joaquín Peña ; Alberto Santamaría
Detection and Tracking of Facial Features in Video Sequences / Rogério Schmidt Feris ; Teófilo Emídio de Campos ; Roberto Marcondes Cesar Junior
An Application of Behavior-Based Architecture for Mobile Robots Design / Sergio Uribe-Gutierrez ; Horacio Martinez-Alfaro
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems / Gildardo Sánchez-Ante ; Fernando Ramos
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors / Leonardo Romero ; Eduardo Morales ; Enrique Sucar
Evolving Insect Locomotion Using Cooperative Genetic Programming / Edgar E. Vallejo
On the Minimal Cooperative Attitude in Multi-robotics Systems / Giovani Gómez
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC / Raúl Leal Ascencio ; Marco Pérez Cisneros
Machine Learning
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning / Carlos Mariano
Automatic Extraction of Logic Program Transformations from Examples / Marcelo A.T. Aragão
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System / Carlos Zozaya-Gorostiza ; David R. Orellana-Moyao
A Framework for Interleaving Planning-while-Learning and Execution / Marcello Balduccini
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World / Jianjun Yan ; Naoyuki Tokuda ; Juichi Miyamichi
RuLess: A Method for the Acquisition and Simplification of Rules / Pablo R. de Buen Rodriguez ; Eduardo F. Morales
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology / Daniel Antonio Callegari ; Flávio Moreira de Oliveira
Rapid Fine-Tuning of Computationally Intensive Classifiers / Stefan Zemke
Qualitative Knowledge Acquisition for Learning Organizations / Rafael E. Bourguet ; Rogelio Soto
Applying One-Sided Selection to Unbalanced Datasets / Gustavo E.A.P.A. Batista ; Andre C.P.L.F. Carvalho ; Maria Carolina Monard
Neural Networks
NSL/ASL: Distributed Simulation of Modular Neural Networks / Alfredo Weitzenfeld ; Oscar Peguero ; Sebastián Gutiérrez
Dynamical Behavior of an Electronic Neuron of Commutation / A. Padrón ; J. L. Pérez ; A. Herrera ; R. Prieto
Training Neural Networks Using Non-standard Norms - Preliminary Results / Angel Kuri Morales
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport / Armando García-Rodríguez ; Ramón M. Rodríguez-Dagnino ; Christos Douligeris
Constructing a Query Facility for RBS Networks / Marijke F. Augusteijn ; Kelly Shaw
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training / P. Rayón Villela ; J. H. Sossa Azuela
Investigation of the One-Armed Bandit by Neural Network / Frank C. Lin ; Xiaojiang Ju
Knowledge-Based Systems
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram / B. Das ; S.K. Mitra ; S. Banerjee
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry / Benedikt Bietzker ; Oliver Karch ; Hartmut Noltemeier
Risks Inside-Out / Osvaldo Cairó ; Julio Barreiro ; Francisco Solsona
A Specificic Domain Translator Application in a Floristic Digital Library / Dulcinea Navarrete ; Rogelio Dávila ; Alfredo Sánchez
A Cooperative, Deductive and Self-Adaptive Web Authoring Environment / Dominique Decouchant ; Ana María Martínez-Enríquez
Definition of a General Conceptualization Method for the Expert Knowledge / Almudena Sierra-Alonso
Segmenting the e-Commerce Market Using the Generative Topographic Mapping / A. Vellido ; P.J.G. Lisboa ; K. Meehan
Speech Recognition and Natural Language
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation / Anna Esposito ; Eugène C. Ezin ; Carlos A. Reyes-García
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology / Ingrid Kirschning ; Nancy Aguas
Explaining Abstract Data Types with Sentential and Diagrammatic Elements / Agustin A. Araya ; Jessica H. Chu
Dialogue Structure Influence Over Anaphora Resolution / Patricio Martínez-Barco ; Manuel Palomar
Processing of Spanish Definite Descriptions / Rafael Muñoz ; Antonio Ferrández
Syntatic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation / Miguel Angel Ibarra Rivera ; Jesús Favela Vara ; Aurelio López-López
Comparison of Conceptual Graphs / Manuel Montes-y-Gómez ; Alexander Gelbukh
Multiagent Systems
Interaction of Purposeful Agents that Use Different Ontologies / Adolfo Guzmán ; Jesús Olivares ; Araceli Demetrio ; Carmen Domínguez
Multi-agent Adaptive Dynamic Programming / Snehasis Mukhopadhyay ; Joby Varghese
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning / Monica Lagazio ; Evan Govender
Intelligent Interface Agents Behavior Modeling / Jorge J. Gómez-Sanz ; Juan Pavón ; Francisco Garijo
Memory Based Reasoning and Agents Adaptive Behavior / Ana S. Aguera ; Alejandro Guerra ; Manuel Martínez
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent / Pedro Pablo González Pérez ; José Negrete Martínez ; Ariel Barreiro García ; Carlos Gershenson García
Action Selection Properties in a Software Simulated Agent
MultiAgent Planning: A Resource Based Approach / José Juan Palacios Pérez
Reasoning Under Uncertainty
Dynamic Fuzzy Logic / José Luis Pérez-Silva ; Felipe Lara-Rosano
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System / A. M. Martínez-Enríquez ; O. R. Sereno-Peñaloza
Probabilistic Model-Based Diagnosis / Pablo H. Ibargüengoytia
Instance Metrics Improvement by Probabilistic Support / Héctor Jiménez ; Guillermo Morales
EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation / G. Arroyo-Figueroa
Intelligent Tutoring Systems
A Complete Teamwork Model in a Dynamic Environment / M. Goyal ; N. Parameswaran
Towards a Personalized Web-Based Educational System / J. G. Boticario ; E. Gaudioso
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment / Gerardo Ayala ; Arlette Hernández
Author Index
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
11.

図書

図書
Howard J. Hamilton
出版情報: Berlin : Springer, c2000  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1822 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Games / Constraint Satisfaction
Unifying Single-Agent and Two-Player Search / J. Schaeffer ; A. Plaat
Are Bees Better than Fruitflies? / J. van Rijswijck
A Constraint Directed Model for Partial Constraint Satisfaction Problems / S. Nagarajan ; S. Goodwin ; A. Sattar
Natural Language I
Using Noun Phrase Heads to Extract Document Keyphrases / K. Barker ; N. Cornacchia
Expanding the Type Hierarchy with Nonlexical Concepts / C. Barrière ; F. Popowich
Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions / B. Moulin ; D. Kattani ; B. Gauthier ; andW. Chaker
An Extendable Natural Language Interface to a Consumer Service Database / P.P. Kubon ; G. Tisher
Knowledge Representation
Identifying and Eliminating Irrelevant Instances Using Information Theory / M. Sebban ; R. Nock
Keep It Simple: A Case-Base Maintenance Policy Based on Clustering and Information Theory / Q. Yang ; J. Wu
On the Integration of Recursive <$>{\cal A}{\cal L}{\cal N}<$>-Theories / A. Vitória ; M. Mamede
Natural Language II
Collocation Discovery for Optimal Bilingual Lexicon Development / S. McDonald ; D. Turcato ; P. McFetridge,F. Popowich ; J. Toole
The Power of the TSNLP: Lessons from a Diagnostic Evaluation of a Broad-Coverage Parser / E. Scarlett ; S. Szpakowicz
A Parallel Approach to Unified Cognitive Modeling of Language Processing within a Visual Context / C. Hannon ; D. Cook
AI Applications
Interact: A Staged Approach to Customer Service Automation / Y. Lallement ; M.S. Fox
Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine / U. Hahn ; S. Schulz
The Use of Ontologies and Meta-knowledge to Facilitate the Sharing ofKnowledge in a Multi-agent Personal Communication System / R. Liscano ; K. Baker ; J. Meech
Machine Learning / Data Mining
ASERC - A Genetic Sequencing Operator for Asymmetric Permutation Problems / K.C. Wiese ; S.D. Goodwin
CViz: An Interactive Visualization System for Rule Induction / J. Han ; A. An ; N. Cercone
Learning Pseudo-independent Models: Analytical and Experimental Results / Y. Xiang ; X. Hu ; N.J. Cercone ; H.J. Hamilton
Planning / Theorem Proving / Artificial Life
Learning Rewrite Rules versus Search Control Rules to Improve Plan Quality / M.A. Upal ; R. Elio
Scheduling Methods for Parallel Automated Theorem Proving / G. Stenz ; A. Wolf
Simulating Competing Alife Organisms by Constructive Compound Neural Networks / J. Yan ; N. Tokuda ; J. Miyamichi
Neural Networks
A Recognition-Based Alternative to Discrimination-Based Multi-layer Perceptrons / T. Eavis ; N. Japkowicz
Accelerated Backpropagation Learning: Extended Dynamic Parallel Tangent Optimization Algorithm / A.A. Ghorbani ; L. Bayat
Neural ARX Models and PAC Learning / K. Najarian ; G.A. Dumont ; M.S. Davies ; N.E. Heckman
Posters
Qualitative Descriptors and Action Perception / J.-C. Baillie ; J.-G. Ganascia
A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data / J. Bowes ; E. Neufeld ; J.E. Greer ; J. Cooke
Towards an Automated Citation Classifier / M. Garzone ; R.E. Mercer
Typical Example Selection for Learning Classifiers
Comparative Study of Neural Network Controllers for Nonlinear Dynamic Systems / M.F. Hussin ; B.M. Abouelnasr ; A.A. Shoukry
The Iterative Multi-agent Method for Solving Complex Search Problems / K. Karimi
Relational Learning with Transfer of Knowledge Between Domains / J. Morin ; S. Matwin
Surviving in a Hostile Multi-agent Environment: How Simple Affective States Can Aid in the Competition for Resources / M. Scheutz
Task-Structure Based Mediation: The Travel-Planning Assistant Example / Q. Situ ; E. Stroulia
Considerations on Compositional Update Operators / M. Suderman ; J. Delgrande
The Degeneration of Relevance in Uncertain Temporal Domains: AnEmpirical Study / A.Y. Tawfik ; T. Barrie
The Learnability of Naive Bayes / H. Zhang ; C.X. Ling ; Z. Zhao
Invited Presentations
Parsing to Meaning, Statistically / E. Charniak
Automated Discovery: A Fusion of Multidisciplinary Principles / J. Żytkow
Author Index
Games / Constraint Satisfaction
Unifying Single-Agent and Two-Player Search / J. Schaeffer ; A. Plaat
Are Bees Better than Fruitflies? / J. van Rijswijck
12.

図書

図書
Rasiah Loganantharaj, Günther Palm, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2000  xvii, 751 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1821 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書

図書
Berthe Y. Choueiry, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2000  xi, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1864 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
Susanne Biundo, Maria Fox (eds.)
出版情報: Berlin : Springer, c2000  viii, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1809 . Lecture notes in artificial intelligence
所蔵情報: loading…
15.

図書

図書
Manuela Veloso, Enrico Pagello, Hiroaki Kitano (eds.)
出版情報: Berlin : Springer, c2000  xiv, 802 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1856 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書

図書
Riichiro Mizoguchi, John Slaney (eds.)
出版情報: Berlin : Springer, c2000  xx, 835 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1886 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

雑誌

雑誌
International Conference on Artificial Intelligence
出版情報: [Las Vegas, Nevada] : CSREA Press
所蔵情報: loading…
18.

図書

図書
Markus Stumptner, Dan Corbett, Mike Brooks (eds.)
出版情報: Berlin : Springer, c2001  xii, 666 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2256 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Papers
A Memetic Pareto Evolutionary Approach to Artificial Neural Networks / Hussein A. Abbass
Relating Defeasible and Default Logic / Grigoris Antoniou ; David Billington
Resolving Minsky's Paradox: The d-Dimensional Normal Distribution Case / Luis Rueda ; B. John Oommen
Solving Overconstrained Temporal Reasoning Problems / Matthew Beaumont ; Abdul Sattar ; Michael Maher ; John Thornton
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search / Amy M. Beckwith ; Berthe Y. Choueiry ; Hui Zou
Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations / Paul A. Boxer
Phased Array Sub-beam Optimisation / N. J. Bracken ; R. I. McKay
Generation of Facial Expressions from Emotion Using a Fuzzy Rule-Based System / The Duy Bui ; Dirk Heylen ; Mannes Poel ; Anton Nijholt
An Efficient Form Classification Method Using Partial Matching / Yungcheol Byun ; Sungsoo Yoon ; Yeongwoo Choi ; Gyeonghwan Kim ; Yillbyung Lee
Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance / Mike Cameron-Jones
Postdiction problems in Dynamic Logic / Samir Chopra ; Dongmo Zhang
A Method for Reasoning with Ontologies Represented as Conceptual Graphs / Dan Corbett
Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management / John Debenham
State Minimization Re-visited / Norman Foo ; Abhaya Nayak ; Maurice Pagnucco ; Dongmo Zhang153
Decidability of Quantified Propositional Branching Time Logics / Tim French
Improved Techniques for an Iris Recognition System with High Performance / Gyundo Kee ; Kwanyong Lee
An Investigation of an Adaptive Poker Player / Graham Kendall ; Mark Willdig
Acquiring Adaptation Knowledge for CBR with MIKAS / Abdus Salam Khan ; Achim Hoffmann
A Real-Time Region-Based Motion Segmentation and Tracking Using Adaptive Thresholding and K-means Clustering / Jong Bae Kim ; Hye Sun Park ; Min Ho Park ; Hang Joon Kim
Automatic Cell Classification in Human's Peripheral Blood Images Based on Morphological Image Processing / Kyungsu Kim ; Jeonghee Jeon ; Wankyoo Choi ; Pankoo Kim ; Yo-Sung Ho
Formal Concept Analysis for Domain-Specific Document Retrieval Systems / Mihye Kim ; Paul Compton
Learner's Self-Assessment: A Case Study of SVM for Information Retrieval / Adam Kowalczyk ; Bhavani Raskutti
A Semiotic Model of Communication and Its Implications for the Digital City Development / Victor V. Kryssanov ; Masayuki Okabe ; Koh Kakusho ; Michihiko Minoh
Simulations for Comparing Knowledge Acquisition and Machine Learning / Rex Kwok
Application of Genetic Algorithms to the Optimisation of Neural Network Configuration for Stock Market Forecasting / Daniel Hulme ; Shuxiang Xu
Updating Epistemic States / Jerome Lang ; Pierre Marquis ; Mary-Anne Williams
Fast Text Classification Using Sequential Sampling Processes / Michael D. Lee
Agents in a Multi-cultural World: Towards Ontological Reconciliation / Kendall Lister ; Leon Sterling
Logical Foundations for Reasoning about Trust in Secure Digital Communication / Chuchang Liu
Phe-Q : A Pheromone Based Q-Learning / Ndedi Monekosso ; Paolo Remagnino
Specification of Kansei Patterns in an Adaptive Perceptual Space / Tomoko Murakami ; Ryohei Orihara ; Naomichi Sueda
Embodying the JACK Agent Architecture / Emma Norling ; Frank E. Ritter
Towards an Ontology of Part-of / Chris Nowak ; Richard Raban
Actions Made Explicit in BDI / Vineet Padmanabhan ; Guido Governatori
Wrapping Boosters against Noise / Bernhard Pfahringer ; Geoffrey Holmes ; Gabi Schmidberger
Continuous Temporal Models / Mark Reynolds
Language and Commonsense Knowledge / Walid S. Saba
Simulation of Network Security with Collaboration among IDS Models / Hee Suk Seo ; Tae Ho Cho
Programming Spoken Dialogs Using Grammatical Inference / Bradford Starkie
Towards Genetic Programming for Texture Classification / AndySong ; Thomas Loveard ; Vic Ciesielski
Using Design Information to Identify Structural Software Faults / Markus Stumptner
The Application of AI to Automatically Generated Animation / Adam Szarowicz ; Juan Amiguet-Vercher ; Peter Forte ; Jonathon Briggs ; Petros Gelepithis
Planning with Noisy Actions (Preliminary Report) / Michael Thielscher
Getting the Job Done in a Hostile Environment / Steven Versteeg ; Alan Blair 507
Solving the Qualification Problem (In the Presence of the Frame Problem) / Quoc Bao Vo ; Norman Y. Foo
Dialogue Modeling for a Conversational Agent / Peter Wallis ; Helen Mitchard ; Jyotsna Das ; Damian O'Dea
Candidate Elimination Criteria for Lazy Bayesian Rules / GeoffreyI. Webb
Simplifying the Development of Intelligent Agents / Michael Winikoff ; Lin Padgham ; James Harland
An Operational Semantics for a PRS-like Agent Architecture / Wayne Wobcke
A Model for Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction
Collecting Quality Data for Database Mining / Chengqi Zhang ; Shichao Zhang
Further Pruning for Efficient Association Rule Discovery / Songmao Zhang ; Geoffrey I. Webb
Pattern Discovery in Probabilistic Databases
The Complexity of Logic Program Updates / Yan Zhang
Reasoning with Multimedia Information Using Symbolic Projection / Zili Zhang
Invited Contribution
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision / Didier Dubois
Author Index
Papers
A Memetic Pareto Evolutionary Approach to Artificial Neural Networks / Hussein A. Abbass
Relating Defeasible and Default Logic / Grigoris Antoniou ; David Billington
19.

図書

図書
Pavel Brazdil, Alípio Jorge (eds.)
出版情報: Berlin : Springer, c2001  xii, 418 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2258 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書

図書
Takao Terano ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  xxvii, 553 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2253 . Lecture notes in artificial intelligence
所蔵情報: loading…
21.

図書

図書
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
22.

図書

図書
Carlos A. Coello Coello...[et al.]
出版情報: Berlin : Springer, c2002  xiii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2313 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書

図書
Kevin D. Ashley, Derek G. Bridge (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 734 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2689 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書

図書
Paul W.H. Chung, Chris Hinde, Moonis Ali (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 817 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2718 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書

図書
Andreas Butz, Antonio Krüger, Patrick Olivier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 260 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2733
所蔵情報: loading…
26.

図書

図書
Gal A. Kaminka, Pedro U. Lima, Raul Rojas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvi, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2752 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
Jon Timmis, Peter Bentley, Emma Hart (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2787
所蔵情報: loading…
28.

図書

図書
M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2504 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Reasoning Models
Components for Case-Based Reasoning Systems / Chema Abásolo ; Enric Plaza ; Josep-Llu'is Arcos
Analysis of Tensions in a Population Based on the Adequacy Concept / J. Aguilar-Martin ; N. Agell ; M. Sanchez ; F. Prats
Qualitative Velocity / M. Teresa Escrig Monferrer ; Francisco Toledo Lobo
Knowledge Representation Model for Dynamic Processes / Gabriel Fiol-Roig
A Decision Case-Based System, That Reasons in Uncertainty Conditions / Iliana Gutiérrez Mart'inez ; Rafael E. Bello Pérez
Modeling Motion Qualitatively: Integrating Space and Time / Lledó Museros
Qualitative Comparison of Temporal Series. QSI / J.A. Ortega ; F.J. Cuberos ; R.M. Gasca ; M. Toro ; J. Torres
Integrating 3D Orientation Models / Julio Pacheco
Improving Reliability in Classification of Microcalcifications in Digital Mammograms Using Case-Based Reasoning / Carles Vallespi ; Elisabet Golobardes ; Joan Marti
Fusion of Qualitative Preferences with Different Vocabularies / A¿ida Valls ; Vicenç Torra
FUTURA: Hybrid System for Electric Load Forecasting by Using Case-Based Reasoning and Expert System / Raúl Vilcahuamán ; Joaquim Meléndez ; Josep Lluis de la Rosa
Constraint Satisfaction
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem / T. Alsinet ; R. Béjar ; A. Cabiscol ; C. Fernàndez ; F. Manyà
PN to CSP Methodology: Improved Bounds / Daniel Riera ; Miquel A. Piera ; Antoni Guasch
Disjunction of Non-binary and Numeric Constraint Satisfaction Problems / Miguel A. Salido ; Federico Barber
Machine Learning and Classification
An Empirical Approach to Discourse Markers by Clustering / Laura Alonso ; Irene Castellón ; Karina Gibert ; Llu'is Padró
The Role of Interval Initialization in a GBML System with Rule
Representation and Adaptive Discrete Intervals / Jaume Bacardit ; Josep Maria Garrell
Feature Subset Selection in an ICA Space / Marco Bressan ; Jordi Vitrià
Validating Distance-Based Record Linkage with Probabilistic Record Linkage / Josep Domingo-Ferrer
Evaluating Feature Selection Algorithms / Luis Carlos Molina ; Llu'is Belanche ; Àngela Nebot
KDSM Methodology for Knowledge Discovery from Ill-Structured Domains Presenting Very Short and Repeated Serial Measures with Blocking Factor / Jorge Rodas ; J. Emilio Rojo
On Filtering the Training Prototypes in Nearest Neighbour Classification / J.S. Sánchez ; R. Barandela ; F.J. Ferri
Classification of Abnormal Situations in a Waste Water Treatment Plant / Adama Traoré ; Monique Polit ; Cecilio Angulo ; Andreu Català
MultiAgent Systems
Ant Colonies for the RCPS Problem / Joaqu'in Bautista ; Jordi Pereira
A Multi-agent Architecture Integrating Learning and Fuzzy Techniques for Landmark-Based Robot Navigation / D'idac Busquets ; Ramon López de Mantaras ; C. Sierra ; T.G. Dietterich
SIMBA: An Approach for Real-Time Multi-agent Systems / V. Julian ; C. Carrascosa ; M. Rebollo ; J. Soler ; V. Botti
Cooperative Case Bartering for Case-Based Reasoning Agents Santiago Ontañón
Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution / Javier Vázquez-Salceda ; Ulises Cortés ; Julian Padget
Computer Vison and Robotics
Modelling the Acquisition Geometry of a C-Arm Angiography System for 3D Reconstruction / Cristina Cañero ; Eduardo Nofrer'ias ; Josefina Mauri ; Petia Radeva
Non-negative Matrix Factorization for Face Recognition / David Guillamet
Efficient Path Planning Using Harmonic Functions Computed on a Non-regular Grid / Pedro Iñiguez ; Jan Rosell
Image Texture Prediction Using Colour Photometric Stereo / Xavier Lladó ; Joan Mart'i ; Maria Petrou
Region-Boundary Cooperative Image Segmentation Based on Active Regions / Xavier Muñoz ; Jordi Freixenet ; Xavier Cufi
Spherical Panoramas for Pan-Tilt Camera Motion Compensation in Space-Variant Images / Filiberto Pla ; V. Javier Traver
Unsupervised Parameterisation of Gaussian Mixture Models / Daniel Ponsa ; Xavier Roca
Bayesian Classification for Inspection of Industrial Products / A. Tovar ; Jordi Vitria
Internal and External Coronary Vessel Images Registration / D. Rotger ; E. Fernandez-Nofrerias
Textual Descriptors for Browsing People by Visual Appearance / Francesc Tous ; Agnés Borràs ; Robert Benavente ; Ramon Baldrich ; Maria Vanrell ; Josep Lladós
Author Index
Reasoning Models
Components for Case-Based Reasoning Systems / Chema Abásolo ; Enric Plaza ; Josep-Llu'is Arcos
Analysis of Tensions in a Population Based on the Adequacy Concept / J. Aguilar-Martin ; N. Agell ; M. Sanchez ; F. Prats
29.

図書

図書
José Mira, José R. Álvarez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxvii, 764 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2686 . 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6, 2003 : proceedings ; pt. 1
所蔵情報: loading…
30.

図書

図書
José Mira, José R. Álvarez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxvii, 820 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2687 . 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6, 2003 : proceedings ; pt. 2
所蔵情報: loading…
31.

図書

図書
IEEE Control Systems Society
出版情報: Piscataway : IEEE, c2002  xxiv, 923 p. ; 27 cm
所蔵情報: loading…
32.

図書

図書
Bob McKay, John Slaney (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 730 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2557 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with The Information Technology Research Institute, Wright State University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xx, 548 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Organizing Committee
Program Committee
Reviewers
Conference Schedule
Keynote Speeches
New Areas of Applied Artificial Intelligence Research / Jeffrey J. P. TsaiKeynote Speech I:
Data Mining for Counter-Terrorism / Bhavani ThuraisinghamKeynote Speech II:
To be announced / Keynote Speech III:
Design of Interdisciplinary Systems/Services / Hiroshi YamaguchiKeynote Speech IV:
Machine Learning I / Session 1-A:
About Adaptive State Knowledge Extraction for Septic Shock Mortality Prediction / R. W. Brause
Updating a Hybrid Rule Base with New Empirical Source Knowledge / J. Prentzas ; I. Hatzilygeroudis ; A. Tsakalidis
Data Sniffing--Monitoring of Machine Learning for Online Adaptive Systems / Y. Liu ; T. Menzies ; B. Cukic
Machine Learning and Software Engineering / D. Zhang ; J. J. P. Tsai
Data Mining and Knowledge Discovery I / Session 1-B:
Data Mining Using Cultural Algorithms and Regional Schemata / X. Jin ; R. G. Reynolds
Data Mining for Selective Visualization of Large Spatial Datasets / S. Shekhar ; C.-T. Lu ; P. Zhang ; R. Liu
Mining Association Rules in Text Databases Using Multipass with Inverted Hashing and Pruning / J. D. Holt ; S. M. Chung
A Tool for Extracting XML Association Rules / D. Braga ; A. Campi ; S. Ceri ; M. Klemettinen ; P. L. Lanzi
Constraint Satisfaction / Session 1-C:
Calculus of Variations in Discrete Space for Constrained Nonlinear Dynamic Optimization / Y. Chen ; B. W. Wah
On Temporal Planning as CSP / A. D. Mali
Actions with Duration and Constraints: The Ramification Problem in Temporal Databases / N. Papadakis ; D. Plexousakis
A Lazy Divide and Conquer Approach to Constraint Solving / S. Anand ; W.-N. Chin ; S.-C. Khoo
Intelligent Information Retrieval / Session 2-A:
Context Query in Information Retrieval / C.-H. Chi ; C. Ding ; K.-Y. Lam
EasyTransport: An Effective Navigation and Transportation Guide for Wide Geographic Areas / M. Fragouli ; A. Delis
Ontologies for Knowledge Representation in a Computer-Based Patient Record / E. Bayegan ; O. Nytro ; A. Grimsmo
Ontology Construction for Information Selection / L. Khan ; F. Luo
Planning and Scheduling I / Session 2-B:
Application of AI Planning Techniques to Automated Code Synthesis and Testing / I.-L. Yen ; F. B. Bastani ; F. Mohamed ; H. Ma ; J. Linn
Distributed Graphplan / M. Iwen
Crane Scheduling Using Tabu Search / A. Lim ; B. Rodrigues ; F. Xiao ; Y. Zhu
An Intelligent Brokering System to Support Multi-Agent Web-Based 4th-Party Logistics / H. C. Lau ; Y. G. Goh
Intelligent Real-Time Systems / Session 2-C:
A TMO Based Approach to Structuring Real-Time Agents / K. H. Kim
Selection Process of Intelligent Decision Support Tool for a Real-Time Monitoring System / H. Vafaie ; M. Shaughnessy ; T. Bethem ; J. Burton
Diagnosis of Component Failures in the Space Shuttle Main Engines Using Bayesian Belief Networks: A Feasibility Study / E. Liu
Dynamic Refinement of Classification Rules / K. K. Manchi ; X. Wu
Planning and Scheduling II / Session 3-A:
DSatz: A Directional SAT Solver for Planning
Maintenance Scheduling of Oil Storage Tanks Using Tabu-Based Genetic Algorithm / S.-T. Li ; C.-K. Ting ; C. Lee ; S.-C. Chen
Transportation Modeling: An Artificial Life Approach / P. Lucic ; D. Teodorovic
Adjusted Network Flow for the Shelf-Space Allocation Problem / X. Zhang
Machine Learning II / Session 3-B:
Error-Based Pruning of Decision Trees Grown on Very Large Data Sets Can Work! / L. O. Hall ; R. Collins ; K. W. Bowyer ; R. Banfield
Improving the Orthogonal Range Search k-Windows Algorithm / P. Alevizos ; B. Boutsinas ; D. Tasoulis ; M. N. Vrahatis
Machine Learning for Software Engineering: Case Studies in Software Reuse / J. S. Di Stefano
Protein Secondary Structure Prediction with Bayesian Learning Method / P.-L. Wang
Logic and Reasoning / Session 3-C:
Software Measurement Data Analysis Using Memory-Based Reasoning / R. A. Paul ; V. U. B. Challagula
Object-Based Representation and Classification of Spatial Structures and Relations / F. Le Ber ; A. Napoli
Automatic Analysis of Composite Solvers / E. Petrov ; E. Monfroy
A Tool for Belief Updating over Time in Bayesian Networks / J. Yang ; C. K. Mohan ; K. G. Mehrotra ; P. K. Varshney
Natural Language Processing / Session 4-A:
Combining Finite State Automata and a Greedy Learning Algorithm to Determine the Syntactic Roles of Commas / S. van Delden ; F. Gomez
Automated Diagnosis of Non-Native English Speaker's Natural Language / R. Fox ; M. Bowden
Logic Grammars for Diagnosis and Repair / H. Christiansen ; V. Dahl
Reasoning on Aspectual-Temporal Information in French within Conceptual Graphs / T. Amghar ; D. Battistelli ; T. Charnois
Multimedia and Image Processing / Session 4-B:
Word Endpoint Correction Techniques for a Text-to-Multimedia Composition System / K. Turkowski ; B. Hamidzadeh ; R. Ward
Projecting Our Presence in Space and in Time / D. E. Cooke
A Clustering Based Approach to Efficient Image Retrieval / R. Zhang ; Z. Zhang
Active Tracking and Cloning of Facial Expressions Using Spatio-Temporal Information / L. Yin ; A. Basu ; M. T. Yourst
Detecting Similarities and Differences in Images Using the PFF and LGG Approaches / N. Bourbakis
Data Mining and Knowledge Discovery II / Session 4-C:
Software Quality Classification Modeling Using the SPRINT Decision Tree Algorithm / T. M. Khoshgoftaar ; N. Seliya
TimeSleuth: A Tool for Discovering Causal and Temporal Rules / K. Karimi ; H. J. Hamilton
Mining Characteristic Rules for Understanding Simulation Data / J. Zhang ; J. Bala ; P. S. Barry ; T. E. Meyer ; S. K. Johnson
A Framework for Adaptive Mail Classification / G. Manco ; E. Masciari ; A. Tagarelli
Panel Session AI Directions
Internet Software / Session 5-A:
Building Secure Survivable Semantic Webs / B. Thuraisingham
Automatic Repairing of Web Wrappers by Combining Redundant Views / B. Chidlovskii
NeuroWeb: An Internet-Based Neural Network Simulator / E. Schikuta
An Agent-Based Approach to Inference Prevention in Distributed Database Systems / J. Tracy ; L. W. Chang ; I. S. Moskowitz
Planning and Scheduling III / Session 5-B:
Interactive Verification of Game Design and Playing Strategies / D. Kalles ; E. Ntoutsi
Metric Estimation via a Fuzzy Grade-of-Membership Model Applied to Analysis of Business Opportunities / B. G. Talbot ; B. B. Whitehead ; L. M. Talbot
Local Search Algorithm to Improve the Local Search / M. Tounsi ; P. David
Multi-Agents / Session 5-C:
The Semantics of Proactive Communication Acts among Team-Based Agents / J. Yen ; X. Fan
Agent Warehouse: A New Paradigm for Mobile Agent Deployment / J. Sim
Cooperative Co-Learning: A Model-Based Approach for Solving Multi Agent Reinforcement Problems / B. Scherrer ; F. Charpillet
Reinforcement Learning in Multiagent Systems: A Modular Fuzzy Approach with Internal Model Capabilities / M. Kaya ; R. Alhajj
Neural Network and Applications / Session 6-A:
Hiding a Logo Watermark into the Multiwavelet Domain Using Neural Networks / N. Wang ; F. Xiong
Function Approximation Using Robust Wavelet Neural Networks
A Neural-Network Approach to Modeling and Analysis / C.-Y. Chen ; C.-W. Chen ; W.-L. Chiang ; J.-D. Hwang
A Trace-Scaling Agent for Parallel Application Tracing / F. Freitag ; J. Caubet ; J. Labarta
A Neural Network-Based Image Segmentation Tool for Color Images / D. Goldman ; M. Yang
Software Engineering and Knowledge Sharing / Session 6-B:
Study for Fusion of Different Sources to Determine Relevance
A Genetic Testing Framework for Digital Integrated Circuits / X. Yu ; A. Fin ; F. Fummi ; E. M. Rudnick
EER-ConcepTool: A "Reasonable" Environment for Schema and Ontology Sharing / H. Meisel ; E. Compatangelo
Fusing Cooperative Technical-Specification Knowledge Components / E. Gregoire
Evolution and Evaluation of Software Quality Models / C. V. Ramamoorthy
Author Index
Message from the Program Chair
Organizing Committee
Program Committee
34.

図書

図書
IEEE Control Systems Society
出版情報: Piscataway, N.J. : IEEE, c2003  xv, 1038 p. ; 27 cm
所蔵情報: loading…
35.

図書

図書
Andreas Günter, Rudolf Kruse, Bernd Neumann (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 662 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2821 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression / W. Wahlster
Leveraging Metadata Creation for the Semantic Web with CREAM / S. Handschuh ; S. Staab ; R. Studer
Negotiation Technologies / N.R. Jennings
Pushing the Limit in Visual Data Exploration: Techniques and Applications / D.A. Keim ; C. Panse ; J. Schneidewind ; M. Sips ; M.C. Hao ; U. Dayal
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle / E. Sandewall ; P. Doherty ; O. Lemon ; S. Peters
Logics and Ontologies
The Instance Problem and the Most Specific Concept in the Description Logic <$>{\cal E}{\cal L}<$> w.r.t. Terminological Cycles with Descriptive Semantics / F. Baader
Satisfiability and Completeness of Converse-PDL Replayed / M. Lange
Optimality Theory through Default Logic / P. Besnard ; R.E. Mercer ; T. Schaub
Towards a Systematic Account of Different Logic Programming Semantics / P. Hitzler
How to Build a Foundational Ontology / L. Schneider
The Universal Medical Language System and the Gene Ontology: Some Critical Reflections / A. Kumar ; B. Smith
Cognitive Modeling
Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences / M. Arens ; H.-H. Nagel
Designing Agents with MicroPsi Node Nets / J. Bach ; R. Vuine
Conscious Behavior through Reflexive Dialogs / P. Bonzon
Reasoning Methods
What Observations Really Tell Us / G. Iwan ; G. Lakemeyer
A Formal Assessment Result for Fluent Calculus Using the Action Description Language <$>{\cal A}_k<$> / O. Kahramanoğullari ; M. Thielscher
Computing Minimum-Cardinality Diagnoses Using OBDDs / P. Torasso ; G. Torta
Presenting Sets of Problem Solutions Concisely / H. Horacek
Machine Learning
Automatic Document Categorization (Interpreting the Perfomance of Clustering Algorithms) / B. Stein ; S. Meyer zu Eissen
A Logical Approach to Data-Driven Classification / R. Osswald ; W. Petersen
Spatial Inference - Combining Learning and Constraint Solving / C. Gips ; F. Wysotzki
Hybrid Approaches for Case Retrieval and Adaptation / C.A. Policastro ; A.C.P.L.F. Carvalho ; A.C.B. Delbem
Neural Networks
Applied Connectionistic Methods in Computer Vision to Compare Segmented Images / S. Bischoff ; D. Reuss
Sequential Learning Algorithm of Neural Networks Systems for Time Series / O. Valenzuela ; I. Rojas ; F. Rojas
A k-Winner-Takes-All Classifier for Structured Data / B.J. Jain
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks / A.K. Seda
Reasoning under Uncertainty
Bayesian Metanetworks for Modelling User Preferences in Mobile Environment / V. Terziyan ; O. Vitko
On Identifying Tree-Structured Perfect Maps / C. Borgelt
Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection / M. Hutter ; M. Zaffalon
Fusing Probabilistic Information on Maximum Entropy / G. Kern-Isberner ; W. Rödder
A Probabilistic Approach for Dynamic State Estimation Using Visual Information / A. Soto ; P. Khosla
Approaches to Semi-supervised Learning of Fuzzy Classifiers / A. Klose
Instance-Based Learning of Credible Label Sets / E. Hüllermeier
Self Learning or How to Make a Knowledge Base Curious about Itself
Tolerance Spaces and Approximative Representational Structures / W. Łukaszewicz ; A. Szałas
Planning and Constraints
Planning in Answer Set Programming Using Ordered Task Decomposition / J. Dix ; U. Kuter ; D. Nau
The Process Semantics Based Reasoning about Continuous Change / C. Li
A Flexible Meta-solver Framework for Constraint Solver Collaboration / S. Frank ; P. Hofstedt ; P.R. Mai
Spatial Modeling
Tripartite Line Tracks - Bipartite Line Tracks / B. Gottfried
Consistent 3D Model Construction with Autonomous Mobile Robots / A. Nüchter ; H. Surmann ; K. Lingemann ; J. Hertzberg
Who Can Connect in RCC? / M. Giritli
An Arrangement Calculus, Its Complexity and Algorithmic Properties / M. Ragni
User Modeling
Multimodal User State Recognition in a Modern Dialogue System / J. Adelhardt ; R. Shi ; C. Frank ; V. Zeißler ; A. Batliner ; E. Nöth ; H. Niemann
Tailoring the Presentation of Plans to Users' Knowledge and Capabilites / D. Küpper ; A. Kobsa
Agent Technology
An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies / S. Höppner
A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom / J. Müller ; P. Poller ; V. Tschernomas
Monitoring Agents Using Declarative Planning / T. Eiter ; M. Fink ; A. Polleres ; Y. Zhang
Author Index
Invited Paper
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression / W. Wahlster
Leveraging Metadata Creation for the Semantic Web with CREAM / S. Handschuh ; S. Staab ; R. Studer
36.

図書

図書
Amedeo Cappelli, Franco Turini (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2829 . Lecture notes in artificial intelligence
所蔵情報: loading…
37.

図書

図書
Fernando Moura Pires, Salvador Abreu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 504 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2902 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Abstracts of Invited Presentations and Tutorials
Constraint Programming in Computational Molecular Biology / Alexander Bockmayr
Computational Creativity / Amílcar Cardoso ; Penousal Machado
From Wheels to Wings with Evolutionary Spiking Circuits / Dario Floreano ; Jean-Christophe Zufferey ; Jean-Daniel Nicoud
An Introduction to Object-Oriented RuleML / Harold Boley
Learning from Networks of Examples / Pedro Domingos ; Matt Richardson
Grammar Induction and Adaptive Information Disclosure / Pieter Adriaans
Understanding Implicit Language Structures / Veronica Dahl
Performance Issues in Prolog Applications / Vítor Santos Costa
Artificial Life and Evolutionary Algorithms (ALEA)
Optimization of Logistic Processes in Supply-Chains Using Meta-heuristics / Carlos A. Silva ; Thomas A. Runkler ; João M. Sousa ; José M. Sá da Costa
Evolutionary Neural Network Learning / Miguel Rocha ; Paulo Cortez ; José Neves
Golomb Rulers: The Advantage of Evolution / Francisco B. Pereira ; Jorge Tavares ; Ernesto Costa
A Particle Swarm Data Miner / Tiago Sousa ; Arlindo Silva ; Ana Neves
Yerkes-Dodson Law in Agents' Training / Šarūnas Raudys ; Viktoras Justickis
SAPPO: A Simple, Adaptable, Predator Prey Optimiser
Evolutionary Neuroestimation of Fitness Functions / Jesus S. Aguilar-Ruiz ; Daniel Mateos ; Domingo S. Rodriguez
A Resource Sharing Model to Study Social Behaviours / Pedro Mariano ; Luís Correia
Improving Self-Confidence: An Advise-Based Evolutionary Model / Ivette C. Martínez ; Miguel A. Castro ; Carlos D. Castillo
Constraint and Logic Programming Systems (CLPS)
Solving Set Partitioning Problems with Global Constraint Propagation / Ricardo Saldanha ; Ernesto Morgado
Heuristic-Based Backtracking for Propositional Satisfiability / Ateet Bhalla ; Inês Lynce ; José T. de Sousa ; João Marques-Silva
On the BEAM Implementation / Ricardo Lopes ; Fernando Silva
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters / Ricardo Rocha ; Rolando Martins
Experimental Evaluation of a Caching Technique for ILP / Nuno Fonseca ; Vitor Santos Costa ; Rui Camacho
jcc: Integrating Timed Default Concurrent Constraint Programming into Java / Vijay Saraswat ; Radha Jagadeesan ; Vineet Gupta
Extraction of Knowledge from Data Bases (EKDB)
BAYES-NEAREST: A New Hybrid Classifier Combining Bayesian Network and Distance Based Algorithms / Elena Lazkano ; Basilio Sierra
A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring / Sara C. Madeira ; Arlindo L. Oliveira ; Catarina S. Conceição
Influence of kNN-Based Load Forecasting Errors on Optimal Energy Production / Alicia Troncoso Lora ; José C. Riquelme ; José Luís Martínez Ramos ; Jesús M. Riquelme Santos ; Antonio Gómez Expósito
Creating User-Adapted Design Recommender System through Collaborative Filtering and Content Based Filtering / Kyung-Yong Jung ; Young-Joo Na ; Jung-Hyun Lee
Is the UCI Repository Useful for Data Mining? / Carlos Soares
Improving the Efficiency of ILP Systems
Reorganizing News Web Pages for Mobile Users / Woncheol Kim ; Eenjun Hwang ; Wonil Kim
Learning Semi Naïve Bayes Structures by Estimation of Distribution Algorithms / Victor Robles ; Pedro Larrañaga ; José M. Peña ; Maria S. Pérez ; Ernestina Menasalvas ; Vanessa Herves
Learning Action Theories with Ramifications / David Lorenzo
Mining Low Dimensionality Data Streams of Continuous Attributes / Francisco J. Ferrer-Troyano ; Jesús S. Aguilar-Ruiz
Adaptation to Drifting Concepts / Gladys Castillo ; João Gama ; Pedro Medas
Border Detection on Remote Sensing Satellite Data Using Self-Organizing Maps / Nuno C. Marques ; Ning Chen
Predicting Harmful Algae Blooms / Rita Ribeiro ; Luis Torgo
Improving Progressive Sampling via Meta-learning / Rui Leite ; Pavel Brazdil
Multi-Agents and AI for the Internet (MAAII)
Distributed Learning Agents in Urban Traffic Control / Eduardo Camponogara ; Werner Kraus Jr
The Chatbot Feeling - Towards Animated Emotional ECAs / Gábor Tatai ; Annamária Csordás ; Attila Szaló ; László Laufer
Using CLIPS to Detect Network Intrusions / Pedro Alipio ; Paulo Carvalho
Model for Dialogue between Informational Agents / Erika Valencia ; Jean-Paul Sansonnet
A Possibilistic Logic Modeling of Autonomous Agents Negotiation / Leila Amgoud ; Henri Prade
Towards Individual Power Design (Rediscovering the Will of Acting Agents) / Francisco Coelho ; Helder Coelho
An Architecture for a Rational Reactive Agent / Pierangelo Dell'Acqua ; Mattias Engberg ; Luís Moniz Pereira
An Evolvable Rule-Based E-mail Agent / José Júlio Alferes ; Antonio Brogi ; João Alexandre Leite
Natural Language and Text Retrieval (NLTR)
Automatic Summarization Based on Principal Component Analysis / Chang Beom Lee ; Min Soo Kim ; Hyuk Ro Park
A Constraint Grammar Based Question Answering System for Portuguese / Eckhard Bick
Mining Generalized Character n-Grams in Large Corpora / Agnès Braud
A Methodology to Create Ontology-Based Information Retrieval Systems / José Saias ; Paulo Quaresma
A Preliminary Approach to the Multilabel Classification Problem of Portuguese Juridical Documents / Teresa Gonçalves
Synonymy for Query Expansion in Information Search / Rove Chishman ; Renata Vieira ; Isa Mara Alves ; Sandro Rigo
Web Information Retrieval with Result Set Clustering / Mário J. Silva ; Bruno Martins
ASdeCopas: A Syntactic-Semantic Interface / Luísa Coheur ; Nuno Mamede ; Gabriel G. Bès
Automatic Selection of Table Areas in Documents for Information Extraction / Ana Costa e Silva ; Alípio Jorge ; Luís Torgo
Mandarin Question Sentence Detection: A Preliminary Study / Ping-Jer Yeh ; Shyan-Ming Yuan
Acquiring Semantic Classes to Elaborate Attachment Heuristics / Pablo Gamallo ; Alexandre Agustini ; Gabriel P. Lopes
Managing Dialog in a Natural Language Querying System / Luis Quintano ; Irene Rodrigues
Author Index
Abstracts of Invited Presentations and Tutorials
Constraint Programming in Computational Molecular Biology / Alexander Bockmayr
Computational Creativity / Amílcar Cardoso ; Penousal Machado
38.

図書

図書
John A. Campbell, Eugenio Roanes-Lozano (eds.)
出版情報: Berlin : Springer, c2001  x, 252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge / Michael Kohlhase
Contributed Papers and Poster Summaries
On Communicating Proofs in Interactive Mathematical Documents / Olga Caprotti ; Martijn Oostdijk
Composite Distributive Lattices as Annotation Domains for Mediators / Jacques Calmet ; Peter Kullmann ; Morio Taneda
A Proof Strategy Based on a Dual Representation / Guilherme Bittencourt ; Isabel Tonin
Formalizing Rewriting in the ACL2 Theorem Prover / José-Luis Ruiz-Reina ; José-Antonio Alonso ; María-José Hidalgo ; Francisco-Jesús Martín-Mateos
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices / Angel Fernandez Pineda ; Enric Trillas ; Claudio Vaucheret
Reasoning about the Elementary Functions of Complex Analysis / Robert M. Corless ; James H. Davenport ; David J. Jeffrey ; Gurjeet Litt ; Stephen M. Watt
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic / Martine Ceberio ; Laurent Granvilliers
Basic Operators for Solving Constraints via Collaboration of Solvers / Carlos Castro ; Eric Monfroy
Automatic Determination of Geometric Loci.3D-Extension of Simson-Steiner Theorem / Eugenio Roanes-Macías
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra / MarkW. Giesbrecht ; Ilias S. Kotsireas
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects / Jochen Pfalzgraf
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design / Andres Iglesias ; Akemi Galvez
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
CDR: A Rewriting Based Tool to Design FPLA Circuits / Zahir Maazouzi ; Nirina Andrianarivelo ; Wadoud Bousdira ; Jacques Chabin
Locally Effective Objects and Artificial Intelligence / Julio Rubio
Negotiation Algorithms for Multi-agent Interactions / Marco A. Arranz
Some Techniques of Isomorph-Free Search / Thierry Boy de la Tour
Author Index
Invited Papers
George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe
39.

図書

図書
Eleni Stroulia, Stan Matwin (eds.)
出版情報: Berlin : Springer, c2001  xii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2056 . Lecture notes in artificial intelligence
所蔵情報: loading…
40.

図書

図書
Peter Stone, Tucker Balch, Gerhard Kraetzschmar (eds.)
出版情報: Berlin : Springer, c2001  xvii, 658 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2019 . Lecture notes in artificial intelligence
所蔵情報: loading…
41.

図書

図書
Lȧszlo︠ Monostori, Jo︠zsef Vȧncza, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2001  xviii, 951 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2070 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
An Evolutionary Optimum Searching Tool / Z. Tóth ; G. Kókai
Value Prediction in Engineering Applications / G. Ziegler ; Z. Palotai ; T. Cinkler ; P. Arató ; A. Lörincz
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems / H. Drias ; M. Khabzaoui
Move Ordering Using Neural Networks / L. Kocsis ; J. Uiterwijk ; J. van den Herik
Knowledge Representation
Why Use a Unified Knowledge Representation? / J. Debenham
Lazy Knowledge Base Update / W. &Lstroke;ukaszewicz ; E. Madalińska-Bugaj
On the Computational Aspect of Rule Based Database Updates / Y. Bai ; Y. Zhang
Building an Information and Knowledge Fusion System / T. Meszdros ; Z. Barczikay ; F. Bodon ; T.P. Dobrowiecki ; G. Strausz
Hierarchical Approach for Engineering Skills Acquisition / M.S. Levin
Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information / S. Ohsuga ; N. Ueda
Knowledge Modelling in Support of Knowledge Management / R. Kende
A New Approach in Object-Based Knowledge Representation: The AROM System / M. Page ; J. Gensel ; D. Bardou ; C. Capponi ; C. Bruley ; V. Dupierris ; P. Genoud ; D. Ziébelin
Ontology Integration Tasks in Business-to-Business E-Commerce / B. Omelayenko
Model-Based Reasoning
Using Multiple Models for Debugging VHDL Designs / F. Wotawa
Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models / B. Pulido ; C. Alonso ; F. Acebes
Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning / R. Lakner ; K.M. Hangos
A Knowledge Model for Automatic Configuration of Traffic Messages / M. Molina ; M. Robledo
Machine Learning
Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web / L. Xiao ; D. Wissmann ; M. Brown ; S. Jablonski
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection / D. Bühler ; W. Küchlin
Where to Position the Precision in Knowledge Extraction from Text
Generation of Similarity Measures from Different Sources / B. Stein ; O. Niggemann
SNN: A Supervised Clustering Algorithm / J.S. Aguilar ; R. Ruiz ; J.C. Riquelme ; R. Giráldez
An Eager Regression Method Based on Best Feature Projections / T. Aydin ; H.A. Güvenir
On the Relationship between Learning Capability and the Boltzmann-Formula / P. Stefán ; L. Monostori
Data Mining
A View Selection Tool for Multidimensional Databases / H.M. Jamil ; G.A. Modica
Inductive Learning of a Knowledge Dictionary for a Text Mining System / S. Sakurai ; Y. Ichimura ; A. Suyama ; R. Orihara
Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis / Y. Toussaint ; J.-C. Lamirel
Soft Computing
Neural Learning from Unbalanced Data Using Noise Modeling / H. Guo ; Y.L. Murphey
Neural Modeling of an Industrial Process with Noisy Data / P. Berényi ; J. Valyon ; G. Horváth
Enhanced Artificial Neurons for Network Applications / G. Murray
Time Delay Neural Networks Designed Using Genetic Algorithms for Short Terms Inter-City Traffic Forecasting / P. Lingras ; P. Mountford
An Efficient Hardware Implementation of Feed-Forward Neural Networks / T. Szabó
MAPS: A Method for Identifying and Predicting Aberrant Behavior in Time Series / E. Kotsakis ; A. Wolski
Comparisons of QP and LP Based Learning from Empirical Data / V. Kecman ; T. Arthanari
A Fuzzy Cognitive Map Based on the Random Neural Model / J. Aguilar
Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic / C.-H. Tsai ; D.-S. Hsu
Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems / A. Rotshtein ; H. Rakytyanska
Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs / Y. Zhou ; X. Fang ; B. Zhao
Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches / T. Beaubouef ; F. Petry
Evolutionary Algorithms
Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms / C. Woodward
A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-In Parallelism / M. Rocha ; F. Pereira ; S. Afonso ; J. Neves
Genetic and Evolutionary Algorithms for Time Series Forecasting / P. Cortez
Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms / R. M'hallah ; A. Bouziri ; W. Jilani
An Application of Genetic Algorithms to Course Scheduling at the United States Army War College / J.J. Donlon
Separation Surfaces through Genetic Programming
Distributed Problem Solving
Distributed Configuration as Distributed Dynamic Constraint Satisfaction / A. Felfernig ; G. Friedrich ; D. Jannach ; M. Zanker|P434
Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time / N.T. Nguyen
Checkpoint-Recovery for Mobile Intelligent Networks / Y. Morita ; H. Higaki
Expert Systems
Automotive Product Documentation / A. Kaiser
The Design and Implementation of a Traffic Accident Analysis System / H. Zhang ; B. Back ; W.L. Zhou
Decision Support System for Shadow Mask Development Using Rule and Case / H. Jin ; M. Kim ; S. Jung ; K. Shon ; H. Ha ; B. Ye ; J. Jo
An Expert System for Ironmaking / J. Tuya ; E. Diaz ; M. Hermida ; J.A.L. Brugos ; A. Neira ; A. Alguero ; F. Obeso
Pattern and Speech Recognition, Vision
Short Circuit Detection on Printed Circuit Boards during the Manufacturing Process by Using an Analogic CNN Algorithm / T. Hidvégi ; P. Szolgay
Application of Feature Transformation and Learning Methods in Phoneme Classification / A. Kocsor ; L. Tóth ; L. Felföldi
A Smart Machine Vision System for PCB Inspection / T.Q. Chen ; J. Zhang
Language Processing
Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish / J. Álvarez ; V. Arranz ; N. Castell ; M. Civit
Selecting a Relevant Set of Examples to Learn IE-Rules / J. Turmo ; H. Rodríguez
An Environment for Formal Specification and Verification of Lingware / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou
Sentence Analysis by Case-Based Reasoning / F. Chakkour
Topic Detection Using Lexical Chains / Y. Chali
Planning and Scheduling
A Mixed Closure-CSP Method to Solve Scheduling Problems / M.I. Alfonso Galipienso ; F. Barber Sanchís
Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator / H. Yamamoto ; E. Marui
Distributed Learning and Control for Manufacturing Systems Scheduling / J. Hong ; V. Prabhu
An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines / L.A. García ; F. Toledo
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem / D. Mitra
Approaches to Increase the Performance of Agent-Based Production Systems / B. Kádár
Scheduling of Production Using the Multi-agent Approach by Hierarchical Structure / B. Frankovic ; T.T. Dang
Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents / F. Failli ; G. Dini
Robotics
Sound and Visual Tracking for Humanoid Robot / H.G. Okuno ; K. Nakadai ; T. Lourens ; H. Kitano
Developing a Mobile Robot Control Application with CommonKADS-RT / M. Henao ; J. Soler ; V. Botti
Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm / D.-Y. Ju ; S. Kushida
Machine Learning for Car Navigation / D. Mitrovic
Autonomous Agents
Implementing Agent Management Using Conversation Patterns and Role Theory / C. Stergiou ; G. Arys
An Approach to Coalition Formation Using Argumentation-Based Negotiation in Multi-agent Systems / H. Hattori ; T. Ito ; T. Ozono ; T. Shintani
A Negotiation Model to Support Material Selection in Concurrent Design / R. Barker ; L. Holloway ; A. Meehan
An XML-Based Language for Coordination Protocol Description in Multi-agent System / M. Weiliang ; S. Huanye ; Dingpeng
A Distributed Multi-agent Model for Value Nets / C. Dodd ; S.R.T. Kumara
Norms for DLP Agents Working in a Warehouse Scenario / I.A. Letia ; F. Craciun ; Z. Köpe
Design
A Methodology for Reliable Systems Design / J. Solano-Soto ; L.E. Sucar
Intelligent Support for Interactive Configuration of Mass-Customized Products / M. Zanker
Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects / R. Hermes de Araúijo ; O. Possamai ; L.D. Valentina
Control
Intelligent Control Synthesis of Manufacturing Systems / F. Čapkovič ; P. Capkovic
A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS / G. Pieri ; M.R. Klein ; M. Milanese
Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill / L. Cser ; J. Gulyáis ; L. Szücs ; A. Horváth ; L. Árvai ; B. Baross
Non-linear Prediction of Vibration Series for Turbogenerator Unit / Z.-H. Ge ; Z.-H. Han ; C.-F. Ding
Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant / D. Riaño ; M. Sànchez-Marrè ; I. R.-Roda
Agent-Based Support for Handling Environmental and Life-Cycle Issues / E. Zudor
Manufacturing Systems
Fractal Businesses in an E-Business World / W. Sihn ; J. Klink
Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI-, and Simulation-Based Approach / Z.J. Viharos
A Multi-agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems / J. Macedo
Finance and Business
Product Line Design with Customer Preferences / A. Márkus ; J. Váncza
Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour / S.B. Teixeira Mendes ; O.L.M. de Farias
GAs and Financial Analysis / M. Leus ; D. Deugo ; F. Oppacher ; R. Cattral
Semi-structured Knowledge Representation for the Automated Financial Advisor / B. Galitsky
Software Engineering
Improving Space, Time, and Termination in Rewriting-Based Programming / N. Nedjah ; L. de Macedo Mourelle
Knowledge Intensive Case-Based Assistance for Framework Reuse / M. Gómez-Albarráin ; P.A. González-Calero
Deciding on a Pattern / J.C. McPhail
Program Modeling for Fault Definition Based Static Analysis / T. Illgen
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces / F. Belli
Tutoring
Planning Agents in a Multi-agents Intelligent Tutoring System / R. Nkambou ; F. Kabanza
Constraint-Based Tutors: A Success Story / A. Mitrovic ; M. Mayo ; P. Suraweera ; B. Martin
Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor / C. Yang ; S. Phan ; P. Kuo ; F.O. Lin
Author Index
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
42.

図書

図書
José Mira, Alberto Prieto (eds.)
出版情報: Berlin : Springer, c2001  xxvii, 836 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2084 . 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings ; pt. 1
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Connectionism and Biophysical Models of Neurons
Dendrites: The Last-Generation Computers / O. Herreras ; J.M. Ibarz ; L. López-Aguado ; P. Varona
Homogeneity in the Electrical Activity Pattern as a Function of Intercellular Coupling in Cell Networks / E. Andreu ; R. Pomares ; B. Soria ; J.V. Sanchez-Andres
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus / E. Sánchez ; S. Barro ; J. Mariño ; A. Canedo
Algorithmic Extraction of Morphological Statistics from Electronic Archives of Neuroanatomy / R. Scorcioni ; G.A. Ascoli
What Can We Compute with Lateral Inhibition Circuits? / J. Mira ; A.E. Delgado
Neuronal Models with Current Inputs / J. Feng
Decoding the Population Responses of Retinal Ganglions Cells Using Information Theory / J.M. Ferrández ; M. Bongard ; F. García de Quirós ; J.A. Bolea ; J. Ammermüller ; R.A. Normann ; E. Fernández
Numerical Study of Effects of Co-transmission by Substance P and Acetylcholine on Synaptic Plasticity in Myenteric Neurons / R. Miftakov ; J. Christensen
Neurobiological Modeling of Bursting Response During Visual Attention / R. Rajimehr ; L. Montaser Kouhsari
Sensitivity of Simulated Striate Neurons to Cross-Like Stimuli Based on Disinhibitory Mechanism / K.A. Saltykov ; I.A. Shevelev
Synchronisation Mechanisms in Neuronal Networks / S. Chillemi ; M. Barbi ; A. Di Garbo
Detection of Oriented Repetitive Alternating Patterns in Color Images (A Computational Model of Monkey Grating Cells) / T. Lourens ; H.G. Okuno ; H. Kitano
Synchronization in Brain - Assessment by Electroencephalographic Signals / E. Pereda ; J. Bhattacharya
Strategies for the Optimization of Large Scale Networks of Integrate and Fire Neurons / M.A. Sánchez-Montañés
Structural and Functional Models of Neurons
A Neural Network Model of Working Memory (Processing of "What" and "Where" Information) / T. Minami ; T. Inui
Orientation Selectivity of Intracortical Inhibitory Cells in the Striate Visual Cortex: A Computational Theory and a Neural Circuitry / M.N. Shirazi
Interpreting Neural Networks in the Frame of the Logic of Lukasiewicz / C. Moraga ; L. Salinas
Time-Dispersive Effects in the J. Gonzalo's Research on Cerebral Dynamics / I. Gonzalo ; M.A. Porras
Verifying Properties of Neural Networks / P. Rodrigues ; J.F. Costa ; H.T. Siegelmann
Algorithms and Implementation Architectures for Hebbian Neural Networks / J.A. Berzal ; P.J. Zufiria
The Hierarchical Neuro-Fuzzy BSP Model: An Application in Electric Load Forecasting / F.J. de Souza ; M.M.R. Vellasco ; M.A.C. Pacheco
The Chemical Metaphor in Neural Computation / J. Barahona da Fonseca ; I. Barahona da Fonseca ; C.P. Suárez Araujo ; J. Simões da Fonseca
The General Neural-Network Paradigm for Visual Cryptography / T.-W. Yue ; S. Chiang
$$-DTB, Discrete Time Backpropagation with Product Units / J. Santos ; R.J. Duro
Neocognitron-Type Network for Recognizing Rotated and Shifted Patterns with Reduction of Resources / S. Satoh ; S. Miyake ; H. Aso
Classification with Synaptic Radial Basis Units / J.D. Buldain
A Randomized Hypercolumn Model and Gesture Recognition / N. Tsuruta ; Y. Yoshiki ; T. El. Tobely
Heterogeneous Kohonen Networks / S. Negri ; L.A. Belanche
Divided-Data Analysis in a Financial Case Classification with Multi-dendritic Neural Networks
Neuro Fuzzy Systems: State-of-the-Art Modeling Techniques / A. Abraham
Generating Linear Regression Rules from Neural Networks Using Local Least Squares Approximation / R. Setiono
Speech Recognition Using Fuzzy Second-Order Recurrent Neural Networks / A. Blanco ; M. Delgado ; M.C. Pegalajar ; I. Requena
sure of Noise Immunity for Functional Networks / E. Castillo ; O. Fontenla-Romero ; B. Guijarro-Berdinnas ; A. Alonso-Betanzos
A Functional-Neural Network for Post-Nonlinear Independent Component Analysis / O. Fontenla Romero ; B. Guijarro Berdinnas ; A. Alonso Betanzos
Optimal Modular Feedfroward Neural Nets Based on Functional Network Architectures / A.S. Cofiño ; J.M. Gutiérrez
Optimal Transformations in Multiple Linear Regression Using Functional Networks / A.S. Hadi ; B. Lacruz
Learning and Other Plasticity Phenomena, and Complex Systems Dynamics
Generalization Error and Training Error at Singularities of Multilayer Perceptrons / S.-I. Amari ; T. Ozeki ; H. Park
Bistable Gradient Neural Networks: Their Computational Properties / V. Chinarov ; M. Menzinger
Inductive Bias in Recurrent Neural Networks / S. Snyders ; C.W. Omlin
Accelerating the Convergence of EM-Based Training Algorithms for RBF Networks / M. Lázaro ; I. Santamaría ; C. Pantaleón
Expansive and Competitive Neural Networks / J.A. Gomez-Ruiz ; J. Muñoz-Perez ; E. Lopez-Rubio ; M.A. Garcia-Bernal
Fast Function Approximation with Hierarchical Neural Networks and Their Application to a Reinforcement Learning Agent / J. Fischer ; R. Breithaupt ; M. Bode
Two Dimensional Evaluation Reinforcement Learning / H. Okada ; H. Yamakawa ; T. Omori
Comparing the Learning Processes of Cognitive Distance Learning and Search Based Agent / Y. Miyamoto
Selective Learning for Multilayer Feedforward Neural Networks / A.P. Engelbrecht
Connectionist Models of Cortico-Basal Ganglia Adaptive Neural Networks During Learning of Motor Sequential Procedures / J. Molina Vilaplana ; J. Feliú Batlle ; J. López Coronado
Practical Consideration on Generalization Property of Natural Gradient Learning
Novel Training Algorithm Based on Quadratic Optimisation Using Neural Networks / G. Arulampalam ; A. Bouzerdoum
Non-symmetric Support Vector Machines
Natural Gradient Learning in NLDA Networks / J.R. Dorronsoro ; A. González ; C. Santa Cruz
AUTOWISARD: Unsupervised Modes for the WISARD / I. Wickert ; F.M.G. França
Neural Steering: Difficult and Impossible Sequential Problems for Gradient Descent / G. Milligan ; M.K. Weir ; J.P. Lewis
Analysis of Scaling Exponents of Waken and Sleeping Stage in EEG / J.-M. Lee ; D.-J. Kim ; I.-Y. Kim ; S.I. Kim
Model Based Predictive Control Using Genetic Algorithms. Application to Greenhouses Climate Control / X. Blasco ; M. Martínez ; J. Senent ; J. Sanchis
Nonlinear Parametric Model Identification with Genetic Algorithms. Application to a Thermal Process / J.M. Herrero
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem / C. Cotta ; J.M. Troya
GA Techniques Applied to Contour Search in Images of Bovine Livestock / H.M. González Velasco ; C.J. García Orellana ; M. Macías Macías ; M.I. Acevedo Sotoca
Richer Network Dynamics of Intrinsically Non-regular Neurons Measured through Mutual Information / F. Rodríguez ; R. Huerta ; M.I. Rabinovich ; H.D.I. Abarbanel
RBF Neural Networks, Multiobjective Optimization and Time Series Forecasting / J. González ; I. Rojas ; H. Pomares ; J. Ortega
Evolving RBF Neural Networks / V.M. Rivas ; P.A. Castillo ; J.J. Merelo
Evolutionary Cellular Configurations for Designing Feed-Forward Neural Networks Architectures / G. Gutiérrez ; P. Isasi ; J.M. Molina ; A. Sanchís ; I.M. Galván
A Recurrent Multivalued Neural Network for the N-Queens Problem / E. Mérida ; J. Muñoz ; R. Benítez
A Novel Approach to Self-Adaptation of Neuro-Fuzzy Controllers in Real Time / M. Damas
Expert Mutation Operators for the Evolution of Radial Basis Function Neural Networks / M. Salmerón
Studying Neural Networks of Bifurcating Recursive Processing Elements - Quantitative Methods for Architecture Design and Performance Analysis / E. Del Moral Hernandez
Topology-Preserving Elastic Nets / V. Tereshko
Optimization with Linear Constraints in the Neural Network / M. Oota ; N. Ishii ; K. Yamauchi ; M. Nakamura
Optimizing RBF Networks with Cooperative/Competitive Evolution of Units and Fuzzy Rules / A.J. Rivera ; A. Prieto
Study of Chaos in a Simple Discrete Recurrence Neural Network / J.D. Piñeiro ; R.L. Marichal ; L. Moreno ; J.F. Sigut ; E.J. González
Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT Problems / H. Drias
A New Approach to Evolutionary Computation: Segregative Genetic Algorithms (SEGA) / M. Affenzeller
Evolution of Firms in Complex Worlds: Generalized NK Model / N. Jacoby
Learning Adaptive Parameters with Restricted Genetic Optimization Method / S. Garrido
Solving NP-Complete Problems with Networks of Evolutionary Processors / J. Castellanos ; C. Martín-Vide ; V. Mitrana ; J.M. Sempere
Using SOM for Neural Network Visualization / G. Romero
Comparison of Supervised Self-Organizing Maps Using Euclidian or Mahalanobis Distance in Classification Context / F. Fessant ; P. Aknin ; L. Oukhellou ; S. Midenet
Introducing Multi-objective Optimization in Cooperative Coevolution of Neural Networks / N. García-Pedrajas ; E. Sanz-Tapia ; D. Ortiz-Boyer ; C. Hervás-Martínez
STAR - Sparsity through Automated Rejection / R. Burbidge ; M. Trotter ; B. Buxton ; S. Holden
Ordinal Regression with K-SVCR Machines / C. Angulo ; A. Català
Large Margin Nearest Neighbor Classifiers / S. Bermejo ; J. Cabestany
Reduced Support Vector Selection by Linear Programs / W.A. Fellenz
Edge Detection in Noisy Images Using the Support Vector Machines / H. Gómez-Moreno ; S. Maldonado-Bascón ; F. López Ferreras
Initialization in Genetic Algorithms for Constraint Satisfaction Problems / C.R. Vela ; R. Varela ; J. Puente
Evolving High-Posterior Self-Organizing Maps / J. Muruzábal
Using Statistical Techniques to Predict GA Performance / R. Nogueras
Multilevel Genetic Algorithm for the Complete Development of ANN / J. Dorado ; A. Santos ; J.R. Rabuñal
Graph Based GP Applied to Dynamical Systems Modeling / A.M. López ; H. López ; L. Sánchez
Nonlinear System Dynamics in the Normalisation Process of a Self-Organising Neural Network for Combinatorial Optimisation / T. Kwok ; K.A. Smith
Continuous Function Optimisation via Gradient Descent on a Neural Network Approxmiation Function / J.N.D. Gupta
An Evolutionary Algorithm for the Design of Hybrid Fiber Optic-Coaxial Cable Networks in Small Urban Areas / P. Cortés ; F. Guerrero ; D. Canca ; J.M. García
Channel Assignment for Mobile Communications Using Stochastic Chaotic Simulated Annealing / S. Li ; L. Wang
Artificial Intelligence and Cognitive Processes
Seeing is Believing: Depictive Neuromodelling of Visual Awareness / I. Aleksander ; H. Morton ; B. Dunmall
DIAGEN-WebDB: A Connectionist Approach to Medical Knowledge Representation and Inference / R. Martínez ; J.R. Álvarez
Conceptual Spaces as Voltage Maps / J. Aisbett ; Gibbon
Determining Hyper-planes to Generate Symbolic Rules / G. Bologna
Automatic Symbolic Modelling of Co-evolutionarily Learned Robot Skills / A. Ledezma ; A. Berlanga ; R. Aler
ANNs and the Neural Basis for General Intelligence / J.G. Wallace ; K. Bluff
Knowledge and Intelligence / J.C. Herrero
Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover / M.O. Vilela ; P.M.V. Lima
Author Index
Foundations of Connectionism and Biophysical Models of Neurons
Dendrites: The Last-Generation Computers / O. Herreras ; J.M. Ibarz ; L. López-Aguado ; P. Varona
Homogeneity in the Electrical Activity Pattern as a Function of Intercellular Coupling in Cell Networks / E. Andreu ; R. Pomares ; B. Soria ; J.V. Sanchez-Andres
43.

図書

図書
José Mira, Alberto Prieto (eds.)
出版情報: Berlin : Springer, c2001  xxvii, 848 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2085 . 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings ; pt. 2
所蔵情報: loading…
目次情報: 続きを見る
Bio-inspired Systems and Engineering
From Embryonics to POEtic Machines / D. Mange ; A. Stauffer ; G. Tempesti ; C. Teuscher
Design and Codesign of Neuro-Fuzzy Hardware / L.M. Reyneri
A Field-Programmable Conductance Array IC for Biological Neurons Modeling / V. Douence ; S. Renaud-Le Masson ; S. Saïghi ; G. Le Masson
A 2-by-n Hybrid Cellular Automaton Implementation Using a Bio-Inspired FPGA / H.F. Restrepo
Parametric Neurocontroller for Positioning of an Anthropomorfic Finger Based on an Oponent Driven-Tendon Transmission System / J.I. Mulero ; J. Feliú Batlle ; J. López Coronado
An Integration Principle for Multimodal Sensor Data Based on Temporal Coherence of Self-Organized Patterns / E.I. Barakova
Simultaneous Parallel Processing of Object and Position by Temporal Correlation / L.F. Lago-Fernández ; G. Deco
Methodology for Nets Design, Nets Simulation and Implementation
NeuSim: A Modular Neural Networks Simulator for Beowulf Clusters / C.J. García Orellana ; R. Gallardo Caballero ; H.M. González Velasco ; F.J. López Aligué
Curved Kernel Neural Network for Functions Approximation / P. Bourret ; B. Pelletier
Repeated Measures Multiple Comparison Procedures Applied to Model Selection in Neural Networks / E. Guerrero Vázquez ; A. Yañez Escolano ; P. Galindo Raiño ; J. Pizarro Junquera
Extension of HUMANN for Dealing with Noise and with Classes of Different Shape and Size: A Parametric Study / P. García Báez ; C.P. Suárez Araujo ; P. Fernández López
Evenet 2000: Designing and Training Arbitrary Neural Networks in Java / E.J. González ; A.F. Hamilton ; L. Moreno ; J.F. Sigut ; R.L. Marichal
Neyman-Pearson Neural Detectors / D. Andina ; J.L. Sanz-González
Optimal Genetic Representation of Complete Strictly-Layered Feedforward Neural Networks / P. Rousset ; C. Guinot ; S. Raptis ; S. Tzafestas ; H. Karagianni
Assessing the Noise Immunity of Radial Basis Function Neural Networks / J.L. Bernier ; J. González ; A. Cañas ; J. Ortega
Analyzing Boltzmann Machine Parameters for Fast Convergence / F.J. Salcedo ; A. Prieto
A Penalization Criterion Based on Noise Behaviour for Model Selection / P. Galindo Riaño
Image Processing
Wood Texture Analysis by Combining the Connected Elements Histogram and Artificial Neural Networks / M.A. Patricio Guisado ; D. Maravall Gómez-Allende
Dynamic Topology Networks for Colour Image Compression / E. López-Rubio ; J. Muñoz-Pérez ; J.A. Gómez-Ruiz
Analysis on the Viewpoint Dependency in 3-D Object Recognition by Support Vector Machines / T. Hayasaka ; E. Ohnishi ; S. Nakauchi ; S. Usui
A Comparative Study of Two Neural Models for Cloud Screening of Iberian Peninsula Meteosat Images / M. Macías Macías ; A. Serrano Pérez ; A. Astilleros Vivas
A Growing Cell Neural Network Structure for Off-Line Signature Recognition / K. Toscano-Medina ; G. Sanchez-Perez ; M. Nakano-Miyatake ; H. Perez-Meana
ZISC-036 Neuro-processor Based Image Processing / K. Madani ; G. de Trémiolles ; P. Tannhof
Self-Organizing Map for Hyperspectral Image Analysis / P. Martínez ; P.L. Aguilar ; R.M. Pérez ; M. Linaje ; J.C. Preciado ; A. Plaza
Classification of the Images of Gene Expression Patterns Using Neural Networks Based on Multi-valued Neurons / I. Aizenberg ; E. Myasnikova ; M. Samsonova
Image Restoration Using Neural Networks / S. Ghennam ; K. Benmahammed
Automatic Generation of Digital Filters by NN Based Learning: An Application on Paper Pulp Inspection / P. Campoy-Cervera ; D.F. Muñoz García ; D. Peña ; J.A. Calderón-Martínez
Image Quality Enhancement for Liquid Bridge Parameter Estimation with DTCNN / M.A. Jaramillo ; J. Álvaro Fernández ; J.M. Montanero ; F. Zayas
Neural Network Based on Multi-valued Neurons: Application in Image Recognition, Type of Blur and Blur Parameters Identification / N. Aizenberg ; C. Butakoff
Analyzing Wavelets Components to Perform Face Recognition / P. Isasi ; M. Velasco ; J. Segovia
Man-Machine Voice Interface Using a Commercially Available Neural Chip / N.J. Medraño-Marqués ; B. Martín-del-Brío
Partial Classification in Speech Recognition Verification / G. Hernández Ábrego ; I. Torres Sánchez
Speaker Recognition Using Gaussian Mixtures Model / E. Simancas-Acevedo ; A. Kurematsu ; M. Nakano Miyatake
A Comparative Study of ICA Filter Structures Learnt from Natural and Urban Images / C. Ziegaus ; E.W. Lang
Neural Edge Detector - A Good Mimic of Conventional One Yet Robuster against Noise / K. Suzuki ; I. Horiba ; N. Sugie
Neural Networks for Image Restoration from the Magnitude of Its Fourier Transform / A. Burian ; J. Saarinen ; P. Kuosmanen
Medical Applications
An Automatic System for the Location of the Optic Nerve Head from 2D Images / M. Bachiller ; M. Rincón ; J. Mira ; J. García-Feijó
Can ICA Help Classify Skin Cancer and Benign Lesions? / C. Mies ; C. Bauer ; G. Ackermann ; W. Bäumler ; C. Abels ; C.G. Puntonet ; M. Rodríguez-Alvarez
An Approach Fractal and Analysis of Variogram for Edge Detection of Biomedical Images / L. Hamami ; N. Lassouaoui
Some Examples for Solving Clinical Problems Using Neural Networks / A.J. Serrano ; E. Soria ; G. Camps ; J.D. Martín ; N.V. Jiménez
Medical Images Analysis: An Application of Artificial Neural Networks in the Diagnosis of Human Tissues / E. Restum Antonio ; L. Biondi Neto ; V. De Roberto Junior ; F. Hideo Fukuda
Feature Selection, Ranking of Each Feature and Classification for the Diagnosis of Community Acquired Legionella Pneumonia / E. Monte ; J. Solé i Casals ; J.A. Fiz ; N. Sopena
Rotation-Invariant Image Association for Endoscopic Positional Identification Using Complex-Valued Associative Memories / H. Aoki ; E. Watanabe ; A. Nagata ; Y. Kosugi
A Multi Layer Perceptron Approach for Predicting and Modeling the Dynamical Behavior of Cardiac Ventricular Repolarisation / R. El Dajani ; M. Miquel ; P. Rubel
Detection of Microcalcifications in Mammograms by the Combination of a Neural Detector and Multiscale Feature Enhancement / A. Vega-Corona
An Auto-learning System for the Classification of Fetal Heart Rate Decelerative Patterns / B. Guijarro Berdiñas ; A. Alonso-Betanzos ; O. Fontenla-Romero ; O. Garcia-Dans ; N. Sádnchez Maroño
Neuro-Fuzzy Nets in Medical Diagnosis: The DIAGEN Case Study of Glaucoma / E. Carmona ; J. García Feijó ; M.G. de la Rosa
Robotics
Evolving Brain Structures for Robot Control / F. Pasemann ; U. Steinmetz ; M. Hülse ; B. Lara
A Cuneate-Based Network and Its Application as a Spatio-Temporal Filter in Mobile Robotics / E. Sánchez ; M. Mucientes ; S. Barro
An Application of Fuzzy State Automata: Motion Control of an Hexapod Walking Machine / D. Morano
Neural Adaptive Force Control for Compliant Robots / N. Saadia ; Y. Amirat ; J. Pontnaut ; A. Ramdane-Cherif
Reactive Navigation Using Reinforment Learning Techniques in Situations of POMDPs / P. Puliti ; G. Tascini ; A. Montesanto
Landmark Recognition for Autonomous Navigation Using Odometric Information and a Network of Perceptrons / J. de Lope Asiaín
Topological Maps for Robot's Navigation: A Conceptual Approach / F. de la Paz López ; J.R. Álvarez-Sánchez
Information Integration for Robot Learning Using Neural Fuzzy Systems / C. Zhou ; Y. Yang ; J. Kanniah
Incorporating Perception-Based Information in Reinforcement Learning Using Computing with Words / X. Jia
Cellular Neural Networks for Mobile Robot Vision / M. Balsi ; A. Maraschini ; G. Apicella ; S. Luengo ; J. Solsona ; X. Vilasís-Cardona
Learning to Predict Variable-Delay Rewards and Its Role in Autonomous Developmental Robotics / A. Pérez-Uribe ; M. Courant
Robust Chromatic Identification and Tracking / J. Ramírez ; G. Grittani
Sequence Learning in Mobile Robots Using Avalanche Neural Networks / G. Quero ; C. Chang
Investigating Active Pattern Recognition in an Imitative Game / S. Moga ; P. Gaussier ; M. Quoy
Towards an On-Line Neural Conditioning Model for Mobile Robots / E. Şahin
General Applications
A Thermocouple Model Based on Neural Networks / N. Medraño-Marqués ; R. del-Hoyo-Alonso
Improving Biological Sequence Property Distances Using a Genetic Algorithm / O.M. Perez ; F.J. Marin ; O. Trelles
Data Mining Applied to Irrigation Water Management / J.A. Botía ; A.F. Gómez Skarmeta ; M. Valdés ; A. Padilla
Classification of Specular Object Based on Statistical Learning Theory / T.S. Yun
On the Application of Heteroassociative Morphological Memories to Face Localization / B. Raducanu ; M. Graña
Early Detection and Diagnosis of Faults in an AC Motor Using Neuro Fuzzy Techniques: FasArt+ Fuzzy k Nearest Neighbors / J. Juez ; G.I. Sainz ; E.J. Moya ; J.R. Perán
Knowledge-Based Neural Networks for Modelling Time Series / J. van Zyl ; C.W. Omlin
Using Artificial Neural Network to Define Fuzzy Comparators in FSQL with the Criterion of Some Decision-Maker / R. Carrasco ; J. Galindo ; A. Vila
Predictive Classification for Integrated Pest Management by Clustering in NN Output Space / M. Salmerón ; D. Guidotti ; R. Petacchi
Blind Source Separation in the Frequency Domain: A Novel Solution to the Amplitude and the Permutation Indeterminacies / A. Dapena ; L. Castedo
Evaluation, Classification and Clustering with Neuro-Fuzzy Techniques in Integrate Pest Management / E. Bellei ; I. Rizzi
Inaccessible Parameters Monitoring in Industrial Environment: A Neural Based Approach / I. Berechet
Autoorganized Structures for Extraction of Perceptual Primitives / M. Penas ; M.J. Carreira ; M.G. Penedo
Real-Time Wavelet Transform for Image Processing on the Cellular Neural Network Universal Machine / V.M. Preciado
OBLIC: Classification System Using Evolutionary Algorithm / J.L. Alvarez ; J. Mata ; J.C. Riquelme
Design of a Pre-processing Stage for Avoiding the Dependence on TSNR of a Neural Radar Detector / P. Jarabo Amores ; M. Rosa Zurera ; F. López Ferreras
Foetal Age and Weight Determination Using a Lateral Interaction Inspired Net / A. Fernández-Caballero ; F.J. Gómez ; M.A. Fernández
Inference of Stochastic Regular Languages through Simple Recurrent Networks with Time Dealys / G.A. Casañ ; M.A. Castaño
Is Neural Network a Reliable Forecaster on Earth? A MARS Query! / A. Abraham ; D. Steinberg
Character Feature Extraction Using Polygonal Projection Sweep (Contour Detection) / R.J. Rodrigues ; G.K. Vianna ; A.C.G. Thomé
Using Contextual Information to Selectively Adjust Preprocessing Parameters / P. Neskovic ; L.N. Cooper
Electric Power System's Stability Assessment and Online-Provision of Control Actions Using Self-Organizing Maps / C. Leder ; C. Rehtanz
Neural Networks for Contingency Evaluation and Monitoring in Power Systems / F. García-Lagos ; G. Joya ; F.J. Marín ; F. Sandoval
Hybrid Framework for Neuro-dynamic Programming Application to Water Supply Networks / M. Damas ; M. Salmeródn ; G. Olivares
Classification of Disturbances in Electrical Signals Using Neural Networks / C. León ; A. López ; J.C. Montaño ; Í. Monedero
Neural Classification and "Traditional" Data Analysis: An Application to Households' Living Conditions / S. Ponthieux ; M. Cottrell
Nonlinear Synthesis of Vowels in the LP Residual Domain with a Regularized RBF Network / E. Rank ; G. Kubin
Nonlinear Vectorial Prediction with Neural Nets / M. Faúndez-Zanuy
Separation of Sources Based on the Partitioning of the Space of Observations / M. Rodríguez-Álvarez ; I. Rojas
Adaptive ICA with Order Statistics in Multidmensional Scenarios / Y. Blanco ; S. Zazo ; J.M. Paez-Borrallo
Pattern Repulsion Revistited / Fabian J. Theis ; C. Puntonet
The Minimum Entropy and Cumulants Based Contrast Functions for Blind Source Extraction / S. Cruces ; A. Cichocki ; S.-I. Amari
Feature Extraction in Digital Mammography: An Independent Component Analysis Approach / A. Koutras ; I. Christoyianni ; E. Dermatas ; G. Kokkinakis
Blind Source Separation in Convolutive Mixtures: A Hybrid Approach for Colored Sources / F. Abrard ; Y. Deville
A Conjugate Gradient Method and Simulated Annealing for Blind Separation of Sources / R. Martín-Clemente ; J.I. Acha
The Problem of Overlearning in High-Order ICA Approaches: Analysis and Solutions / J. Särelä ; R. Vigário
Equi-convergence Algorithm for Blind Separation of Sources with Arbitrary Distributions / L.-Q. Zhang ; S. Amari
Separating Convolutive Mixtures by Mutual Information Minimization / M. Babaie-Zadeh ; C. Jutten ; K. Nayebi
Author Index
Foundations of Connectionism and Biophysical Models of Neurons
Dendrites: The Last-Generation Computers / O. Herreras ; J.M. Ibarz ; L. López-Aguado ; P. Varona
Homogeneity in the Electrical Activity Pattern as a Function of Intercellular Coupling in Cell Networks / E. Andreu ; R. Pomares ; B. Soria ; J.V. Sanchez-Andres
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus / J. Mariño ; A. Canedo
Algorithmic Extraction of Morphological Statistics from Electronic Archives of Neuroanatomy / R. Scorcioni ; G.A. Ascoli
What Can We Compute with Lateral Inhibition Circuits? / A.E. Delgado
Neuronal Models with Current Inputs / J. Feng
Decoding the Population Responses of Retinal Ganglions Cells Using Information Theory / J.M. Ferrández ; M. Bongard ; F. García de Quirós ; J.A. Bolea ; J. Ammermüller ; R.A. Normann ; E. Fernández
Numerical Study of Effects of Co-transmission by Substance P and Acetylcholine on Synaptic Plasticity in Myenteric Neurons / R. Miftakov ; J. Christensen
Neurobiological Modeling of Bursting Response During Visual Attention / R. Rajimehr ; L. Montaser Kouhsari
Sensitivity of Simulated Striate Neurons to Cross-Like Stimuli Based on Disinhibitory Mechanism / K.A. Saltykov ; I.A. Shevelev
Synchronisation Mechanisms in Neuronal Networks / S. Chillemi ; M. Barbi ; A. Di Garbo
Detection of Oriented Repetitive Alternating Patterns in Color Images (A Computational Model of Monkey Grating Cells) / T. Lourens ; H.G. Okuno ; H. Kitano
Synchronization in Brain - Assessment by Electroencephalographic Signals / E. Pereda ; J. Bhattacharya
Strategies for the Optimization of Large Scale Networks of Integrate and Fire Neurons / M.A. Sánchez-Montañés
Structural and Functional Models of Neurons
A Neural Network Model of Working Memory (Processing of "What" and "Where" Information) / T. Minami ; T. Inui
Orientation Selectivity of Intracortical Inhibitory Cells in the Striate Visual Cortex: A Computational Theory and a Neural Circuitry / M.N. Shirazi
Interpreting Neural Networks in the Frame of the Logic of Lukasiewicz / C. Moraga ; L. Salinas
Time-Dispersive Effects in the J. Gonzalo's Research on Cerebral Dynamics / I. Gonzalo ; M.A. Porras
Verifying Properties of Neural Networks / P. Rodrigues ; J.F. Costa ; H.T. Siegelmann
Algorithms and Implementation Architectures for Hebbian Neural Networks / J.A. Berzal ; P.J. Zufiria
The Hierarchical Neuro-Fuzzy BSP Model: An Application in Electric Load Forecasting / F.J. de Souza ; M.M.R. Vellasco ; M.A.C. Pacheco
The Chemical Metaphor in Neural Computation / J. Barahona da Fonseca ; I. Barahona da Fonseca ; J. Simões da Fonseca
The General Neural-Network Paradigm for Visual Cryptography / T.-W. Yue ; S. Chiang
II-DTB, Discrete Time Backpropagation with Product Units / J. Santos ; R.J. Duro
Neocognitron-Type Network for Recognizing Rotated and Shifted Patterns with Reduction of Resources / S. Satoh ; S. Miyake ; H. Aso
Classification with Synaptic Radial Basis Units / J.D. Buldain
A Randomized Hypercolumn Model and Gesture Recognition / N. Tsuruta ; Y. Yoshiki ; T. El. Tobely
Heterogeneous Kohonen Networks / S. Negri ; L.A. Belanche
Divided-Data Analysis in a Financial Case Classification with Multi-dendritic Neural Networks
Neuro Fuzzy Systems: State-of-the-Art Modeling Techniques
Generating Linear Regression Rules from Neural Networks Using Local Least Squares Approximation / Setiono
Speech Recognition Using Fuzzy Second-Order Recurrent Neural Networks / A. Blanco ; M. Delgado ; M.C. Pegalajar ; I. Requena
A Measure of Noise Immunity for Functional Networks / E. Castillo ; B. Guijarro-Berdinas
A Functional-Neural Network for Post-Nonlinear Independent Component Analysis / O. Fontenla Romero ; B. Guijarro Berdinnas ; A. Alonso Betanzos
Optimal Modular Feedfroward Neural Nets Based on Functional Network Architectures / A.S. Cofiño ; J.M. Gutiérrez
Optimal Transformations in Multiple Linear Regression Using Functional Networks / A.S. Hadi ; B. Lacruz
Learning and Other Plasticity Phenomena, and Complex Systems Dynamics
Generalization Error and Training Error at Singularities of Multilayer Perceptrons / T. Ozeki ; H. Park
Bistable Gradient Neural Networks: Their Computational Properties / V. Chinarov ; M. Menzinger
Inductive Bias in Recurrent Neural Networks / S. Snyders
Accelerating the Convergence of EM-Based Training Algorithms for RBF Networks / M. Lázaro ; I. Santamaría ; C. Pantaleón
Expansive and Competitive Neural Networks / J.A. Gomez-Ruiz ; J. Muñoz-Perez ; E. Lopez-Rubio ; M.A. Garcia-Bernal
Fast Function Approximation with Hierarchical Neural Networks and Their Application to a Reinforcement Learning Agent / J. Fischer ; R. Breithaupt ; M. Bode
Two Dimensional Evaluation Reinforcement Learning / H. Okada ; H. Yamakawa ; T. Omori
Comparing the Learning Processes of Cognitive Distance Learning and Search Based Agent / Y. Miyamoto
Selective Learning for Multilayer Feedforward Neural Networks / A.P. Engelbrecht
Connectionist Models of Cortico-Basal Ganglia Adaptive Neural Networks During Learning of Motor Sequential Procedures / J. Molina Vilaplana
Practical Consideration on Generalization Property of Natural Gradient Learning
Novel Training Algorithm Based on Quadratic Optimisation Using Neural Networks / G. Arulampalam ; A. Bouzerdoum
Non-symmetric Support Vector Machines
Natural Gradient Learning in NLDA Networks / J.R. Dorronsoro ; A. González ; C. Santa Cruz
AUTOWISARD: Unsupervised Modes for the WISARD / I. Wickert ; F.M.G. França
Neural Steering: Difficult and Impossible Sequential Problems for Gradient Descent / G. Milligan ; M.K. Weir ; J.P. Lewis
Analysis of Scaling Exponents of Waken and Sleeping Stage in EEG / J.-M. Lee ; D.-J. Kim ; I.-Y. Kim ; S.I. Kim
Model Based Predictive Control Using Genetic Algorithms. Application to Greenhouses Climate Control / X. Blasco ; M. Martínez ; J. Senent ; J. Sanchis
Nonlinear Parametric Model Identification with Genetic Algorithms. Application to a Thermal Process / J.M. Herrero
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem / C. Cotta ; J.M. Troya
GA Techniques Applied to Contour Search in Images of Bovine Livestock / M.I. Acevedo Sotoca
Richer Network Dynamics of Intrinsically Non-regular Neurons Measured through Mutual Information / F. Rodríguez ; R. Huerta ; M.I. Rabinovich ; H.D.I. Abarbanel
RBF Neural Networks, Multiobjective Optimization and Time Series Forecasting / H. Pomares
Evolving RBF Neural Networks / V.M. Rivas ; P.A. Castillo ; J.J. Merelo
Evolutionary Cellular Configurations for Designing Feed-Forward Neural Networks Architectures / G. Gutiérrez ; J.M. Molina ; A. Sanchís ; I.M. Galván
A Recurrent Multivalued Neural Network for the N-Queens Problem / E. Mérida ; J. Muñoz ; R. Benítez
A Novel Approach to Self-Adaptation of Neuro-Fuzzy Controllers in Real Time
Expert Mutation Operators for the Evolution of Radial Basis Function Neural Networks
Studying Neural Networks of Bifurcating Recursive Processing Elements - Quantitative Methods for Architecture Design and Performance Analysis / E. Del Moral Hernandez
Topology-Preserving Elastic Nets / V. Tereshko
Optimization with Linear Constraints in the Neural Network / M. Oota ; N. Ishii ; K. Yamauchi ; M. Nakamura
Optimizing RBF Networks with Cooperative/Competitive Evolution of Units and Fuzzy Rules / A.J. Rivera
Study of Chaos in a Simple Discrete Recurrence Neural Network / J.D. Piñeiro
Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT Problems / H. Drias
A New Approach to Evolutionary Computation: Segregative Genetic Algorithms (SEGA) / M. Affenzeller
Evolution of Firms in Complex Worlds: Generalized NK Model / N. Jacoby
Learning Adaptive Parameters with Restricted Genetic Optimization Method / S. Garrido
Solving NP-Complete Problems with Networks of Evolutionary Processors / J. Castellanos ; C. Martín-Vide ; V. Mitrana ; J.M. Sempere
Using SOM for Neural Network Visualization / G. Romero
Comparison of Supervised Self-Organizing Maps Using Euclidian or Mahalanobis Distance in Classification Context / F. Fessant ; P. Aknin ; L. Oukhellou ; S. Midenet
Introducing Multi-objective Optimization in Cooperative Coevolution of Neural Networks / N. García-Pedrajas ; E. Sanz-Tapia ; D. Ortiz-Boyer ; C. Hervás-Martínez
STAR - Sparsity through Automated Rejection / R. Burbidge ; M. Trotter ; B. Buxton ; S. Holden
Ordinal Regression with K-SVCR Machines / C. Angulo ; A. Català
Large Margin Nearest Neighbor Classifiers / S. Bermejo ; J. Cabestany
Reduced Support Vector Selection by Linear Programs / W.A. Fellenz
Edge Detection in Noisy Images Using the Support Vector Machines / H. Góimez-Moreno ; S. Maldonado-Bascón
Initialization in Genetic Algorithms for Constraint Satisfaction Problems / C.R. Vela ; R. Varela ; J. Puente
Evolving High-Posterior Self-Organizing Maps / J. Muruzábal
Using Statistical Techniques to Predict GA Performance / R. Nogueras
Multilevel Genetic Algorithm for the Complete Development of ANN / J. Dorado ; A. Santos ; J.R. Rabuñal
Graph Based GP Applied to Dynamical Systems Modeling / A.M. López ; H. López ; L. Sánchez
Nonlinear System Dynamics in the Normalisation Process of a Self-Organising Neural Network for Combinatorial Optimisation / T. Kwok ; K.A. Smith
Continuous Function Optimisation via Gradient Descent on a Neural Network Approxmiation Function / J.N.D. Gupta
An Evolutionary Algorithm for the Design of Hybrid Fiber Optic-Coaxial Cable Networks in Small Urban Areas / P. Cortiés ; F. Guerrero ; D. Canca ; J.M. García
Channel Assignment for Mobile Communications Using Stochastic Chaotic Simulated Annealing / S. Li ; L. Wang
Artificial Intelligence and Cognitive Processes
Seeing is Believing: Depictive Neuromodelling of Visual Awareness / I. Aleksander ; H. Morton ; B. Dunmall
DIAGEN-WebDB: A Connectionist Approach to Medical Knowledge Representation and Inference / R. Martínez ; J.R. Álvarez
Conceptual Spaces as Voltage Maps / J. Aisbett ; G. Gibbon
Determining Hyper-planes to Generate Symbolic Rules / G. Bologna
Automatic Symbolic Modelling of Co-evolutionarily Learned Robot Skills / A. Ledezma ; A. Berlanga ; R. Aler
ANNs and the Neural Basis for General Intelligence / J.G. Wallace ; K. Bluff
Knowledge and Intelligence / J.C. Herrero
Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover / I.M.O. Vilela ; P.M.V. Lima
Bio-inspired Systems and Engineering
From Embryonics to POEtic Machines / D. Mange ; A. Stauffer ; G. Tempesti ; C. Teuscher
Design and Codesign of Neuro-Fuzzy Hardware / L.M. Reyneri
44.

図書

図書
Stefano A. Cerri, Danail Dochev (eds.)
出版情報: Berlin ; Tokyo : Springer, c2000  xii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1904 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Construction
Dynamic Knowledge Representation and Its Applications / José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska ; Teodor C. Przymusinski ; Paulo Quaresma
Using Consensus Methods for Determining the Representation of Ex pert Information in Distributed Systems / Ngoc Thanh Nguyen
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools / Joost Breuker ; Emil Petkov ; Radboud Winkels
Steps towards C+C: A Language for Interactions / Stefano A. Cerri ; Jean Sallantin ; Emmanuel Castro ; Daniele Maraschi
Reasoning under Certainty
Efficient Reasoning Using the Local Closed-World Assumption / Patrick Doherty ; Witold Lukaszewicz ; Andrzej Szalas
Least Generalization under Relative Implication / Svetla Boytcheva
Theorem Proving for Constructive A-Calculus / Allan Ramsay
Reasoning under Uncertainty
Classification with Belief Decision Trees / Zied Elouedi ; Khaled Mellouli ; Philippe Smets
A Temporal Many-Valued Logic for Real Time Control Systems / Gonzalo Escalada-Imaz
Propositional Contexts / Christo Dichev ; Trendafil Madarov
Best Paper Award
An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis / Belarmino Pulido ; Carlos Alonso
Actors, Agents
An Open Approach to Distribution, Awareness and Cooperative Work / Walter Balzano ; Antonina Dattolo ; Vincenzo Loia
How to Schedule a Job Shop Problem through Agent Cooperation / Khaled Ghédira ; Meriem Ennigrou
Revisable Analysis and Design throughout Actors Interaction / Hassen Kriaa ; Guy Gouardères
Simulation and Multi-agent Environment for Aircraft Maintenance Learning / G. Gouardères ; A. Minko ; L. Richard
Web, Mining
Improving WWW Access - from Single-Purpose Systems to Agent Architectures? / D. Sramek ; P. Berka ; J. Kosek ; V. Svatek
A General Architecture for Finding Structural Regularities on the Web / P. A. Laur ; F. Masseglia ; P. Poncelet ; M. Teisseire 179
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing / Preslav Nakov
Natural Language
What Did He Mean by That? / Helen Seville
Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning / Ognian Kalaydjiev ; Ani Nenkova ; Galia Angelova
Maintaining a Jointly Constructed Student Model / Vania Dimitrova ; John Self ; Paul Brna
Metaphor Processing for Learning Terminology on the Web / Stefan Trausan-Matu
Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project) / Kamenka Staykova ; Danail Dochev
Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document / P. Nagabhushan ; Basavaraj S. Anami
Complexity and Optimization
Complex ity Issues in the Davis and Putnam Scheme / G. Escalada-Imaz ; R. Torres Velázquez
Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP / Nico Roos ; Yongping Ran ; Jaap van den Herik
Fuzzy, Neural
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing / Francisco Botana
Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System / Ieroham S. Baruch ; J. Martín Flores ; J. Carlos Martínez ; Boyka Nenkova
A Neural Network Tool to Organize Large Document Sets / R. Rizzo ; E. G. Munna
User Authentication via Neural Network / Abd Manan Ahmad ; Nik Nailah Abdullah
Learning
Applying Preference Biases to Conjunctive and Disjunctive Version Spaces / E. N. Smirnov ; H. J. van den Herik
Coverage-Based Semi-distance between Horn Clauses / Zdravko Markov ; Ivo Marinchev
Supervised Classification for the Triple Parity Strings / Tony Y. T. Chan
Effective Iris Recognition System by Optimized Feature Vectors and Classifier / Shinyoung Lim ; Kwanyong Lee ; Okhwan Byeon ; Taiyun Kim
Invited Papers
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web / Enrico Motta
Continuations and Conversations / Christian Queinnec
Author Index
Knowledge Construction
Dynamic Knowledge Representation and Its Applications / José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska ; Teodor C. Przymusinski ; Paulo Quaresma
Using Consensus Methods for Determining the Representation of Ex pert Information in Distributed Systems / Ngoc Thanh Nguyen
45.

図書

図書
Manuel Ojeda-Aciego ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  xi, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1919 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
`On Being Informed': Update Logics for Knowledge States / J. van Benthem
Considerations on Updates of Logic Programs / T. Eiter ; M. Fink ; G. Sabbatini ; H. Tompits
The KeY Approach: Integrating Object Oriented Design and Formal Verification / W. Ahrendt ; T. Baar ; B. Beckert ; M. Giese ; E. Habermalz ; R. Hahnle ; W. Menzel ; P. H. Schmitt
Semi-qualitative Reasoning about Distances: A Preliminary Report / H. Sturm ; N.-Y. Suzuki ; F. Wolter ; M. Zakharyaschev
Regular Contributions
Knowledge Representation
Hybrid Probabilistic Logic Programs as Residuated Logic Programs / C. Viegas Damasio ; L. Moniz Pereira
Topo-distance: Measuring the Difference between Spatial Patterns / M. Aiello
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus / A. Frias Delgado ; J. A. Jimenez Millan
Capturing Stationary and Regular Extensions with Reiter's Extensions / T. Janhunen
Reasoning about Actions
Representing the Process Semantics in the Event Calculus / C. Li
Declarative Formalization of Strategies for Action Selection: Applications to Planning / J. Sierra-Santibanez
Belief Revision
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases / O. Arieli
Acceptance Without Minimality / A. C. Nayak
Theorem Proving
Reduction Theorems for Boolean Formulas Using?-Trees / G. Gutierrez ; I. P. de Guzman ; J. Mart'inez ; M. Ojeda-Aciego ; A. Valverde
Simultaneous Rigid Sorted Unification / P. J. Mart'in ; A. Gavilanes
Partially Adaptive Code Trees / A. Riazanov ; A. Voronkov
Argumentation
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments / H. Prakken
Credulous and Sceptical Argument Games for Preferred Semantics / G. A. W. Vreeswijk
Agents
A General Approach to Multi-agent Minimal Knowledge / W. van der Hoek ; J. Jaspars ; E. Thijsse
A Modal Logic for Network Topologies / R. M. van Eijk ; F. S. de Boer ; J.-J. Ch. Meyer
Avoiding Logical Omniscience by Using Subjective Situations / A. Moreno ; U. Cortes ; T. Sales
Multi-agent VSK Logic / M. Wooldridge ; A. Lomuscio
Decidability and Complexity
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases / T. Lukasiewicz
Monodic Epistemic Predicate Logic
Updates
Updates plus Preferences / J. J. Alferes
A Framework for Belief Update / P. Liberatore
Preferences
A Compilation of Brewka and Eiter's Approach to Prioritization / J. P. Delgrande ; T. Schaub
A Logic for Modeling Decision Making with Dynamic Preferences / M. De Vos ; D. Vermeir
Author Index
Invited Talks
`On Being Informed': Update Logics for Knowledge States / J. van Benthem
Considerations on Updates of Logic Programs / T. Eiter ; M. Fink ; G. Sabbatini ; H. Tompits
46.

図書

図書
Jeremy Wyatt, John Demiris (eds.)
出版情報: Berlin ; New York : Springer, c2000  vi, 164 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1812 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Map Building through Self-Organisation for Robot Navigation / Ulrich Nehmzow
Learning a Navigation Taskin Changing Environments by Multi-taskReinforcement Learning / Axel Großmann ; Riccardo Poli
Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically-Rearranging Neural NetworkApproach / Peter Eggenberger ; Akio Ishiguro ; Seiji Tokura ; Toshiyuki Kondo ; Yoshiki Uchikawa
How Does a Robot Find Redundancy by Itself? / Koh Hosoda ; Minoru Asada
Learning Robot Control by Relational Concept Induction with Iteratively Collected Examples / Nobuhiro Inuzuka ; Taichi Onda ; Hidenori Itoh
Reinforcement Learning in Situated Agents: Theoretical Problems and Practical Solutions / Mark D. Pendrith
A Planning Map for Mobile Robots: Speed Control and Paths Finding in a Changing Environment / Mathias Quoy ; Philippe Gaussier ; Sacha Leprêtre ; Arnaud Revel ; Jean-Paul Banquet
Probabilistic and Count Methods in Map Building for Autonomous Mobile Robots / Miguel RodrÆiguez ; José Correa ; Roberto Iglesias ; Carlos V. Regueiro ; Senén Barro
Biologically-Inspired Visual LandmarkLearning for Mobile Robots / Giovanni Bianco ; Riccardo Cassinis
Author Index
Map Building through Self-Organisation for Robot Navigation / Ulrich Nehmzow
Learning a Navigation Taskin Changing Environments by Multi-taskReinforcement Learning / Axel Großmann ; Riccardo Poli
Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically-Rearranging Neural NetworkApproach / Peter Eggenberger ; Akio Ishiguro ; Seiji Tokura ; Toshiyuki Kondo ; Yoshiki Uchikawa
47.

図書

図書
Zbigniew W. Raś, Setsuo Ohsuga (eds.)
出版情報: Berlin : Springer, c2000  xii, 646 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1932 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Information Retrieval Based on Statistical Language Models / W. Bruce Croft
Intelligent Agent Battlespace Augmentation / Philip J. Emmerman ; Uma Y. Movva
Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation / Ryszard S. Michalski
Regular Papers
Knowledge Discovery and Learning / 1A:
Can Relational Learning Scale Up? / Attilio Giordana ; Lorenza Saitta ; Michele Sebag ; Marco Botta
Discovering Geographic Knowledge: The INGENS System / Donato Malerba ; Floriana Esposito ; Antonietta Lanza ; Francesca A. Lisi
Temporal Data Mining Using Hidden Periodicity Analysis / Weiqiang Lin ; Mehmet A. Orgun
Mining N-most Interesting Itemsets / Ada W.-c. Fu ; Renfrew W.-w. Kwong ; Jian Tang
Intelligent Information Retrieval / 1B:
Repository Management in an Intelligent Indexing Approach for Multimedia Digital Libraries / B. Armani ; E. Bertino ; B. Catania ; D. Laradi ; B. Marin ; G.P. Zarri
Logic-Based Approach to Semistructured Data Retrieval / Mohand-Saïd Hacid ; Farouk Toumani
High Quality Information Retrieval for Improving the Conduct and Management of Research and Development / Ronald N. Kostoff
Signature-Based Indexing for Retrieval by Spatial Content in Large 2D-String Image Databases / Essam A. El-Kwae
Refining Logic Theories under OI-Implication / N. Fanizzi ; S. Ferilli ; G. Semeraro2A:
Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach / Aijun An ; Nick Cercone
A Dynamic Approach for Knowledge Discovery of Web Access Patterns / Alaaeldin Hafez
Data Reduction via Conflicting Data Analysis / M. Boussouf ; M. Quafafou
A Comparison of Rule Matching Methods Used in AQ15 and LERS / Jerzy W. Grzymala-Busse ; Pankaj Shah
Evolutionary Computation / 2B:
Evolving Behaviors for Cooperating Agents / Jeffrey K. Bassett ; Kenneth A. De Jong
Evolving Finite-State Machine Strategies for Protecting Resources / William M. Spears ; Diana F. Gordon
A Method of Generating Program Specification from Description of Human Activities / Shuhei Kawasaki ; Setsuo Ohsuga
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits / Alfredo Cruz
Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP / Arturo Núñez ; María-Cristina Riff
Methodologies / 3A:
Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change / Jennifer Kashmirian ; Lin Padgham
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm / Jörg Hoffmann
Planning while Executing: A Constraint-Based Approach / R. Barruffi ; M. Milano ; P. Torroni
Intelligent Information Systems / 3B:
Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving / Katsuaki Tanaka ; Michiko Higashiyama
A Comparative Study of Noncontextual and Contextual Dependencies / S.K.M. Wong ; C.J. Butz
Extended Query Answering Using Integrity Rules / Barry G.T. Lowden ; Jerome Robinson
Finding Temporal Relations: Causal Bayesian Networks vs. C4.5 / Kamran Karimi ; Howard J. Hamilton4A:
Learning Relational Clichés with Contextual LGG / Johanne Morin and Stan Matwin
Design of Rough Neurons: Rough Set Foundation and Petri Net Model / J.F. Peters ; A. Skowron ; Z. Suraj ; L. Han ; S. Ramanna
Towards Musical Data Classification via Wavelet Analysis / Alicja Wieczorkowska
Logic for AI / 4B:
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Fundamental Properties on Axioms of Kleene Algebra / Tomoko Ninomiya ; Masao Mukaidono
Extending Entity-Relationship Models with Higher-Order Operators / Antonio Badia
Combining Description Logics with Stratified Logic Programs in Knowledge Representation / Jianhua Chen
Emergence Measurement and Analyzes of Conceptual Abstractions During Evolution Simulation in OOD / Mourad Oussalah ; Dalila Tamzalit5A:
Using Intelligent Systems in Predictions of the Bacterial Causative Agent of an Infection / Diana R. Cundell ; Randy S. Silibovsky ; Robyn Sanders ; Les M. Sztandera
An Intelligent Lessons Learned Process / Rosina Weber ; David W. Aha ; Hector Muñoz-Ávila ; Leonard A. Breslow
What the Logs Can Tell You: Mediation to Implement Feedback in Training / David A. Maluf ; Gio Wiederhold5B:
Top-Down Query Processing in First Order Deductive Databases under the DWFS / C.A. Johnson
Discovering and Resolving User Intent in Heterogeneous Databases / Chris Fernandes ; Lawrence Henschen
Learning and Knowledge Discovery / 6A:
Discovering and Matching Elastic Rules from Sequence Databases / Sanghyun Park ; Wesley W. Chu
Perception-Based Granularity Levels in Concept Representation / Jean-Daniel Zucker
Local Feature Selection with Dynamic Integration of Classifiers / Alexey Tsymbal ; Seppo Puuronen
Prediction of Ordinal Classes Using Regression Trees / Stefan Kramer ; Gerhard Widmer ; Bernhard Pfahringer ; Michael de Groeve
Optimal Queries in Information Filtering / Ali H. Alsaffar ; Jitender S. Deogun ; Hayri Sever6B:
Automatic Semantic Header Generator / Bipin C. Desai ; Sami S. Haddad ; Abdelbaset Ali
On Modeling of Concept Based Retrieval in Generalized Vector Spaces / Minkoo Kim ; Vijay V. Raghavan
Template Generation for Identifying Text Patterns / Cecile Boisson ; Nahid Shahmehri
Qualitative Discovery in Medical Databases / Jiming Liu7A:
Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling / Eric Louie ; Tsau Y. Lin
Using Closed Itemsets for Discovering Representative Association Rules / Jamil Saquer
Legitimate Approach to Association Rules under Incompleteness / Marzena Kryszkiewicz ; Henryk Rybinski
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic / Robert Demolombe ; Maria del Pilar Pozos Parra7B:
Rule Based Abduction / Sai K. Lakkaraju ; Yan Zhang
An Efficient Proof Method for Non-clausal Reasoning / E. Altamirano ; G. Escalada-Imaz
An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context / D. Pacholczyk ; F. Dupin de Saint Cyr
On the Complexity of Optimal Multisplitting / Tapio Elomaa ; Juho Rousu8A:
Parametric Algorithms for Mining Share-Frequent Itemsets / Brock Barber
Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies / Shusako Tsumoto
Foundations and Discovery of Operational Definitions / Jan M. Żytkow ; Zbigniew W. Raś
A Multi-agent Based Architecture for Distributed KDD Process / Chunnian Liu ; Ning Zhong
Knowledge Representation / 8B:
Towards a Software Architecture for Case-Based Reasoning Systems / Enric Plaza ; Josep-Lluís Arcos
Knowledge Representation in Planning: A PDDL to OCLh Translation / R.M. Simpson ; T.L. McCluskey ; D. Liu ; D.E. Kitchin
A Method and Language for Constructing Multiagent Systems / Hiroyuki Yamauchi
A Formalism for Building Causal Polytree Structures Using Data Distributions / M. Ouerd ; B.J. Oommen ; Stan Matwin
Abstraction in Cartographic Generalization / Sébastien Mustière
Author Index
Invited Paper
Information Retrieval Based on Statistical Language Models / W. Bruce Croft
Intelligent Agent Battlespace Augmentation / Philip J. Emmerman ; Uma Y. Movva
48.

図書

図書
Maria Carolina Monard, Jaime Simão Sichman (eds.)
出版情報: Berlin ; New York : Springer, c2000  xv, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1952 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
sponsor, IEEE Control Systems Society (CSS) ; technical co-sponsors, American Society of Mechanical Engineers (ASME), European Union Control Association (EUCA), Society of Instrument and Control Engineers (SICE)
出版情報: New York : IEEE, c2001  405 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
Tim Hendtlass, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2002  xiii, 833 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2358 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
Computational Cost Reduction by Selective Attention for Fast Speaker Adaptation in Multilayer Perceptron / In-Cheol Kim ; Sung-Il Chien
A Comparison of Neural Networks with Time Series Models for Forecasting Returns on a Stock Market Index / Juliana Yim
Image/Speech 1
Automatic Detection of Film Orientation with Support Vector Machines / Dane Walsh ; Christian Omlin
A Generic Approach for the Vietnamese Handwritten and Speech Recognition Problems / Vu Hai Quan ; Pham Nam Trung ; Nguyen Due Hoang Ha ; Lam Tri Tin ; Hoang Kiem ; An H Nguyen
Efficient and Automatic Faces Detection Based on Skin-Tone and Neural Network Model / Bae-Ho Lee ; Kwang-Hee Kim ; Yonggwan Won ; Jiseung Nam
Efficient Image Segmentation Based on Wavelet and Watersheds for Video Objects Extraction / Jong-Bae Kim ; Hang-Joon Kim
Evolutionary and Genetic Algorithms 1
FPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application / Iouliia Skliarova ; António B.Ferrari
Minimal Addition Chain for Efficient Modular Exponentiation Using Genetic Algorithms / Nadia Nedjah ; Luiza de Macedo Mourelle
An Evolutionary Algorithm for the Synthesis of RAM-Based FSMs / Valery Sklyarov
Genetic Algorithms for Design of Liquid Retaining Structure / K. W. Chau ; F. Albermani
Autonomous Agents
Modelling Crew Assistants with Multi-Agent Systems in Fighter Aircraft / Arjen Vollebregt ; Daan Hannessen ; Henk Hesselink ; Jelle Beetstra
Learning from Human Decision-Making Behaviors - An Application to RoboCup Software Agents / Ruck Thawonmas ; Junichiro Hirayama ; Fumiaki Takeda
Distributed Deadlock Detection in Mobile Agent Systems / Bruce Ashfield ; Dwight Deugo ; Franz Oppacher ; Tony White
An Agent-Based Approach for Production Control Incorporating Environmental and Life-Cycle Issues, together with Sensitivity Analysis / Elisabeth Hie Zudor ; László Monostori
Feasibility Restoration for Iterative Meta-heuristics Search Algorithms / Marcus Randall
Best Paper Candidates 1
Optimization of Pulse Pattern for a Multi-robot Sonar System Using Genetic Algorithm / George Nyauma Nyakoe ; Makoto Ohki ; Suichiro Tabuchi ; Masaaki Ohkita
The Suitability of Particle Swarm Optimisation for Training Neural Hardware / David Braendler ; Tim Hendtlass
Evolutionary Multi-objective Integer Programming for the Design of Adaptive Cruise Control Systems / Nando Laumanns ; Marco Laumanns ; Hartmut Kitterer
The Macronet Element: A Substitute for the Conventional Neuron / Gerrard Murray
Genetic Algorithm Optimisation of Mathematical Models Using Distributed Computing / S. Dunn ; S. Peucker
Best Paper Candidates 2
Genetic Algorithm Optimisation of Part Placement Using a Connection-Based Coding Method / Alan Crispin ; Paul Clay ; Gaynor Taylor ; Robert Hackney ; Tom Bayes ; David Reedman
A Fast Evolutionary Algorithm for Image Compression in Hardware / Mehrdad Salami
Automatic Speech Recognition: The New Millennium / Khalid Daoudi
Applying Machine Learning for Ensemble Branch Predictors / Gabriel H. Loh ; Dana S. Henry
A Customizable Configuration Tool for Design of Multi-part Products / Niall Murtagh
Neural Networks 2
Phase-to-Phase Wave Parameters Measurement of Distribution Lines Based on BP Networks / Fengling Han ; Xinghuo Yu ; Yong Feng ; Huifeng Dong
Learning Capability: Classical RBF Network vs. SVM with Gaussian Kernel / Rameswar Debnath ; Haruhisa Takahashi
Trading off between Misclassification, Recognition and Generalization in Data Mining with Continuous Features / Dianhui Wang ; Tharam Dillon ; Elizabeth Chang
Interacting Neural Modules / Garry Briscoe
The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System / Zhi-Hua Zhou ; Yuan Jiang ; Xu-Ri Yin ; Shi-Fu Chen
Internet Applications 1
Entrepreneurial Intervention in an Electronic Market Place / John Debenham
Intelligent Auto-downloading of Images / Vikram Natarajan ; Angela Goh
Intelligent Facilitation Agent for Online Web-Based Group Discussion System / Junalux Chalidabhongse ; Wirat Chinnan ; Piehet Weehasaethnon ; Arpakorn Tantisirithanakorn
TWIMC: An Anonymous Recipient E-mail System / Sebon Ku ; Bogju Lee ; Dongman Lee
Mental States of Autonomous Agents in Competitive and Cooperative Settings / Walid S. Saba
Expert Systems
An Expert System Application for Improving Results in a Handwritten Form Recognition System / Silvana Rossetto ; Flávio M. Varejão ; Thomas W. Rauber
A Knowledge-Based System for Construction Site Level Facilities Layout / M. Anson
A Decision-Support System to Improve Damage Survivability of Submarine / D. Lee ; J. Lee ; K. H. Lee
On the Verification of an Expert System: Practical Issues / Jorge Santos ; Zita Vale ; Carlos Ramos
DOWNSIZINGX: A Rule-Based System for Downsizing the Corporation's Computer Systems / J. L. Mitrpanont ; T. Plengpung
Credit Apportionment Scheme for Rule-Based Systems: Implementation and Comparative Study / N. M. Hewahi ; H. Ahmad
Internet Applications 2
An Adaptive Web Cache Access Predictor Using Neural Network / Wen Tian ; Ben Choi ; Vir V. Phoha
A Designated Bid Reverse Auction for Agent-Based Electronic Commerce / Tokuro Matsuo ; Takayuki Ito
Design of a Fuzzy Usage Parameter Controller for Diffserv and MPLS / K. K. Phang ; S. H. Lim ; M. Hj. Yaaeob ; T. C. Ling
A Tool for Extension and Restructuring Natural Language Question Answering Domains / Boris Galitsky
Effective Retrieval of Information in Tables on the Internet / Sung-Won Jung ; Kyung-Hee Sung ; Tae-Won Park ; Hyuk-chul Kwon
Evolutionary and Genetic Algorithms 2
A Fitness Estimation Strategy for Genetic Algorithms
Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms / Bian Runqiang ; Phoebe Chen ; Kevin Burrage ; Jim Hanan ; Peter Room ; John Belward
Evolving a Schedule with Batching, Precedence Constraints, and Sequence-Dependent Setup Times: Crossover Needs Building Blocks / Paul J. Darwen
The Development of the Feature Extraction Algorithms for Thai Handwritten Character Recognition System / S. Kiwprasopsak
Route Planning Wizard: Basic Concept and Its Implementation / Teruaki Ito
AI Applications
The Design and Implementation of Color Matching System Based on Back Propagation / HaiYi Zhang ; JianDong Bi ; Barbro Back
Component-Oriented Programming as an AI-Planning Problem / Debasis Mitra ; Walter P. Bond
Dynamic CSPs for Interval-Based Temporal Reasoning / Malek Mouhoub ; Jonathan Yip
Efficient Pattern Matching of Time Series Data / Sangjun Lee ; Dongseop Kwon ; Sukho Lee
A Multi-attribute Decision-Making Approach toward Space System Design Automation through a Fuzzy Logic-Based Analytic Hierarchical Process / Michelle Lavagna ; Amalia Ercoli Finzi
Best Paper Candidates 3
A Case Based System for Oil and Gas Well Design / Simon Kravis ; Rosemary Irrgang
Ant Colony Optimisation Applied to a Dynamically Changing Problem / Daniel Angus
A GIS-Integrated Intelligent System for Optimization of Asset Management for Maintenance of Roads and Bridges / M. D. Salim ; T. Strauss ; M. Emch
A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language / Oscar Luiz Monteiro de Farias ; Sueli Bandeira Teixeira Mendes
Training and Application of Artificial Neural Networks with Incomplete Data / Zs. J. Viharos ; L. Monostori ; T. Vincze
Knowledge Processing
Message Analysis for the Recommendation of Contact Persons within Defined Subject Fields / Frank Heeren ; Wilfried Sihn
An Intelligent Knowledge Processing System on Hydrodynamics and Water Quality Modeling / C.Cheng ; Y. S. Li ; C. W. Li ; O. Wai
Uncertainty Management and Informational Relevance / M. Chachoua ; D. Pacholczyk
Potential Governing Relationship and a Korean Grammar Checker Using Partial Parsing / Mi-young Kang ; Su-ho Park ; Ae-sun Yoon
Image/Speech 2
On-Line Handwriting Character Recognition Using Stroke Information / Jungpil Shin
Face Detection by Integrating Multiresolution-Based Watersheds and a Skin-Color Model / Su-Woong Jung
Social Interaction of Humanoid Robot Based on Audio-Visual Tracking / Hiroshi G. Okuno ; Kazuhiro Nakadai ; Hiroaki Kitano
Hybrid Confidence Measure for Domain-Specific Keyword Spotting / Jinyoung Kim ; Joohun Lee ; Seungho Choi
Model Based Reasoning
Model-Based Debugging or How to Diagnose Programs Automatically / Franz Wotawa ; Markus Stumptner ; Wolfgang Mayer
On a Model-Based Design Verification for Combinatorial Boolean Networks / Satoshi Hiratsuka ; Akira Fusaoka
Optimal Adaptive Pattern Matching / Luiza de Maeedo Mourelle
Analysis of Affective Characteristics and Evaluation of Harmonious Feeling of Image Based on 1/f Fluctuation Theory / Mao Xia ; Chen Bin ; Zhu Gang ; Muta Itsuya
Adaptive Control
Collective Intelligence and Priority Routing in Networks / Bernard Pagurek
An Agent-Based Approach to Monitoring and Control of District Heating Systems / Fredrik Wernstedt ; Paul Davidsson
Using Machine Learning to Understand Operator's Skill / Ivan Bratko ; Dorian Šue
Reactive Load Control of Parallel Transformer Operations Using Neural Networks / Fakhrul Islam ; Baikunth Nath ; Joarder Kamruzzaman
Author Index
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
51.

図書

図書
edited by Haya Hirsh and Steve Chien
出版情報: Menlo Park, CA : AAAI Press, c2001  xiii, 97 p. ; 28 cm
所蔵情報: loading…
52.

図書

図書
Jacques Calmet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2385 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Constraint Acquisition / Eugene C. Freuder
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer
Deduction versus Computation: The Case of Induction / Eric Deplagne ; Claude Kirchner
Integration of Quantifier Elimination with Constraint Logic Programming / Thomas Sturm
AISC Regular Talks
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design / Madhu Chetty
Inductive Synthesis of Functional Programs / Emanuel Kitzelmann ; Ute Schmid ; Martin Muhlpfordt ; Fritz Wysotzki
A Symbolic Computation-Based Expert System for AlzheimerÆs Disease Diagnosis / Begoña Herrero ; Luis M. Laita ; Eugenio Roanes-Lozano ; Víctor Maojo ; Luis de Ledesma ; José Crespo ; Laura Laita
On a Generalised Logicality Theorem / Marc Aiguier ; Diane Bahrami ; Catherine Dubois
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic / Elena Smirnova
The Wright ? Function / Robert M. Corless ; D.J. Jeffrey
Multicontext Logic for Semigroups of Contexts / RolfNossum ; Luciano Serafini
Indefinite Integration as a Testbed for Developments in Multi-agent Systems / J.A. Campbell
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation / Andrew Hunter
A Novel Face Recognition Method / Li Bai ; Yihui Liu
Non-commutative Logic for Hand-Written Character Modeling / Jacqueline Castaing
From Numerical to Symbolic Data during the Recognition of Scenarii / S. Loriette-Rougegrez
On Mathematical Modeling of Networks and Implementation Aspects / Regina Bernhaupt ; Jochen Pfalzgraf
Continuous First-Order Constraint Satisfaction / Stefan Ratschan
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints / Martin Charles Golumbic ; AssafSiani
A Genetic-Based Approach for Satisfiability Problems / Mohamed Tounsi
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope / K. Subramani
Calculemus Regular Talks
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements / Gilles Audemard ; Piergiorgio Bertoli ; Alessandro Cimatti ; Artur Kornilowicz ; Roberto Sebastiani
The Meaning of Infinity in Calculus and Computer Algebra Systems / Michael Beeson ; Freek Wiedijk
Making Conjectures about Maple Functions / Simon Colton
Employing Theory Formation to Guide Proof Planning / Andreas Meier ; Volker Sorge
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms / Temur Kutsia
Combining Generic and Domain Specific Reasoning by Using Contexts / Silvio Ranise
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus / Jurgen Zimmer ; Louise A. Dennis
Yacas: A Do-It-Yourself Symbolic Algebra Environment / Ayal Z. Pinkus ; Serge Winitzki
Focus Windows: A New Technique for Proof Presentation / Florina Piroi ; Bruno Buchberger
Author Index
Invited Talks
Constraint Acquisition / Eugene C. Freuder
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer
53.

図書

図書
Sven Koenig, Robert C. Holte (eds.)
出版情報: Berlin : Springer, c2002  xi, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2371 . Lecture notes in artificial intelligence
所蔵情報: loading…
54.

図書

図書
Andreas Birk, Silvia Coradeschi, Satoshi Tadokoro (eds.)
出版情報: Berlin : Springer, c2002  xix, 763 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2377 . Lecture notes in artificial intelligence
所蔵情報: loading…
55.

図書

図書
David W. Aha, Ian Watson (eds.)
出版情報: Berlin : Springer, c2001  xii, 758 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2080 . Lecture notes in artificial intelligence
所蔵情報: loading…
56.

図書

図書
Meurig Beynon, Chrystopher L. Nehaniv, Kerstin Dautenhahn (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xv, 522 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2117 . Lecture notes in artificial intelligence
所蔵情報: loading…
57.

図書

図書
editors, Peter P. Groumpos, Nick T. Koussoulas, Marios Polycarpou
出版情報: [New York] : IEEE, c2000  xviii, 24, 393 p. ; 29 cm
所蔵情報: loading…
58.

図書

図書
Ning Zhong ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  xvi, 615 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2198 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Web Intelligence (WI) (Research Challenges and Trends in the New Information Age) / Y.Y. Yao ; N. Zhong ; J. Liu ; S. Ohsuga
Invited Talks
Knowledge Is Power: The Semantic Web Vision / J. Hendler ; E.A. Feigenbaum
From Computational Intelligence to Web Intelligence: An Ensemble from Potpourri / N. Cercone
Pedagogical Agents for Web-Based Learning / W.L. Johnson
Ontological Engineering: Foundation of the Next Generation Knowledge Processing / R. Mizoguchip44
Social Networks on the Web and in the Enterprise / P. Raghavan
3D Object Recognition and Visualization on the Web / P.S.P. Wang
Web Information System Environment and Foundations
A Web Proxy Cache Coherency and Replacement Approach / J. Aguilar|vE. Leiss
Content Request Markup Language (CRML): A Distributed Framework for XML-Based Content Publishing / C.-H. Chiu ; K.-C. Liang ; S.-M. Yuan
A Rough Set-Aided System for Sorting WWW Bookmarks / R. Jensen ; Q. Shen
Average-Clicks: A New Measure of Distance on the World Wide Web / Y. Matsuo ; Y. Ohsawa ; M. Ishizuka
Autonomy Oriented Load Balancing in Proxy Cache Servers / K.C. Tsui ; H.L. Liu
Emerging Topic Tracking System / K.K. Bun
On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks / C.J. Butz
Dynamic Expert Group Models for Recommender Systems / D. Kim ; S.W. Kim
The ABC's of Online Community / R. McArthur ; P. Bruza
Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems / H. Wu ; P. De Bra
Web Human-Media Engineering
Towards Formal Specification of Client-Server Interactions for a Wide Range of Internet Applications / V. Doubrovski
Collecting,Visualizing,and Exchanging Personal Interests and Experiences in Communities / Y. Sumi ; K. Mase
Audio Content Description in Sound Databases / A.A. Wieczorkowska ; Z.W. Ras
Intelligent Interfaces for Distributed Web-Based Product and Service Configuration / L. Ardissono ; A. Felfernig ; G. Friedrich ; D. Jannach ; R. Schäfer ; M. Zanker
Using Networked Workshop System to Enhance Creative Design / S.S.J. Lin ; E.Z.-F. Liu ; M.C. Cheng
Discovering Seeds of New Interest Spread from Premature Pages Cited by Multiple Communities / N. Matsumura
Personalized Web Knowledge Management / K. Takeda ; H. Nomiyama
Web Information Management
Event and Rule Services for Achieving a Web-Based Knowledge Network / M. Lee ; S.Y.W. Su ; H. Lam
Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System / H. Stuckenschmidt ; F. van Harmelen
Online Handwritten Signature Verification for Electronic Commerce over the Internet / W.S. Wijesoma ; K.W. Yue ; K.L. Chien ; T.K. Chow
A Data Model for XML Databases / V. Wuwongse ; K. Akama ; C. Anutariya ; E. Nantajeewarawat
Conference Information Management System: Towards a Personal Assistant System / T. Mine ; M. Amamiya ; T. Mitamura
Automatic Intelligence Gathering from the Web: A Case Study in Container Traffic / J. Perdigao ; A. Garg ; T. Barbas ; S. Scheer ; G. Mastrangelo ; G. Rubino
The Work Concept RBAC Model for the Access Control of the Distributed Web Server Environment / W.B. Shim ; S. Park
A New Conceptual Graph Generated Algorithm for Semi-structured Databases / K.F. Wong ; Y.F. Su ; D. Yang ; S. Tang
Web Information Retrieval
A Contextual Term Suggestion Mechanism for Interactive Web Search / C.-K. Huang ; Y.-J. Oyang ; L.-F. Chien
3DGML: A 3-Dimensional Graphic Information Retrieval System / J.H. Hwang ; K.H. Lee ; S. Hwang
An Evolutionary Approach to Automatic Web Page Categorization and Updating / V. Loia ; P. Luongo
Automatic Web-Page Classification by Using Machine Learning Methods / M. Tsukada ; T. Washio ; H. Motoda
A Theory and Approach to Improving Relevance Ranking in Web Retrieval / Z.W. Wang ; R.B. Maguire
A Fast Image-Gathering System on the World-Wide Web Using a PC Cluster / K. Yanai ; M. Shindo ; K. Noshita
MELISSA: Mobile Electronic LSA Internet Server Search Agent / H.D. Brian ; M.H. Garzon
Construction of a Fuzzy Multilingual Thesaurus and Its Application to Cross-Lingual Text Retrieval / R. Chau ; C.-H. Yeh
Declustering Web Content Indices for Parallel Information Retrieval / Y. Chung ; H.-C. Kwon ; S.-H. Chung ; K.R. Ryu
Indexing a Web Site to Highlight Its Content / E. Desmontils ; C. Jacquin
Using Implicit Relevance Feedback in a Web Search Assistant / M. Fasli ; U. Kruschwitz
The Development and Evaluation of an Integrated Imagery Access Engine| / T. Fukumoto ; K. Akahori
Conceptual Information Extraction with Link-Based Search / K.-J. Kim ; S.-B. Cho
World Wide Web-Multilingual Language Resource / F. Li ; H. Sheng ; W. Weisweber
Query by History Tree Manipulation / T. Sakairi
Web-Based Information Retrieval Using Agent and Ontology / K.M. Sim ; P.T. Wong
Content-Based Sound Retrieval for Web Application / C. Wan ; M. Liu ; L. Wang
Web Agents
Collaborative Filtering Using Principal Component Analysis and Fuzzy Clustering / K. Honda ; N. Sugiura ; H. Ichihashi ; S. Araki
iJADE IWShopper: A New Age of Intelligent Mobile Web Shopping System Based on Fuzzy-Neuro Agent Technology / R.S.T. Lee
Wireless Agent Guidance of Remote Mobile Robots: Rough Integral Approach to Sensor Signal Analysis / J.F. Peters ; S. Ramanna ; A. Skowron ; M. Borkowski
Ontology-Based Information Gathering Agents / Y.-J. Chen ; V.-W. Soo
An Effective Conversational Agent with User Modeling Based on Bayesian Network / S.-I. Lee ; C. Sung
Information Fusion for Intelligent Agent-Based Information Gathering / Y. Li
An Adaptive Recommendation System with a Coordinator Agent / M. Lim ; J. Kim
Interactive Web Page Filtering with Relational Learning / M. Okabe ; S. Yamada
A Fuzzy Rule-Based Agent for Web Retrieval-Filtering / S. Vrettos ; A. Stafylopatis
Web Mining and Farming
Implementation Issues and Paradigms of Visual KDD Systems / J. Han
Re-engineering Approach to Build Domain Ontologies / A. Kayed ; R.M. Colomb
Discovery of Emerging Topics between Communities on WWW
Mining Web Logs to Improve Web Caching and Prefetching / Q. Yang ; H.H. Zhang ; I.T.Y. Li ; Y. Lu
Mining Crawled Data and Visualizing Discovered Knowledge / V. Dubois ; M. Quafafou ; B. Habegger
Categorizing Visitors Dynamically by Fast and Robust Clustering of Access Logs / V. Estivill-Castro ; J. Yang
Online Learning for Web Query Generation: Finding Documents Matching a Minority Concept on the Web / R. Ghani ; R. Jones ; D. Mladenic
A Formal Ontology Discovery from Web Documents / N. Ogata
The Variable Precision Rough Set Model for Web Usage Mining / V.U. Maheswari ; A. Siromoney ; K.M. Mehata
Supporting Cooperative Consensus Formation via Ontologies / K. Sumi ; R. Mizoguchi
Web-Based Applications
Web-Based Intelligent Call Center for an Intensive Care Unit / K. Han ; D. Lee
Electronic Homework on the WWW / C. Liu ; L. Zheng ; J. Ji ; C. Yang ; J. Li ; W. Yang
The Shopping Gate-Enabling Role-and Preference-Specific e-Commerce Shopping Experiences / M. Stölze ; M. Strobel
Building Reusable and Adaptable Web-Based Courses / P. Forcheri ; M.T. Molfino ; S. Moretti ; A. Quarati
Group Learning Support System for Software Engineering Education-Web-Based Collaboration Support between the Teacher Side and the Student Groups- / A. Hazeyama ; A. Nakako ; S. Nakajima ; K. Osada
The Intelligent Electronic Shopping System Based on Bayesian Customer Modeling
Leveraging a Web-Aware Self-Organization Map Tool for Clustering and Visualization / S.-T. Li
Experiencing NetPeas: Another Way of Learning
ITMS: Individualized Teaching Material System-Web-Based Exploratory Learning Support System by Adaptive Knowledge Integration- / H. Mitsuhara ; Y. Ochi ; Y. Yano
An Intelligent Sales Assistant for Configurable Products / M. Molina
Reconciling of Disagreeing Data in Web-Based Distributed Systems Using Consensus Methods / N.T. Nguyen
Web Based Digital Resource Library Tracing Author's Quotation / R. Wakita
Author Index
Introduction
Web Intelligence (WI) (Research Challenges and Trends in the New Information Age) / Y.Y. Yao ; N. Zhong ; J. Liu ; S. Ohsuga
Invited Talks
59.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), the IASTED Technical Committee on Neural Networks]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2000  154 p. ; 28 cm
所蔵情報: loading…
60.

図書

図書
edited by Jim Etheredge and Bill Manaris
出版情報: Menlo Park, Calif. : AAAI Press, c2000  xxii, 380 p. ; 28 cm
所蔵情報: loading…
61.

図書

図書
edited by Ingrid Russell and John Kolen
出版情報: Menlo Park, Calif. : AAAI Press, c2001  xxix, 665p. ; 28 cm
所蔵情報: loading…
62.

図書

図書
José R. Dorronsoro (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xxviii, 1382 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2415
所蔵情報: loading…
63.

図書

図書
Mitsuru Ishizuka, Abdul Sattar (eds.)
出版情報: Berlin : Springer, c2002  xx, 623 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2417 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Commercial Applications of Machine Learning for Personalized Wireless Portals / Michael J. Pazzani
Learning, Collecting, and Using Ontological Knowledge for NLP / Eduard Hovy
Hidden Variables in Knowledge Representation / Norman Y. Foo
Intellimedia Systems: Research and Applications at the Intersection of Multimedia and Artificial Intelligence / Thomas Rist
Integration of Multimedia and Art for New Human-ComputerCommunications / Ryohei Nakatsu
Logic and AI Foundation
R-UNSEARCHMO: A Refinement on UNSEARCHMO / Yuyan Chao ; Norimitsu Kawana ; Lifeng He ; Tsuyoshi Nakamura ; Hidenori Itoh
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic / Takahiro Tagawa ; Jingde Cheng
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach / Quoc Bao Vo
Representation and Reasoning of Actions
Representing Actions over Dynamic Domains / Yan Zhang
Consistency of Action Descriptions / Dongmo Zhang ; Samir Chopra
Solving Factored MDPs with Large Action Space Using Algebraic Decision Diagrams / Kee-Eung Kim ; Thomas Dean
Dynamic Fuzziness / Andrzej Buller
Constraint Satisfaction
Distributed Reinforcement of Arc-Consistency / Ahlem Ben Hassine ; Khaled Ghédira
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances / Wenhui Zhang ; Zhuo Huang ; Jian Zhang
Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning / Yutaka Matsuo ; Mitsuru Ishizuka
Foundations for Agents
Hidden Markov Modeling for Multi-agent Systems / Noda Itsuki
Modelling PRS-Like Agents' Mental States / Wayne Wobcke
Genetic Algorithm and Social Simulation / Pinata Winoto
Foundations for Learning
Adaptive Directed Acyclic Graphs for Multiclass Classification / Boonserm Kijsirikul ; Nitiwut Ussivakul ; Surapant Meknavin
Network Optimization through Learning and Pruning in Neuromanifold / Hyunjin Lee ; Hyeyoung Park ; Yillbyung Lee
DIC: A Novel Discrete Incremental Clustering Technique for the Derivation of Fuzzy Membership Functions / W.L. Tung ; C. Quek
Reinforcement Learning
Application of Episodic Q-Learning to a Multi-agent Cooperative Task / Akira Ito
LC-Learning: Phased Method for Average Reward Reinforcement Learning - Analysis of Optimal Criteria - / Taro Konda ; Tomohiro Yamaguchi
LC-Learning: Phased Method for Average Reward Reinforcement Learning - Preliminary Results - / Shinjiro Tensyo
Knowledge Acquisition and Management
Extension of the RDR Method That Can Adapt to Environmental Changes and Acquire Knowledge from Both Experts and Data / Takuya Wada ; Tetsuya Yoshida ; Hiroshi Motoda ; Takashi Washio
Case Generation Method for Constructing an RDR Knowledge Base / Keisei Fujiwara
Data Mining and Knowledge Discovery
Association Rules Using Rough Set and Association Rule Methods / Defit Sarjon ; Noor Md Sap Mohd
Change-Point Estimation Using New Minimum Message Length Approximations / Leigh J. Fitzgibbon ; David L. Dowe ; Lloyd Allison
Knowledge Discovery from Structured Data by Beam-Wise Graph-Based Induction / Takashi Matsuda
Neural Network Learning
BackPOLE: Back Propagation Based on Objective Learning Errors
A Method on Improvement of the Online Mode Error Backpropagation Algorithm for Pattern Recognition / Tae-Seung Lee ; Ho-Jin Choi ; Young-Kil Kwag ; Byong-Won Hwang
Optimizing a Multiple Classifier System / Hirotaka Inoue ; Hiroyuki Narihisa
Learning for Robots
Generalization of Iterative Learning Control for Multiple Desired Trajectories in Robotic Systems / M. Arif ; T. Ishihara ; H. Inooka
Learning Topological Maps from Sequential Observation and Action Data under Partially Observable Environment / Takehisa Yairi ; Masahito Togami ; Koichi Hori
A Saliency Map Model for Active Perception Using Color Information and Local Competitive Mechanism / Kyungjoo Cheoi
Generation of Optimal Biped Walking for Humanoid Robot by Co-evolving Morphology and Controller / Ken Endo ; Funinori Yamasaki ; Takashi Maeno ; Hiroaki Kitano
Multi-agent Applications
Multi-agent Coordination in Planning / Jeroen Valk ; Cees Witteveen
A Multi-agent Based Approach to the Inventory Routing Problem / Yizhi Lao ; Hon Wai Leong
An Agent-Based Hybrid Intelligent System for Financial Investment Planning / Zili Zhang ; Chengqi Zhang
Socially Intelligent Aerial Combat Simulator / Henry Hexmoor ; Xin Zhang
Bayesian Network
Construction of Large-Scale Bayesian Networks by Local to Global Search / Kyu-Baek Hwang ; Jae Won Lee ; Seung-Woo Chung ; Byoung-Tak Zhang
Using Bayesian Networks with Hidden Nodes to Recognise Neural Cell Morphology / Jung-Wook Bang ; Duncan Gillies
Recognizing 100 Speakers Using Homologous Naive Bayes / Hung-Ju Huang ; Chun-Nan Hsu
Document Analysis and Categorization
An Approach to Microscopic Clustering of Terms and Documents / Akiko Aizawa
Effective Methods for Improving Naive Bayes Text Classifiers / Sang-Bum Kim ; Hae-Chang Rim ; DongSuk Yook ; Heui-Seok Lim
Efficiently Clustering Documents with Committees / Patrick Pantel ; Dekang Lin
Topic Extraction from Text Documents Using Multiple-Cause Networks / Jeong-Ho Chang ; Yuseop Kim
A Comparative Study on Statistical Machine Learning Algorithms and Thresholding Strategies for Automatic Text Categorization / Kang Hyuk Lee ; Judy Kay ; Byeong Ho Kang ; Uwe Rosebrock
PATI: An Approach for Identifying and Resolving Ambiguities / Sung-Dong Kim
Internet/Web Intelligence and Bioinformatics
Extracting User Profiles from E-mails Using the Set-Oriented Classifier / Sebon Ku ; Bogju Lee ; Eunyong Ha
Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction / Jaeyoung Yang ; Jungsun Kim ; Kyoung-Goo Doh ; Joongmin Choi
Modified PrefixSpan Method for Motif Discovery in Sequence Databases / Hajime Kitakami ; Tomoki Kanbara ; Yasuma Mori ; Susumu Kuroki ; Yukiko Yamazaki
A Multi-agent Bioinformatics Integration System with Adjustable Autonomy / Konstantinos Karasavvas ; Albert Burger ; Richard Baldock
Intelligent Learning Environments
Using Case-Based Reasoning Approach in Planning Instructional Activities / Rhodora L. Reyes ; Raymund C. Sison
Feature Construction for Student Group Forming Based on Their Browsing Behaviors in an E-learning System / Tiffany Y. Tang ; Keith C. Chan
Web-Based Tutoring System for Computer Security / Chong-woo Woo ; Jin-woo Choi
Face Recognition
A Simple Illumination Normalization Algorithm for Face Recognition / Jaepil Ko ; Eunju Kim ; Hyeran Byun
A Self-Adaptive Architecture and Its Application to Robust Face Identification / Paul Robertson ; Robert Laddaga
Multimedia and Emotion
Realizing Audio-Visually Triggered ELIZA-Like Non-verbal Behaviors / Hiroshi G. Okuno ; Kazuhiro Nakadai
Audio-to-Visual Conversion Using Hidden Markov Models / Soonkyu Lee
Scripting the Bodies and Minds of Life-Like Characters / Helmut Prendinger ; Sylvain Descamps
An Affective Decision Making Agent Architecture Using Emotion Appraisals / Penny Baillie ; Dickson Lukose
Poster Papers
Logic Programming for Agents / Hisashi Hayashi ; Kenta Cho ; Akihiko Ohsuga
Evolutionary Multi-agents System for Prediction of Social Behavior in Large Cities / Marie Piron ; Alain Cardon ; Christophe Cambier
Agent-Based Cooperative Distributed Tutoring Systems / Elhadi Shakshuki ; Trang Dang
A Computational Model of Reasoning as Socially-Constructed Process / Ruediger Oehlmann
Managing Information Complexity of Supply Chains via Agent-Based Genetic Programming / Ken Taniguchi ; Setsuya Kurahashi ; Takao Terano
Semantic Integration of E-business Models Based on Multi-layered Repository / Noriaki Izumi ; Takahira Yamaguchi
Randomization and Uncertain Inference / Henry E. Kyburg ; Choh Man Teng
Checkers Strategy Evolution with Speciated Neural Networks / Kyung-Joong Kim ; Sung-Bae Cho
Generation and Optimization of Fuzzy Neural Network Structure / Zbigniew Świ&acedil;tnicki ; Vladimír Olej
FuzzyDrive: A Fuzzy Rule-Based Auto Pilot System
Implementing NRDR Using OO Database Management System (OODBMS) / Ghassan Beydoun ; Lina Al-Jadir
Using Ripple Down Rules for Actions and Planning / Rex B.H. Kwok
A Generative Dependency Grammar / Stefan Diaconescu
Indonesian Morphological Parser with Minimum Connectivity Cost to Solve Ambiguities / Mohammad Teduh Uliniansyah ; Shun Ishizaki ; Kiyoko Uchiyama
Target Word Selection Using WordNet and Data-Driven Models in Machine Translation
A Study on Using Natural Language as a Computer Communication Protocol / Ichiro Kobayashi ; Michiaki Iwazume ; Shino Iwashita ; Toru Sugimoto ; Michio Sugeno
Automatic Indexing Based on Term Activities / Naohiro Matsumura ; Yukio Ohsawa
Answer Extraction by Flexible Matching, Filtering, and Interpretation / Kyung-Soon Lee ; Jae-Ho Kim ; Key-Sun Choi
A Statistical Identification and Verification Method for Biometrics / Kwanyong Lee
Proposal of a Multimodal Dialogue Description Language / Masahiro Araki ; Kiyoshi Ueda ; Masashi Akita ; Takuya Nishimoto ; Yasuhisa Niimi
Image Classification by Web Images / Keiji Yanai
Real-Time Face Detection and Tracking Using PCA and NN / Chang-Woo Lee ; Yeon-Chul Lee ; Sang-Yong Bak ; Hang-Joon Kim
A Wrapper-Based Approach to Robot Learning Concepts from Images / Nicolas Bredeche ; Jean-Daniel Zucker ; Yann Chevaleyre
An Effective HMM-Based Intrusion Detection System with Privilege Change Event Modeling / Hyuk-Jang Park
A Method on Improving of Enrolling Speed for the MLP-Based Speaker Verification System through Reducing Learning Data / Seung-Hoe Choi
Syntactic Representations of Semantic Merging Operations / Thomas Meyer ; Aditya Ghose
Author Index
Invited Talks
Commercial Applications of Machine Learning for Personalized Wireless Portals / Michael J. Pazzani
Learning, Collecting, and Using Ontological Knowledge for NLP / Eduard Hovy
64.

図書

図書
Donia Scott (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 278 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2443 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Multimodal Speech Synthesis: Improving Information Flow in Dialogue Systems Using 3D Talking Heads / David House ; Björn Granström
Efficient Relational Learning from Sparse Data / LuboÜ Popelínský
Efficient Instance Retraction / E.N. Smirnov ; I.G. Sprinkhuizen-Kuyper ; H.J. van den Herik
Learning Patterns in Multidimensional Space Using Interval Algebra / A. Osmani
A Machine Learning Approach to Automatic Production of Compiler Heuristics / Antoine Monsifrot ; François Bodin ; René Quiniou
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently / E ric Grégoire ; Bertrand Mazure ; Lakhdar Sais
A Heuristic for Planning Based on Action Evaluation / Dimitris Vrakas ; Ioannis Vlahavas
WHAT: Web-Based Haskell Adaptive Tutor / Natalia Lopez ; Manuel Núñez ; Ismael Rodríguez ; Fernando Rubio
Decomposing and Distributing Configuration Problems / Diego Magro ; Pietro Torasso
Direct Adaptive Neural Control with Integral-Plus-State Action / Ieroham Baruch ; Alfredo del Carmen Martinez Q. ; Ruben Garrido ; Boyka Nenkova
ILP Techniques for Free-Text Input Processing / Svetla Boytcheva
A Dempster-Shafer Approach to Physical Database Design / Sunil Choenni ; Henk Blanken
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing / Nestor Miliaev ; Alison Cawsey ; Greg Michaelson
Optimistic vs. Pessimistic Interpretation of Linguistic Negation / Daniel Pacholczyk ; Mohamed Quafafou ; Laurent Garcia
Left Corner Parser for Tree Insertion Grammars / Vicente Carrillo ; Victor J. Diaz
Bulgarian Noun - Definite Article in DATR / Velislava Stoykova
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem / Gaële Simon ; Marianne Flouret ; Bruno Mermet
OCOA: An Open, Modular, Ontology Based Autonomous Robotic Agent Architecture / Feliciano Manzano Casas ; L.A. García
A Replanning Algorithm for a Reactive Agent Architecture / Guido Boella ; Rossana Damiano
A Broker Approach for Multi-agent Scheduling / S.L.M. Lin
Recognition of Common Areas in a Web Page Using a Visualization Approach / MiloÜ Kovačević ; Michelangelo Dilligenti ; Marco Gori ; Veljko Milutinović
A Neural Approach to Abductive Multi-adjoint Reasoning / Jesús Medina ; Enrique Mérida-Casermeiro ; Manuel Ojeda-Aciego
Restricted &Increment;-Trees in Multiple-Valued Logics / I.P. de Guzmán ; A. Valverde
Knowledge Management in Expert System Creator / Daniel Pop ; Viorel Negru
Towards Semantic Goal-Directed Forward Reasoning in Resolution / Seungyeob Choi
Do What We Do to Find What You Want / Christo Dichev
Adapting a Robust Multi-genre NE System for Automatic Content Extraction / Diana Maynard ; Hamish Cunningham ; Kalina Bontcheva ; Marin Dimitrov
The Semantic Web: A Killer App for AI? / Carole Goble
Author Index
Multimodal Speech Synthesis: Improving Information Flow in Dialogue Systems Using 3D Talking Heads / David House ; Björn Granström
Efficient Relational Learning from Sparse Data / LuboÜ Popelínský
Efficient Instance Retraction / E.N. Smirnov ; I.G. Sprinkhuizen-Kuyper ; H.J. van den Herik
65.

図書

図書
Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (eds.)
出版情報: Berlin : Springer, c2002  xiii, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2479 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Natural Language
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars / Liviu Ciortuz
Phrase-Based Statistical Machine Translation / Richard Zens ; Franz Josef Och ; Hermann Ney
Compiling Dynamic Agent Conversations / Pierre Bonzon
Machine Learning - Combined Approaches
Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach / Michael Schwind ; Oliver Wendt
Incremental Fuzzy Decision Trees / Marina Guetova ; Steffen Holldobler ; Hans-Peter Storr
Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems / Michael Borth
Knowledge Representation, Semantic Web, AI Planning
On the Problem of Computing Small Representations of Least Common Subsumers / Franz Baader ; Anni-Yasmin Turhan
Approximate Information Filtering on the Semantic Web / Heiner Stuckenschmidt
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions / The Duy Bui ; Dirk Heylen ; Mannes Poel ; Anton Nijholt
Integrating Function Application in State-Based Planning / Ute Schmid ; Marina Muller ; Fritz Wysotzki
Machine Learning - Neural Networks
Fast Winner-Takes-All Networks for the Maximum Clique Problem / Brijnesh J. Jain
Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data / Andrew Skabar
Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects / Peter Geibel ; Kristina Schädler
Logic Programming - Theorem Proving - Model Checking
The Well-Founded Semantics Is a Stratified Fitting Semantics / Pascal Hitzler ; Matthias Wendt
Axiomatization of Finite Algebras / Jochen Burghardt
Algorithms for Guiding Clausal Temporal Resolution / M. Carmen Fernandez Gago ; Michael Fisher ; Clare Dixon
Vision and Spatial Reasoning
Axiom - A Modular Visual Object Retrieval System / Jochen Wickel ; Pablo Alvarado ; Peter Dorfler ; Thomas Kruger ; Karl-Friedrich Kraiss
Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System / Michael Arens ; Hans-Hellmut Nagel
Qualitative Velocity and Ball Interception / Frieder Stolzenburg ; Oliver Obst ; Jan Murray
Spatial Inference - Learning vs. Constraint Solving / Carsten Gips ; Petra Hofstedt
Invited Presentations
From Simulated Dialogues to Interactive Performances with Virtual Actors / Elisabeth Andre
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications / Michael Wooldridge
Semantic Web Enabled Web Services / Dieter Fensel
DFG Priority Programs
DFG Priority Program RoboCup (SPP-1125): Cooperating Teams of Mobile Robots in Dynamic Environments / Thomas Christaller
DFG Priority Program (SPP-1083): Intelligent Agents and Realistic Commercial Application Scenarios / Stefan Kirn
DFG Priority Program (SPP-1077): Socionics - Investigating and Modelling Artificial Societies / Thomas Malsch
Author Index
Natural Language
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars / Liviu Ciortuz
Phrase-Based Statistical Machine Translation / Richard Zens ; Franz Josef Och ; Hermann Ney
66.

図書

図書
editors, Cihan H. Dagli ... [et al.]
出版情報: New York : ASME Press, 2007  xvi, 655 p. ; 24 cm
シリーズ名: ASME Press series on intelligent engineering systems through artificial neural networks ; v. 17
所蔵情報: loading…
67.

図書

図書
Luc Lamontagne, Mario Marchand (eds.)
出版情報: Berlin : Springer, c2006  xiii, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4013 . Lecture notes in artificial intelligence
所蔵情報: loading…
68.

図書

図書
edited by Chengqing Zong ; [sponsors, Chinese Association for Artificial Intelligence, China ... et al. ; technical co-sponsors, IEEE Signal Processing Society, IEEE Systems, Man and Cybernetics Society, IEEE Beijing Section]
出版情報: Piscataway, New Jersey : IEEE, c2003  10, ix, 837, 3 p. ; 29 cm
所蔵情報: loading…
69.

図書

図書
edited by Lucia Lo Bello and Thilo Sauter ; co-sponsored by Università degli Studi di Catania, IEEE Industrial Electronics Society ; with financial contributions from Iconics ... [et al.]
出版情報: Piscataway, NJ : IEEE, c2005  2 v. in 4 (XLII, 1120, XXIV, 1044, [8] p.) ; 28 cm
所蔵情報: loading…
70.

図書

図書
Jérôme Euzenat, John Domingue (eds.)
出版情報: Berlin : Springer, c2006  xiii, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4183 . Lecture notes in artificial intelligence
所蔵情報: loading…
71.

図書

図書
Roque Marín ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xv, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4177 . Lecture Notes in Artificial Intelligence
所蔵情報: loading…
72.

図書

図書
Bogdan Gabrys, Robert J. Howlett, Lakhmi C. Jain (eds.)
出版情報: Berlin : Springer, c2006  3 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4251-4253 . Lecture Notes in Artificial Intelligence
所蔵情報: loading…
73.

図書

図書
Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende (eds.)
出版情報: Berlin : Springer, c2006  xxiii, 635 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4140 . Lecture notes in artificial intelligence
所蔵情報: loading…
74.

図書

図書
edited by B. Plimmer ; sponsors, The University of Canterbury, New Zealand Chapter of ACM SIGCHI
出版情報: New York, N.Y. : ACM Press, c2006  139 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 158
所蔵情報: loading…
75.

図書

図書
edited by Beryl Plimmer and Robert Amor ; sponsores, The University of Auckland, New Zealand Chapter of ACM SIGCHI
出版情報: New York, N.Y. : ACM Press, c2005  100 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 158
所蔵情報: loading…
76.

図書

図書
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, the Hong Kong University of Science and Technology ; edited by Andrew Lim]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xv, 718 p. ; 28 cm
所蔵情報: loading…
77.

図書

図書
Ansgar Bredenfeld ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xvii, 727 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4020 . Lecture notes in artificial intelligence
所蔵情報: loading…
78.

図書

図書
Takashi Washio ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4012 . Lecture notes in artificial intelligence
所蔵情報: loading…
79.

図書

図書
editors: Michael J. Fasolka ... [et al.]
出版情報: Warrendale, Pa. : Materials Research Society, c2006  xi, 356 p. ; 24 cm
シリーズ名: Materials Research Society symposium proceedings ; v. 894
所蔵情報: loading…
80.

図書

図書
Hugues Bersini, Jorge Carneiro (eds.)
出版情報: Berlin : Springer, c2006  xii, 460 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4163
所蔵情報: loading…
目次情報: 続きを見る
Computer Simulation of Classical Immunology
Did Germinal Centers Evolve Under Differential Effects of Diversity vs Affinity? / Jose Faro ; Jaime Combadao ; Isabel Gordo
Modelling the Control of an Immune Response Through Cytokine Signalling / Thiago Guzella ; Tomaz Mota-Santos ; Joaquim Uchoa ; Walmir Caminhas
Modeling Influenza Viral Dynamics in Tissue / Catherine Beauchemin ; Stephanie Forrest ; Frederick T. Koster
Cellular Frustration: A New Conceptual Framework for Understanding Cell-Mediated Immune Responses / F. Vistulo de Abreu ; E.N.M. Nolte-'Hoen ; C.R. Almeida ; D.M. Davis
The Swarming Body: Simulating the Decentralized Defenses of Immunity / Christian Jacob ; Scott Steil ; Karel Bergmann
Computer Simulation of Idiotypic Network
Analysis of a Growth Model for Idiotypic Networks / Emma Hart
Randomly Evolving Idiotypic Networks: Analysis of Building Principles / Holger Schmidtchen ; Ulrich Behn
The Idiotypic Network with Binary Patterns Matching / Krzysztof Trojanowski ; Marcin Sasin
Tolerance vs Intolerance: How Affinity Defines Topology in an Idiotypic Network / Hugues Bersini ; Francisco Santos
ImmunoInformatics Conceptual Papers
On Permutation Masks in Hamming Negative Selection / Thomas Stibor ; Jonathan Timmis ; Claudia Eckert
Gene Libraries: Coverage, Efficiency and Diversity / Steve Cayzer ; Jim Smith
Immune System Modeling: The OO Way
A Computational Model of Degeneracy in a Lymph Node / Paul S. Andrews ; Jon Timmis
Structural Properties of Shape-Spaces / Werner Dilger
Pattern Recognition Type of Application
Integrating Innate and Adaptive Immunity for Intrusion Detection / Gianni Tedesco ; Jamie Twycross ; Uwe Aickelin
A Comparative Study on Self-tolerant Strategies for Hardware Immune Systems / Xin Wang ; Wenjian Luo ; Xufa Wang
On the Use of Hyperspheres in Artificial Immune Systems as Antibody Recognition Regions
A Heuristic Detector Generation Algorithm for Negative Selection Algorithm with Hamming Distance Partial Matching Rule / Zeming Zhang
A Novel Approach to Resource Allocation Mechanism in Artificial Immune Recognition System: Fuzzy Resource Allocation Mechanism and Application to Diagnosis of Atherosclerosis Disease / Kemal Polat ; Sadik Kara ; Fatma Latifoglu ; Salih Gunes
Recognition of Handwritten Indie Script Using Clonal Selection Algorithm / Utpal Garain ; Mangal P. Chakraborty ; Dipankar Dasgupta
Optimization Type of Application
Diophantine Benchmarks for the B-Cell Algorithm / P. Bull ; A. Knowles ; G. Tedesco ; A. Hone
A Population Adaptive Based Immune Algorithm for Solving Multi-objective Optimization Problems / Jun Chen ; Mahdi Mahfouf
Omni-aiNet: An Immune-Inspired Approach for Omni Optimization / Guilherme P. Coelho ; Fernando J. Von Zuben
Immune Procedure for Optimal Scheduling of Complex Energy Systems / Enrico Carpaneto ; Claudio Cavallero ; Fabio Freschi ; Maurizio Repetto
Aligning Multiple Protein Sequences by Hybrid Clonal Selection Algorithm with Insert-Remove-Gaps and BlockShuffling Operators / V. Cutello ; D. Lee ; G. Nicosia ; M. Pavone ; I. Prizzi
Control and Time-Series Type of Application
Controlling the Heating System of an Intelligent Home with an Artificial Immune System / Martin Lehmann
Don't Touch Me, I'm Fine: Robot Autonomy Using an Artificial Innate Immune System / Mark Neal ; Jan Feyereisl ; Rosario Rascuna ; Xiaolei Wang
Price Trackers Inspired by Immune Memory / William O. Wilson ; Phil Birkin
Theoretical Basis of Novelty Detection in Time Series Using Negative Selection Algorithms / Rafal Pasek
Danger Theory Inspired Application
Danger Is Ubiquitous: Detecting Malicious Activities in Sensor Networks Using the Dendritic Cell Algorithm / Jungwon Kim ; Peter Bentley ; Christian Wallenta ; Mohamed Ahmed ; Stephen Hailes
Articulation and Clarification of the Dendritic Cell Algorithm / Julie Greensmith
Text Mining Application
Immune-Inspired Adaptive Information Filtering / Nikolaos Nanas ; Anne de Roeck ; Victoria Uren
An Immune Network for Contextual Text Data Clustering / Krzysztof Ciesielski ; Slawomir T. Wierzchon ; Mieczyslaw A. Klopotek
An Immunological Filter for Spam / George B. Bezerra ; Tiago V. Barra ; Hamilton M. Ferreira ; Helder Knidel ; Leandro Nunes de Castro
Author Index
Computer Simulation of Classical Immunology
Did Germinal Centers Evolve Under Differential Effects of Diversity vs Affinity? / Jose Faro ; Jaime Combadao ; Isabel Gordo
Modelling the Control of an Immune Response Through Cytokine Signalling / Thiago Guzella ; Tomaz Mota-Santos ; Joaquim Uchoa ; Walmir Caminhas
81.

図書

図書
Salem Benferhat, Philippe Besnard (eds.)
出版情報: Berlin : Springer, c2001  xiv, 818 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2143 . Lecture notes in artificial intelligence
所蔵情報: loading…
82.

図書

図書
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII), the American Association for Artificial Intelligence (AAAI)
出版情報: San Francisco, CA : Distributed by Morgan Kaufmann, c2001  2 v. ; 28 cm.
所蔵情報: loading…
83.

図書

図書
Christian Jacob ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3627
所蔵情報: loading…
84.

図書

図書
José Mira, José R. Álvarez (eds.)
出版情報: Berlin : Springer, c2005  xxiv, 532 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3561 . First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings ; pt. 1
所蔵情報: loading…
85.

図書

図書
José Mira, José R. Álvarez (eds.)
出版情報: Berlin : Springer, c2005  xxiii, 636 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3562 . First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings ; pt. 2
所蔵情報: loading…
86.

図書

図書
co-sponsors, IEEE Industrial Electronics Society ... [et al.]
出版情報: Piscataway, N.J. : IEEE, c2004  xiv, 696 p. ; 30 cm
所蔵情報: loading…
87.

図書

図書
Massimo De Gregorio ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 556 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3704
所蔵情報: loading…
88.

図書

図書
edited by Max Bramer, Vladan Devedzic
出版情報: Boston, Mass. : Kluwer Academic Publishers, c2004  xiv, 484 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 154
所蔵情報: loading…
89.

図書

図書
IEEE International Workshop on Robot and Human Interactive Communication ; IEEE Industrial Electronics Society
出版情報: Piscataway, N.J. : IEEE, c2005  xxi, 734, 5 p. ; 28 cm
所蔵情報: loading…
90.

図書

図書
Ulrich Furbach (ed.)
出版情報: Berlin : Springer, c2005  xiii, 408 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3698 . Lecture notes in artificial intelligence
所蔵情報: loading…
91.

図書

図書
Stefania Bandini, Sara Manzoni (eds.)
出版情報: Berlin : Springer, c2005  xiv, 614 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3673 . Lecture notes in artificial intelligence
所蔵情報: loading…
92.

図書

図書
IEEE International Symposium on Intelligent Control ; Mediterranean Conference on Control and Automation ; Institute of Electrical and Electronics Engineers ; IEEE Control Systems Society
出版情報: Piscataway : [IEEE Service Center], c2005  2 v. (xliv, 1596 p.) ; 29 cm
所蔵情報: loading…
93.

図書

図書
Andreas Butz, Antonio Krüger, Patrick Olivier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 163 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3031
所蔵情報: loading…
94.

図書

図書
Ahmed Y. Tawfik, Scott D. Goodwin (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3060 . Lecture notes in artificial intelligence
所蔵情報: loading…
95.

図書

図書
Christoph Bussler, Dieter Fensel (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 522 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3192 . Lecture notes in artificial intelligence
所蔵情報: loading…
96.

図書

図書
Raúl Monroy ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xvii, 923 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2972 . Lecture notes in artificial intelligence
所蔵情報: loading…
97.

図書

図書
Carlos Bento, Amílcar Cardoso, Gaël Dias (eds.)
出版情報: Berlin : Springer, c2005  xviii, 704 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3808 . Lecture notes in artificial intelligence
所蔵情報: loading…
98.

図書

図書
Susanne Biundo, Thom Frühwirth, Günther Palm (eds.)
出版情報: Berlin : Springer, c2004  xi, 465 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3238 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Automated Reasoning Tools for Molecular Biology / François Fages
ΩMega: Computer Supported Mathematics / Jörg Siekmann ; Christoph Benzmüller
An Overview of Planning Technology in Robotics / Malik Ghallab
SmartWeb: Mobile Applications of the Semantic Web / Wolfgang Wahlster
Machine Learning for Autonomous Robots / Martin Riedmiller
Natural Language Processing
Generation of Sentence Parse Trees Using Parts of Speech / Tunga Güngör
Application of Machine Learning Techniques to the Re-ranking of Search Results / Martin Buchholz ; Dirk Pflüger ; Josiah Poon
A Pragmatics-First Approach to the Analysis and Generation of Dialogues / Bernd Ludwig
Hybrid Natural Language Generation in a Spoken Language Dialog System / Martin Klarner
Error-Tolerant Finite-State Lookup for Trademark Search / Andreas Eisele ; Tim vor der Brück
Knowledge Representation and Ontologies
Mining Hierarchical Temporal Patterns in Multivariate Time Series / Fabian Mörchen ; Alfred Ultsch
Using Behavioral Knowledge for Situated Prediction of Movements / Michael Arens ; Artur Ottlik ; Hans-Hellmut Nagel
Integration of Manual and Automatic Text Categorization.
A Categorization Workbench for Text-Based Email and Spam / Qin Sun ; Christoph Schommer ; Alexander Lang
Model Based Deduction for Database Schema Reasoning / Peter Baumgartner ; Ulrich Furbach ; Margret Gross-Hardt ; Thomas Kleemann
Planning and Search
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study / Sebastian Trüg ; Jörg Hoffmann ; Bernhard Nebel
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks / Stefan Edelkamp
Decision-Theoretic Planning for Playing Table Soccer / Moritz Tacke ; Thilo Weigel
External A* / Shahid Jabbar ; Stefan Schrödl
Neural Networks and Machine Learning
Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition / Brijnesh J. Jain ; Peter Geibel ; Fritz Wysotzki
Genre Classification of Web Pages / Sven Meyer zu Eissen ; Benno Stein
Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices / è arunas Raudys
Semiring Artificial Neural Networks and Weighted Automata.
And an Application to Digital Image Encoding / Sebastian Bader ; Steffen Hölldobler ; Alexandre Scalzitti
A New Method to Fit a Linear Regression Model for Interval-Valued Data / Francisco de A.T. de Carvalho ; Eufrasio de A. Lima Neto ; Camilo P. Tenorio
Reasoning
Specifying Abnormal Action Qualifications with Sensing in FLUX / Yves Martin
On-Line Decision-Theoretic Golog for Unpredictable Domains / Alexander Ferrein ; Christian Fritz ; Gerhard Lakemeyer
Relation Variables in Qualitative Spatial Reasoning / Sebastian Brand
Default Reasoning over Domains and Concept Hierarchies / Pascal Hitzler
Improving Fault Localization of Programs by Using Labeled Dependencies / Rong Chen ; Daniel Köb ; Franz Wotawa
Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study / Christophe Mues ; Jan Vanthienen
Modeling of Tutoring Processes in Intelligent Tutoring Systems / Alke Martens ; Adelinde M. Uhrmacher
Robotics and Machine Perception
A New Method for Asynchronous Multisensor Information Fusion / Kejun Zhang ; Jianbo Su
Adaptive Vision for Playing Table Soccer / Dapeng Zhang ; Klaus Rechert
Shape-Based Robot Mapping / Diedrich Wolter ; Longin J. Latecki ; Rolf Lakämper ; Xinyui Sun
Vision-Based Facial and Eye Gaze Tracking System / Kang Ryoung Park
Author Index
Invited Talks
Automated Reasoning Tools for Molecular Biology / François Fages
ΩMega: Computer Supported Mathematics / Jörg Siekmann ; Christoph Benzmüller
99.

図書

図書
Giuseppe Nicosia ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3239
所蔵情報: loading…
目次情報: 続きを見る
Applications of Artificial Immune Systems (Technical Stream)
Negative Selection Algorithm for Aircraft Fault Detection / D. Dasgupta ; K. KrishnaKumar ; D. Wong ; M. Berry
A Hierarchical Immune Network Applied to Gene Expression Data / George B. Bezerra ; Leandro N. de Castro ; Fernando J. Von Zuben
Artificial Immune Regulation (AIR) for Model-Based Fault Diagnosis / Guan-Chun Luh ; Chun-Yin Wu ; Wei-Chong Cheng
Optimal Circuit Design Using Immune Algorithm / Adem Kalinli
Conceptual, Formal, and Theoretical Frameworks (Conceptual Stream)
Towards a Conceptual Framework for Artificial Immune Systems / Susan Stepney ; Robert E. Smith ; Jonathan Timmis ; Andy M. Tyrrell
Immunologic Responses Manipulation of AIS Agents / Henry Y.K. Lau ; Vicky W.K. Wong
Optima, Extrema, and Artificial Immune Systems / Andrew Hone ; Johnny Kelsey
Artificial Immune Systems for Robotics (Technical Stream)
An Immuno Control Framework for Decentralized Mechatronic Control / Albert Ko ; H.Y.K. Lau ; T.L. Lau
AIS Based Robot Navigation in a Rescue Scenario / Michael Krautmacher ; Werner Dilger
Reactive Immune Network Based Mobile Robot Navigation / Wei-Wen Liu
Emerging Metaphors (Conceptual Stream)
A Fractal Immune Network / Peter J. Bentley ; Jon Timmis
Nootropia: A User Profiling Model Based on a Self-Organising Term Network / Nikolaos Nanas ; Victoria S. Uren ; Anne de Roeck
Towards Danger Theory Based Artificial APC Model: Novel Metaphor for Danger Susceptible Data Codons / Anjum Iqbal ; Mohd Aizani Maarof
Online Negative Databases / Fernando Esponda ; Elena S. Ackley ; Stephanie Forrest ; Paul Helman
Special Session on Immunoinformatics
Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires / Pedro A. Reche ; Ellis L. Reinherz
BcePred: Prediction of Continuous B-Cell Epitopes in Antigenic Sequences Using Physico-chemical Properties / Sudipto Saha ; G.P.S. Raghava
Integration of Immune Models Using Petri Nets / Dokyun Na ; Inho Park ; Kwang H. Lee ; Doheon Lee
MHC Class I Epitope Binding Prediction Trained on Small Data Sets / Claus Lundegaard ; Morten Nielsen ; Kasper Lamberth ; Peder Worning ; Christina Sylvester-Hvid ; Søren Buus ; Søren Brunak ; Ole Lund
Theoretical and Experimental Studies on Artificial Immune Systems (Technical Stream)
Convergence Analysis of a Multiobjective Artificial Immune System Algorithm / Mario Villalobos-Arias ; Carlos A. Coello Coello ; Onésimo Hernández-Lerma
A Comparison of Immune and Neural Computing for Two Real-Life Tasks of Pattern Recognition / Alexander O. Tarakanov ; Yuri A. Tarakanov
An Artificial Immune System Based Visual Analysis Model and Its Real-Time Terrain Surveillance Application / György Cserey ; Wolfgang Porod ; Tamás Roska
Exploring the Capability of Immune Algorithms: A Characterization of Hypermutation Operators / Vincenzo Cutello ; Giuseppe Nicosia ; Mario Pavone
Future Applications (Conceptual Stream)
Exploiting Immunological Properties for Ubiquitous Computing Systems / Philipp H. Mohr ; Nick Ryan
A Robust Immune Based Approach to the Iterated Prisoner's Dilemma / Oscar M. Alonso ; Fernando Nino ; Marcos Velez
Artificial Innate Immune System: An Instant Defence Layer of Embryonics / X. Zhang ; G. Dragffy ; A.G. Pipe ; Q.M. Zhu
Immune System Approaches to Intrusion Detection - A Review / Uwe Aickelin ; Julie Greensmith ; Jamie Twycross
Multimodal Search with Immune Based Genetic Programming / Yoshihiko Hasegawa ; Hitoshi Iba
Networks (Technical Stream)
An Artificial Immune System for Misbehavior Detection in Mobile Ad-Hoc Networks with Virtual Thymus, Clustering, Danger Signal, and Memory Detectors / Slaviša Sarafijanović ; Jean-Yves Le Boudec
Developing Efficient Search Algorithms for P2P Networks Using Proliferation and Mutation / Niloy Ganguly ; Andreas Deutsch
Modelling (Conceptual Stream)
A Game-Theoretic Approach to Artificial Immune Networks
Modelling Immune Memory for Prediction and Computation / W.O. Wilson ; S.M. Garrett
Immunity Through Swarms: Agent-Based Simulations of the Human Immune System / Christian Jacob ; Julius Litorco ; Leo Lee
Distinguishing Properties of Artificial Immune Systems (Conceptual Stream)
Studies on the Implications of Shape-Space Models for Idiotypic Networks / Emma Hart ; Peter Ross
Exploiting Parallelism Inherent in AIRS, an Artificial Immune Classifier / Andrew Watkins
An Overview of Computational and Theoretical Immunology / Alan S. Perelson
Author Index
Applications of Artificial Immune Systems (Technical Stream)
Negative Selection Algorithm for Aircraft Fault Detection / D. Dasgupta ; K. KrishnaKumar ; D. Wong ; M. Berry
A Hierarchical Immune Network Applied to Gene Expression Data / George B. Bezerra ; Leandro N. de Castro ; Fernando J. Von Zuben
100.

図書

図書
Bruno Buchberger, John A. Campbell (eds.)
出版情報: Berlin : Springer, c2004  x, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3249 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼