close
1.

図書

図書
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
2.

図書

図書
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
3.

図書

図書
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
4.

図書

図書
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…
5.

図書

図書
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…
6.

図書

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

図書

図書
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
8.

図書

図書
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
9.

図書

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

図書

図書
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…
11.

図書

図書
Ryszard Kowalczyk ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2112 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Applications of Artificial Intelligence in Industry / I:
Artificial Intelligence in Industry / Graham J. Williams ; Dickson Lukose
Applying Behavior-Oriented Robotics to a Mobile Security Device / Andreas Birk ; Holger Kenn
Ontology Design and Its Application in the Petroleum Remediation Domain / Lin-Li Chen ; Christine W. Chan
A Sales Agent for Website Personalization / Weiqin Chen ; Ryan Shaw ; Leif Mortenson ; Tom Foley ; Riichiro Mizoguchi
Anomaly Detection of Copmuter Usage Using Artificial Intelligence Techniques / Jongho Choy ; Sung-Bae Cho
Application of Self-Organizing Maps to Classification and Browsing of FAQ E-mails / Hyun-Don Kim
Model Based Program Specification and Program Generation - In a Case of Vehicle-Engine Control System Design / Setsuo Ohsuga ; Shunsuke Chigusa ; Katsuyuki Sugaya
Classification Based upon Frequent Patterns / Wim Pijls ; Rob Potharst
An Evolutionary Approach to Constraint-Based Timetabling / Dharmendra Sharma ; Nivlesh Chandra
BOKS: A Rule-Based System in Support of the Dutch Building Materials Regulations / Pieter Spronck ; Klaas Schilstra
Using XML as a Language Interface for AI Applications / Said Tabet ; Prabhakar Bhogaraju ; David Ash
INFOSHOP: A Decision Support Tool for Local Government Regulatory Advice / Ian Watson
Using Boosting to Detect Noisy Data / Virginia Wheway
Artificial Intelligence in Electronic Commerce / II:
Conceptual Structures for Tendering Ontology / Ryszard Kowalczyk ; Maria Lee ; Ahmad Kayed ; Robert M. Colomb
Virtual Enterprise Design - BDI Agents vs. Objects / Iyad Rahwan ; Yun Yang
Agent Based Architecture for Internet Marketing / Sukunesan Sinnappan ; Mary-Anne Williams ; Siva Muthaly
Possibilistic Reasoning for Intelligent Payment Agents / On Wong ; Raymond Lau
A Web-Based Negotiation Agent Using CBR / Dong Mei Zhang ; Wai Yat Wong
Intelligent Information Agents / III:
Relationships between Logic Programming and RDF / Seng Wai Loke ; Harold Boley
An Approach to Building Mobile Intelligent Agents Based on Anytime Migration / Naoki Fukuta ; Takayuki Ito ; Toramatsu Shintani
Knowledge-Based Information Agents / Xiaoying Gao ; Leon Sterling
Designing Perception Modules to Shape Information for Agents / Clint Heinze ; Adrian Pearce ; Simon Goss
Design of a Visulization Agent for WWW Information / Hironori Hiraishi ; Hiroshi Sawai ; Fumio Mizoguchi
Revisable Analysis and Design by Actors Interaction: Emergency Case Study / Hassen Kriaa ; Guy Gouardères
A Logic-Based Approach for Adaptive Information Filtering Agents / Arthur H.M. ter Hofstede ; Peter D. Bruza
The User Agent: An Approach for Service and Profile Management in Wireless Access Systems / Carsten Pils ; Jens Hartmann
System Analysis of Agent-Based LCC Information Gathering / Tiemei Irene Zhang ; Elizabeth Kendall
Teamwork and Adjustable Autonomy in Agents / IV:
A Communication Protocol Supporting Dynamic Autonomy Agreements in Multi-agent Systems / Nancy E. Reed ; K. Suzanne Barber ; Cheryl E. Martin ; Ryan M. McKay
Designing Human-Centered Autonomous Agents / Gregory Dorais ; David Kortenkamp
A Cognitive Model of Situated Autonomy / Henry Hexmoor
Designing an Architecture for Adjustably Autonomous Robot Teams
Making Adjustable Autonomy Easier with Teamwork / Paul Scerri
Dimensions of Adjustable Autonomy
Author Index
Applications of Artificial Intelligence in Industry / I:
Artificial Intelligence in Industry / Graham J. Williams ; Dickson Lukose
Applying Behavior-Oriented Robotics to a Mobile Security Device / Andreas Birk ; Holger Kenn
12.

図書

図書
Akinori Yonezawa, Satoshi Matsuoka (eds.)
出版情報: Berlin : Springer, c2001  xi, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2192
所蔵情報: loading…
13.

図書

図書
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
14.

図書

図書
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
15.

図書

図書
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…
16.

図書

図書
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
17.

図書

図書
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
18.

図書

図書
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
19.

図書

図書
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…
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.

図書

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

図書

図書
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…
23.

図書

図書
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…
24.

図書

図書
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…
25.

図書

図書
Floriana Esposito (ed.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2001  xii, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2175 . Lecture notes in artificial intelligence
所蔵情報: loading…
26.

図書

図書
Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)
出版情報: Berlin : Springer, c2001  xiii, 470 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2174 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
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…
28.

図書

図書
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…
29.

図書

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

図書

図書
Bamshad Mobasher, Sarabjot Singh Anand (eds.)
出版情報: Berlin : Springer, c2005  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3169 . Lecture notes in artificial intelligence
所蔵情報: loading…
31.

図書

図書
Alexander Gelbukh, Álvaro de Albornoz, Hugo Terashima-Marín (eds.)
出版情報: Berlin : Springer, c2005  xxvi, 1198 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3789 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書

図書
Shichao Zhang, Ray Jarvis (eds.)
出版情報: Berlin : Springer, c2005  xxvii, 1344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3809 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書

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

図書

図書
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…
35.

図書

図書
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…
36.

図書

図書
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…
37.

図書

図書
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…
38.

図書

図書
Daniel Polani ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xvi, 767 p. ; 24 cm.
シリーズ名: Lecture notes in computer science ; 3020 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Overview and Roadmap
Overview of RoboCup 2003 Competition and Conferences / Enrico Pagello ; Emanuele Menegatti ; Ansgar Bredenfeld ; Paulo Costa ; Thomas Christaller ; Adam Jacoff ; Jeffrey Johnson ; Martin Riedmiller ; Alessandro Saffiotti ; Takashi Tomoichi
RoboCup: Yesterday, Today, and Tomorrow Workshop of the Executive Committee in Blaubeuren, October 2003 / Hans-Dieter Burkhard ; Minoru Asada ; Andrea Bonarini ; Daniele Nardi ; Claude Sammut ; Elizabeth Sklar ; Manuela Veloso
Invited Papers
Challenges in Robust Situation Recognition through Information Fusion for Mission Criticial Multi-agent Systems / Hiroaki Kitano
On Role Allocation in RoboCup / Brian P. Gerkey ; Maja J. Matarić
On the Role of Quantitative Descriptions of Behaviour in Mobile Robotics Research / Ulrich Nehmzow
Technical Papers
Complexity Science and Representation in Robot Soccer / Blaine A. Price
Recognition and Prediction of Motion Situations Based on a Qualitative Motion Description / Andrea Miene ; Ubbo Visser ; Otthein Herzog
Evaluating Team Performance at the Edge of Chaos / Mikhail Prokopenko ; Peter Wang
Hidden Markov Modeling of Team-Play Synchronization / Itsuki Noda
Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL / Martin Lötzsch ; Joscha Bach ; Matthias Jüngel
Feature-Based Declarative Opponent-Modelling / Timo Steffens
Scenario-Based Teamworking, How to Learn, Create, and Teach Complex Plans? / Ali Ajdari Rad ; Navid Qaragozlou ; Maryam Zaheri
Specifying Agent Behaviors with UML Statecharts and StatEdit / Jan Murray
Echo State Networks for Mobile Robot Modeling and Control / Paul G. Plöger ; Adriana Arghir ; Tobias Günther ; Ramin Hosseiny
Model and Behavior-Based Robotic Goalkeeper / Hans Lausen ; Jakob Nielsen ; Michael Nielsen ; Pedro Lima
Evolving Visual Object Recognition for Legged Robots / Juan Cristóbal Zagal ; Javier Ruiz-del-Solar ; Pablo Guerrero ; Rodrigo Palma
Coaching Advice and Adaptation / Patrick Riley
Technical Solutions of TsinghuAeolus for Robotic Soccer / Yao Jinyi ; Lao Ni ; Yang Fan ; Cai Yunpeng ; Sun Zengqi
A Real-Time Auto-Adjusting Vision System for Robotic Soccer / Jan Hoffmann
Knowledge-Based Autonomous Dynamic Colour Calibration / Daniel Cameron ; Nick Barnes
Playing Robot Soccer under Natural Light: A Case Study / Gerd Mayer ; Hans Utz ; Gerhard K. Kraetzschmar
Tracking Regions / Felix von Hundelshausen ; Raúl Rojas
Fast and Robust Edge-Based Localization in the Sony Four-Legged Robot League / Thomas Röfer
A Symmetry Operator and Its Application to the RoboCup / Kai Huebner
RoboCup as an Introduction to CS Research / Peter Stone
RoboCup in Higher Education: A Preliminary Report / Simon Parsons
Scaffolding Children's Robot Building and Programming Activities / Peta Wyeth ; Mark Venz ; Gordon Wyeth
Planning Trajectories in Dynamic Environments Using a Gradient Method / Alessandro Farinelli ; Luca Iocchi
Local Multiresolution Path Planning / Sven Behnke
A Humanoid Approaches to the Goal - Reinforcement Learning Based on Rhythmic Walking Parameters / Yutaka Katoh ; Masaki Ogino ; Koh Hosoda
Design of Walking Gaits for Tao-Pie-Pie, a Small Humanoid Robot / Jacky Baltes ; Patrick Lam
ProRobot - Predicting the Future of Humanoid Robots / Ralf Regele ; Paul Levi ; Wolfgang Bott
Traction Monitoring for Collision Detection with Legged Robots / Michael J. Quinlan ; Craig L. Murch ; Richard H. Middleton ; Stephan K. Chalup
Multi-robot Control in Highly Dynamic, Competitive Environments / David Ball
Developing Comprehensive State Estimators for Robot Soccer / Thorsten Schmitt ; Robert Hanek ; Michael Beetz
Cooperative Soccer Play by Real Small-Size Robot / Kazuhito Murakami ; Shinya Hibino ; Yukiharu Kodama ; Tomoyuki Iida ; Kyosuke Kato ; Tadashi Naruse
On-Board Vision Using Visual-Servoing for RoboCup F-180 League Mobile Robots / Paul Lee ; Tim Dean ; Andrew Yap ; Dariusz Walter ; Les Kitchen
A Plugin-Based Architecture for Simulation in the F2000 League / Alexander Kleiner ; Thorsten Buchheim
Development of a Simulator of Environment and Measurement for Autonomous Mobile Robots Considering Camera Characteristics / Kazunori Asanuma ; Kazunori Umeda ; Ryuichi Ueda ; Tamio Arai
Simulation League: The Next Generation / Marco Kögler ; Oliver Obst
Posters
Educational Features of Malaysian Robot Contest / Amir A. Shafie ; Zalinda Baharum
A Hybrid Software Platform for Sony AIBO Robots / Dragos Golubovic ; Bo Li ; Huosheng Hu
A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment / Jia Jianqiang ; Chen Weidong ; Xi Yugeng
Trot Gait Design Details for Quadrupeds / Vincent Hugel ; Pierre Blazevic ; Olivier Stasse ; Patrick Bonnin
The High-Level Communication Model for Multi-agent Coordination in the RoboCupRescue Simulator / Stef B.M. Post ; Maurits L. Fassaert ; Arnoud Visser
Pseudo-local Vision System Using Ceiling Camera for Small Multi-robot Platforms / Yasuhiro Masutani ; Yukihisa Tanaka ; Tomoya Shigeta ; Fumio Miyazaki
Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. A Response to a Technical Challenge
Self-localization Method Using Two Landmarks and Dead Reckoning for Autonomous Mobile Soccer Robots / Akira Motomura ; Takeshi Matsuoka ; Tsutomu Hasegawa
Speed-Dependent Obstacle Avoidance by Dynamic Active Regions / Hans-Ulrich Kobialka ; Vlatko Becanovic
Using the Opponent Pass Modeling Method to Improve Defending Ability of a (Robo)Soccer Simulation Team / Jafar Habibi ; Hamid Younesy ; Abbas Heydarnoori
Topological Navigation in Configuration Space Applied to Soccer Robots / Gonçalo Neto ; Hugo Costelha
A Fuzzy Reinforcement Learning for a Ball Interception Problem / Tomoharu Nakashima ; Masayo Udo ; Hisao Ishibuchi
Intelligent Control of Autonomous Mobile Soccer Robot Adapting to Dynamical Environment / Nobuyuki Kurihara ; Ryotaku Hayashi ; Hikari Fujii ; Daiki Sakai ; Kazuo Yoshida
A Hierarchical Multi-module Learning System Based on Self-interpretation of Instructions by Coach / Yasutake Takahashi ; Koichi Hikita
Building Aunt Hillary: Creating Artificial Minds with `Neural Nests' / Mike Reddy ; Stuart Lewis
Autonomous Robot Controllers Capable of Acquiring Repertoires of Complex Skills / Freek Stulp ; Alexandra Kirsch ; Armin Müller ; Sebastian Buck
A New Odometry System to Reduce Asymmetric Errors for Omnidirectional Mobile Robots / Alireza Fadaei Tehrani ; Ali Mohammad Doosthosseini ; Hamid Reza Moballegh ; Peiman Amini ; Mohammad Mehdi DaneshPanah
Texture-Based Pattern Recognition Algorithms for the RoboCup Challenge
An Open Robot Simulator Environment / Toshiyuki Ishimura ; Takeshi Kato ; Kentaro Oda ; Takeshi Ohashi
Application of Parallel Scenario Description for RoboCupRescue Civilian Agent / Kousuke Shinoda ; Masayuki Ohta ; Susumu Kunifuji
RoboCup Advanced 3D Monitor / Carla Penedo ; João Pavão ; Pedro Nunes ; Luis Custódio
RoboCup Rescue Simulation: Methodologies Tools and Evaluation for Practical Applications / Giorgio Grisetti ; Sergio Lo Cascio
An Efficient Need-Based Vision System in Variable Illumination Environment of Middle Size RoboCup / Mansour Jamzad ; Abolfazal Keighobadi Lamjiri
Filling the Gap among Coordination, Planning, and Reaction Using a Fuzzy Cognitive Model / Matteo Matteucci ; Marcello Restelli
Toward an Undergraduate League for RoboCup / John Anderson ; David Livingston ; Jonah Tower
A Probabilistic Framework for Weighting Different Sensor Data in MUREA / Domenico G. Sorrenti ; Fabio M. Marchese
Plays as Team Plans for Coordination and Adaptation / Michael Bowling ; Brett Browning ; Allen Chang
Progress in Learning 3 vs. 2 Keepaway / Gregory Kuhlmann
Distributed Control of Gait for a Humanoid Robot / Damien Kee
Predicting Away Robot Control Latency / Anna Egorova ; Alexander Gloye ; Mark Simon
Towards a Probabilistic Asynchronous Linear Control Theory / Daniel Polani
Recognizing and Predicting Agent Behavior with Case Based Reasoning / Jan Wendler
Case Based Game Play in the RoboCup Four-Legged League - Part I The Theoretical Model / Alankar Karol ; Bernhard Nebel ; Christopher Stanton ; Mary-Anne Williams
How Contests Can Foster the Research Activities on Roboticsin Developing Countries: Chile - A Case Study
Grounding Robot Sensory and Symbolic Information Using the Semantic Web
Author Index
Overview and Roadmap
Overview of RoboCup 2003 Competition and Conferences / Enrico Pagello ; Emanuele Menegatti ; Ansgar Bredenfeld ; Paulo Costa ; Thomas Christaller ; Adam Jacoff ; Jeffrey Johnson ; Martin Riedmiller ; Alessandro Saffiotti ; Takashi Tomoichi
RoboCup: Yesterday, Today, and Tomorrow Workshop of the Executive Committee in Blaubeuren, October 2003 / Hans-Dieter Burkhard ; Minoru Asada ; Andrea Bonarini ; Daniele Nardi ; Claude Sammut ; Elizabeth Sklar ; Manuela Veloso
39.

図書

図書
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
40.

図書

図書
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
41.

図書

図書
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…
42.

図書

図書
Hiroaki Kitano, ed
出版情報: Berlin ; Tokyo : Springer, c1998  xiv, 520 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1395 . Lecture notes in artificial intelligence
所蔵情報: loading…
43.

図書

図書
José Mira, Angel Pasqual del Pobil, Moonis Ali (eds.)
出版情報: Berlin : Springer, c1998  xxiv, 887 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1415 . Lecture notes in artificial intelligence . 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert systems, IEA-98-AIE, Benicàssim, Castellón, Spain, June 1-4, 1998 : proceedings ; vol. 1
所蔵情報: loading…
44.

図書

図書
Robert E. Mercer, Eric Neufeld (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xii, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1418 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with 10 extended abstracts were carefully reviewed and selected from a total of more than twice as many submissions
The book is divided in topical sections on planning, constraints, search and databases
applications
genetic algorithms
learning and natural language
reasoning
uncertainty
learning
The 28 revised full papers presented together with 10 extended abstracts were carefully reviewed and selected from a total of more than twice as many submissions
The book is divided in topical sections on planning, constraints, search and databases
applications
45.

図書

図書
Zbigniew W. Raś, Andrzej Skowron (eds.)
出版情報: Berlin ; New York : Springer, c1999  xii, 676 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1609 . Lecture notes in artificial intelligence
所蔵情報: loading…
46.

図書

図書
Ibrahim Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali (eds.)
出版情報: Berlin : Springer, c1999  xix, 899 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1611 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Formalisations of Uncertain Reasoning / F. S. C. da Silva
Agent-Oriented Software Engineering / N. R. Jennings
A Unified-Metaheuristic Framework / I. H. Osman
Fuzzy Systems
A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems / S.-L. Wang ; Y.-H. Wu
Modeling Fuzzy Sets Using Object-Oriented Techniques / G. Y. C. Wong ; H. W. Chun
A Fuzzy Approach to Map Building / H. Zreak ; M. Alwan ; M. Khaddour
Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems / D. Pacholczyk
Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model / R. Sendelj ; Yugoslav Navy ; V. Devedzic
Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model / H.-K. Fan ; C. Chen ; C.-M. Hong
A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain / T.-P. Hong ; T.-T. Wang
Neural Networks
Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic / Y. Dakroury ; A. A. El Al ; O. Badr
A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications / D. Manrique ; J. Ríos ; A. Vilarrasa
Study of Weight Importance in Neural Networks Working With Colineal Variables in Regression Problems / A. Martínez ; J. Castellanos ; C. Hernández ; F. de Mingo
The Parallel Path Artificial Micronet / G. Murray ; T. Hendtlass ; J. Podlena
Genetic Algorithms
A Generation Method to Produce GA with GP Capabilities for Signal Modeling / A. Ezzat ; N. Inuzuka ; H. Itoh
Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation / M. Rocha ; J. Neves
Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization / M. El-Beltagy ; A. Keane
A Genetic Algorithm for Visualizing Networks of Association Rules / F. Guillet ; P. Kuntz ; R. Lehn
Genetic Algorithms in Solving Graph Partitioning Problem / S. Shazely ; H. Baraka ; A. Abdel-Wahab ; H. Kamal
Application of Genetic Algorithms in Power System Stabilizer Design / A. I. Baaleh ; A. F. Sakr
A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain / E. B. Mansilla ; A. Mekaouche ; J. M. G. Guiu
Search
A New Gradient-Based Search Method: Grey-Gradient Search Method / C.-M. Chen ; H. Fan
An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts / D. A. L. Piriyakumar ; P. Levi
Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems / A. R. Appas ; A. M. Darwish ; A. El-Dessouki ; S. I. Shaheen
Reasoning
Cost-Based Abduction Using Binary Decision Diagrams / S. Kato ; S. Oono ; H. Seki
New Directions in Debugging Hardware Designs / F. Wotawa
Reasoning with Diagrams: The Semantics of Arrows / G. Ligozat
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis / H. Milde ; L. Hotz ; J. Kahl ; B. Neumann ; S. Wessel
Expert Systems and Applications
WebMaster: Knowledge-Based Verification of Web-Pages / F. van Harmelen ; J. van der Meer
Towards Task-Oriented User Support for Failure Mode and Effects Analysis / G. Peter ; D. Rösner
Incremental and Integrated Evaluation of Rule-Based Systems / P. G. Chander ; R. Shinghal ; T. Radhakrishnan
A Model of Reflection for Developing AI Applications / M. H. Ibrahim ; F. A. Cummins
A Compositional Process Control Model and Its Application to Biochemical Processes / C. M. Jonker ; J. Treur
Visual and Textual Knowledge Representation in DESIRE / R. Kremer ; P. van Leeuwen ; D. Pan
Verification of Knowledge Based-Systems for Power System Control Centers / J. Santos ; L. Faria ; C. Ramos ; Z. A. Vale ; A. Marques
Self-Crossover and Its Application to the Traveling Salesman Problem / M. K. Kundu ; N. R. Pal
Enabling Client-Server Explanation Facilities in a Real Time Expert System / N. Malheiro
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks / P. Fröhlich ; W. Nejdl ; M. Schroeder ; C. Damásio ; L. M. Pereira
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge / V. Y. Terziyan ; S. Puuronen
Alex: A Computer Aid for Treating Alexithymia / R. N. Smith ; W. J. Frawley
Case-Base Reasoning
Mechanizing Proofs of Integrity Constraints in the Situation Calculus / E. Kounalis ; P. Urso
Using Cases for Process Modelling: An Example from the Water Supply Industry / G. Saward
Financial Analysis by Case Based Reasoning / E. Aïmeur ; K. Boudina
Training of the Learner in Criminal Law by Case-Based Reasoning / S. Bélanger ; M. A. Thibodeau
Intelligent Agents
Constraint-Based Agent Specification for a Multi-Agent Stock Brokering System / B. H. Ooi ; A. K. Ghose
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents / C. Piccardi
Information Brokering Agents in Intelligent Websites
Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing / T. Gavrilova ; A. Voinov ; I. Lescheva
A Multi-agent Solution for Advanced Call Centers / B. Bauer ; C. Klein
A Multi-agent System for Emergency Management in Floods / J. Cuena ; M. Molina
Problem-Solving Frameworks for Sensible Agents in an Electronic Market / K. S. Barber ; A. Goel ; D. Han ; J. Kim ; T. H. Liu ; C. E. Martin ; R. McKay
A Model for Distributed Multi-agent Traffic Control / C. Bel ; W. van Stokkum
Smart Equipment Creating New Electronic Business Opportunities / R. Gustavsson
Distributed AI
Agent Oriented Conceptual Modeling of Parallel Workflow Systems / S. Aknine ; S. Pinson
A Distributed Algorithm as Mobile Agents / D. Deugo
Why Ontologies are Not Enough for Knowledge Sharing / W. Weber ; J. Agustí ; D. Robertson ; A. C. V. de Melo
Pattern Recognition and Vision
A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems / K. Mostafa ; I. Farag
Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database / M. E. Ragab ; E. M. Abed
Using Labeled and Unlabeled Data to Train a Multilayer Perceptron for Color Classification in Graphic Arts / A. Verikas ; A. Gelzinis ; K. Malmqvist
A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components / M.A. Rodrigues ; Y. Liu
A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation / E. Zangrouba ; T. Hedidar ; A. Jaoua
SAPIA: A Model Based Satellite Image Interpretation System / F. Ramparany ; F. Sandt
Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images / S. Shah ; J.K. Aggarwal
Machine Learning
Air-Crew Scheduling through Abduction / A. C. Kakas ; A. Michael
Unfold/Fold Inductive Proof: An Extension of a Folding Technique / R. Salem ; K. Bsaïes
On Solving the Capacity Assignment Problem Using Continuous Learning Automata / B. J. Oommen ; T. D. Roberts
Supervised Parameter Optimization of a Modular Machine Learning System / M. Link ; M. Ishitobi
Non-supervised Rectangular Classification of Binary Data / H. M. Sellami
Synthesizing Intelligent Behavior: A Learning Paradigm / M. S. Hamdi ; K. Kaiser
Automatic Input-output Configuration and Generation of ANN-based Process Models and Their Application in Machining / Z. J. Viharos ; L. Monostori
DCL: A Disjunctive Learning Algorithm for Rule Extraction / S. M. Abu-Soud ; M. R. Tolun
Temporal Reasoning
Modeling and Simulating Breakdown Situation in Telecommunication Networks / A. Osmani
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources / H. Kaikova
Introduction to Reasoning About Cyclic Intervals
A Multiple-Platform Decentralized Route Finding System / H. W. Guesgen ; D. Mitra
Heuristic Selection of Aggregated-Temporal Data for Knowledge Discovery / H. Hamilton ; D. J. Randall
Knowledge Representation
Architectural Knowledge Representation Using the Galois Lattice Technique / D. Chitchian ; S. Sariyildiz ; H. Koppelaar
Automated Solving of the DEDS Control Problems / F. Čapkovič
A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra
Unified Chromosome Representation for Large Scale Problems / H. H. Baraka ; S. Eid ; A. H. AbdelWahab
A Novel Framework for Hybrid Intelligent Systems / H. A. Hefny ; A. Abdel Wahab ; A. A. Bahnasawi
Planning and Scheduling
The Design of a Multi-tiered Bus Timetabling System / S. H. C. Chan
Scheduling of a Production Unit via Critical Block Neighborhood Structures / P. van Bael ; M. Rijckaert
An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT / N. Tomii ; L. J. Zhou ; N. Fukumura
Tutoring and Manufacturing Systems
Designing an Intelligent Tutoring Systems in the Domain of Formal Languages / D. Popovic
Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks / E. El-Sheikh ; J. Sticklen
An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems / C. Schaefer ; O. Lopez
The Economic Benefits of Internet-Based Business Operations in Manufacturing / E. Gide ; F. Soliman
CNC Manufacturing of Complex Surfaces Based on Solid Modeling / A. Elkeran ; M. A. El-baz
Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case / T. El-Fouly ; N. Zerhoini ; M. Ferney ; A. El Moundi
Intelligent Software Engineering
A Formal Approach to Lingware Development / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou
A Formal Knowledge Level Process Model of Requirements Engineering / D. E. Herlea ; N. J. E. Wijngaards
Pieces of Mind: Component-Based Software Development of Artificial Intelligence / J. Cakic
CNC Automatic Programming System for Wire-EDM / T. T. El-Midany ; H. T. Radwan
Index
Invited Talks
Formalisations of Uncertain Reasoning / F. S. C. da Silva
Agent-Oriented Software Engineering / N. R. Jennings
47.

図書

図書
Abdul Sattar, (ed.)
出版情報: Berlin ; New York : Springer Verlag, c1997  xvii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1342 . Lecture notes in artificial intelligence
所蔵情報: loading…
48.

図書

図書
Sam Steel, Rachid Alami, (eds.)
出版情報: Berlin : Springer, c1997  ix, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1348 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
Fausto Giunchiglia (ed.)
出版情報: Berlin : Springer, c1998  ix, 502 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1480 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn
An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise
An Extension of SATPLAN for Planning with Constraints / M. Baioletti ; S. Marcugini ; A. Milani
Reasoning about Generalized Intervals / P. Balbiani ; J.-F. Condotta ; L. Fariñas del Cerro ; A. Osnani
Formalizing Belief Reports - The Approach and a Case Study / M. Benerecetti ; P. Bouquet ; C. Ghidini
Extension Calculus and Query Answering in Prioritized Default Logic / F. Benhammadi ; P. Nicolas ; T. Schaub
Study of Symmetry in Qualitative Temporal Interval Networks / B. Benhamou ; A. Isli
A Blackboard Architecture for Guiding Interactive Proofs / C. Benzmüller ; V. Sorge
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach / B. Bessant ; E. Grégoire ; P. Marquis ; L. Sa¿is
Modelling Uncertainty with Kripke's Semantics / V. Boeva ; E. Tsiporkova ; B. De Baets
Using Linear Temporal Logic to Model and Solve Planning Problems / S. Cerrito ; M. Cialdea Mayer
Tailorable Interactive Agents for Scheduling Meetings / A. Cesta ; M. Collia ; D. D'Aloisi
Planning Diagonalization Proofs / L. Cheikhrouhou ; J. Siekmann
Theories and Proofs in Fault Diagnosis / I. Cicekli
Nonmonotonic Reasoning under Uncertain Evidence / C. Delrieux
Multicontext Systems with Importing Contexts / C. Dichev
Planning via Model Checking in Deterministic Domains: Preliminary
Report / M. Di Manzo ; E. Giunchiglia ; S. Ruffino
Acquisition of Useful Lemma-Knowledge in Automated Reasoning / J. Draeger
Constructing Translations between Individual Vocabularies in Multi-Agent Systems / R.M. van Eijk ; F.S. de Boer ; W. van der Hoek ; J.-J.Ch. Meyer
Belief Reconstruction in Cooperative Dialogues / A. Herzig ; D. Longin ; O. Rifi
Model Theoretic Semantics for Information Integration / L. Serafini
A Classification Learning Algorithm Robust to Irrelevant Features / H.A. Güvenir
Knowledge Assimilation and Proof Restoration Through the Addition of Goals / H. Hayashi
Learning Multiple Predicates / A. Kakas ; E. Lamma ; F. Riguzzi
Modal Reasoning and Rough Set Theory / C.-J. Liau
Overcoming Incomplete Information in NLP Systems - Verb
Subcategorization / J.G. Pereira Lopes ; J. Balsa
A Framework for Inductive Learning Based on Subsumption Lattices / Z. Markov ; N. Pelov
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks / A. Nachev ; N. Griffith ; A. Gerov
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems / D. Pacholczyk
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework / R. Sebastiani ; A. Villafiorita
Version Space Retraction with Instance-Based Boundary Sets / E.N. Smirnov ; P.J. Braspenning
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming / I. Stéphan
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies / T. Tahseen ; D.F. Gillies
Abstraction as a Form of Elaboration Tolerance
System Architecture of a Distributed Expert System for the Management of a National Data Network / I. Vlahavas ; N. Bassiliades ; I. Sakellariou ; M. Molina ; S. Ossowski ; I. Futo ; Z. Pasztor ; J. Szeredi ; I. Velbitskiy ; S. Yershov ; S. Golub ; I. Netesin
Strategy Selection for Automated Theorem Proving / A. Wolf
An Agent System for Intelligent Situation Assesment / Q. Yang ; I. Abi-Zeid ; L. Lamontagne
Knowledge Granularity and Action Selection / Y. Ye ; J.K. Tsotsos
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning / Z. Zhang
Author Index
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn
An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise
50.

図書

図書
Otthein Herzog, Andreas Günter (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1504 . Lecture notes in artificial intelligence
所蔵情報: loading…
51.

図書

図書
Helder Coelho (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  xiii, 420 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1484 . Lecture notes in artificial intelligence
所蔵情報: loading…
52.

図書

図書
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998  xi, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
Representing and Reasoning with Context / Richmond H. Thomason
Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning Components / Alessandro Armando ; Silvio Ranise
Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin / Lawrence C. Paulson
Automatic Generation of Epsilon-Delta Proofs of Continuity / Michael Beeson
Finite Model Search for Equational Theories (FMSET) / Belaid Benhamou ; Laurent Heocque
Specification and Integration of Theorem Provers and Computer Algebra Systems / P.G.Bertoli ; J.Calmet ; F. Giunchiglia ; K.Homann
Colette, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
An Evolutionary Algorithm for Welding Task Sequence Ordering / Martin Damsbo ; Peder Thusgaard Ruhoff
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis / Uwe Egli ; Stephan Schmitt
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving / Stephane Fevre ; Dongming Wang
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer / Dirk Fuchs
Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract) / Ken-etsu Fujita
Inference and Verification in Medical Appropriateness Criteria using Grobner Bases / L.M. Laita ; E. Roanes-Lozano ; V. Maojo
The Unification Problem for One Relation Thue Systems / Christopher Lynch
Basic Completion with E-cycle Simplification / Christelle Scharff
SoleX: a Domain-Independent Scheme for Constraint Solver Extension / Eric Monfroy ; Christophe Ringeissen
Optimising Propositional Modal Satisfiability for Description Logic Subsumption / Ian Horrocks ; Peter F. Patel-Schneider
Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka / Christoph Kreitz
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems / Zbigniew W. Ras ; Jiyun Zheng
Alltypes: An ALgebraic Language and Type System / Fritz Schwarz
Real Parametrization of Algebraic Curves / J. Rafael Sendra ; Franz Winkler
Non-Clausal Reasoning with Propositional Definite Theories / Zbigniew Stachniak
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
53.

図書

図書
Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
出版情報: Berlin : Springer, c1998  x, 390 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1489 . Lecture notes in artificial intelligence
所蔵情報: loading…
54.

図書

図書
Grigoris Antoniou, John Slaney (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 332 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1502 . Lecture notes in artificial intelligence
所蔵情報: loading…
55.

図書

図書
Norman Foo (ed.)
出版情報: Berlin : Springer, c1999  xv, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1747 . Lecture notes in aritificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
Unsupervised Learning in Metagame / Graham E. Farr ; David R. Powell
Neural Nets
A Neural Networks Based Approach for Fast Mining Characteristic Rules / Monzurur Rahman ; Xinghuo Yu ; Bala Srinivasan
FANRE: A Fast Adaptive Neural Regression Estimator / Zhihua Zhou ; Shifu Chen ; Zhaoqian Chen
Neural Networks for Defuzification of Fuzzy Rules: An Application in Macroeconomic Forecasting / Raouf Veliev ; Alex Rubinov ; Andrew Stranieri
Knowledge Representation I
Semantic Integration of Databases Using Linguistic Knowledge / Jeong-Oog Lee ; Doo-Kwon Baik
Representing `Just Invalid' Knowledge / John Debenham
Maximising Expected Utility for Behaviour Arbitration / Julio K. Rosenblatt
Natural Language
Generating Natural Language Descriptions of Project Plans / Margaret Wasko ; Robert Dale
Categorizing Unknown Words: A Decision Tree-Based Misspelling Identifier / Janine Toole
Sync/Trans: Simultaneous Machine Interpretation between English and Japanese / Shigeki Matsubara ; Katsuhiko Toyama ; Yasuyoshi Inagaki
Belief Revision
Minimal Belief Change and Pareto-Optimality / Oliver Schulte
Basic Infobase Change / Thomas Meyer
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology / Wei Liu ; Mary-Anne Williams
Adaptive Algorithms
Genetic Programming for Multiple Class Object Detection / Mengjie Zhang ; Victor Ciesielski
A Simulated Annealing-Based Learning Algorithm for Boolean DNF / Andreas Albrecht ; Kathleen Steinhöfel
Mutant: A Genetic Learning System / Stéphane Calderoni ; Pierre Marcenac
Automated Reasoning
Computing Least Common Subsumers in Expressive Description Logics / Thomas Mantay
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover / Gernot Stenz ; Andreas Wolf
PTTP+GLiDeS: Guiding Linear Deductions with Semantics / Marianne Brown ; Geoff Sutcliffe
Neural Learning
Neural Network Learning Using Low-Discrepancy Sequence / Ivan Jordanov ; Robert Brown
An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles / Robert Cox ; David Clark ; Alice Richardson
Neurofuzzy Learning of Mobile Robot Behaviours / Richard Willgoss ; Javaid Iqbal
Knowledge Representation II
<$>\cal {INDU}<$>: An Interval & Duration Network / Arun K. Pujari ; G. Vijaya Kumari ; Abdul Sattar
A Logical Framework for Inductive Inference and Its Rationality / Wei Li
Semantics for Pollock's Defeasible Reasoning / Quoc Bao Vo ; Joe Thurbon
Heuristics
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching / Ian Horrocks ; Lin Padgham ; Laura Thomson
An Examination of Probabilistic Value-Ordering Heuristics / Matt Vernooy ; William S. Havens
Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains / Masahito Kurihara ; Hisashi Kondo
Knowledge Representation III
Abduction without Minimality / Abhaya C. Nayak ; Norman Y. Foo
Causal Propagation Semantics - A Study / Mikhail Prokopenko ; Maurice Pagnucco ; Pavlos Peppas ; Abhaya Nayak
Arc Weights for Approximate Evaluation of Dynamic Belief Networks / Nathalie Jitnah ; Ann E. Nicholson
Machine Learning II
Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation / Murlikrishna Viswanathan ; Chris S. Wallace ; David L. Dowe ; Kevin B. Korb
<$>\cal {Q}<$>-Learning in Continuous State and Action Spaces / Chris Gaskett ; David Wettergreen ; Alexander Zelinsky
Applications
On Understanding Global Behavior of Teams in Robot Soccer Simulators / Victor Korotkich ; Noel Patson
Visual Human-Machine Interaction
Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem / Edmund Burke ; Graham Kendall
Poster Papers (Extended Summary)
Fisheye Matching: Viewpoint-Sensitive Feature Generation Based on Concept Structure / Yasufumi Takama ; Mitsuru Ishizuka
A Procedural Approach for Rule Based Update / Sai Kiran Lakkaraju ; Yan Zhang
Learning Logic Programs with Local Variables from Positive Examples / M.R.K. Krishna Rao
Estimating Problem Value in an Intelligent Tutoring System Using Bayesian Networks / Michael Mayo ; Antonija Mitrovic
Evaluation of Number-Kanji Translation Method of Non-Segmented Japanese Sentences Using Inductive Learning with Degenerated Input / Masafumi Matsuhara ; Kenji Araki ; Yoshio Momouchi ; Koji Tochinai
A Serving Agent for Integrating Soft Computing and Software Agents / Zili Zhang ; Chengqi Zhang
A Visual Geographic Knowledge Classification and Its Relationship to the KADS Model / Paul Crowther
A Constraint Optimization Framework for MultiAgent Anytime Scheduling / Bill Havens ; Randy Goebel ; Jean Berger ; René Proulx
Evolving Modular Neural Networks Using Rule-Based Genetic Programming / Bret Talko ; Linda Stern ; Les Kitchen
A Trajectory Approach to Causality / Victor Jauregui ; Norman Foo
Bayesian Reasoning for Diagnosing Student Misconceptions about Decimals / Elise Dettmann ; Ann Nicholson ; Liz Sonenberg ; Kaye Stacey ; Vicki Steinle
Reconsidering Fitness and Convergence in Co-Evolutionary Design / Mary Lou Maher ; Peter Xianghua Wu
A Proposal of Generating Artistic Japanese Calligraphic Fonts / Tsuyoshi Nakamura ; Lifeng He ; Hidenori Itoh
Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling / Wen-Gong Chen ; Chen-Sen Ouyang ; Shie-Jue Lee
Knowledge-Based Communication Processes in Building Design / Wei Dai ; Robin Drogemuller
Information-Based Cooperation in Multiple Agent Systems / Yuefeng Li
Author Index
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
56.

図書

図書
Hing-Yan Lee, Hiroshi Motoda (eds.)
出版情報: Berlin : Springer, c1998  xix, 646 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1531 . Lecture notes in artificial intelligence
所蔵情報: loading…
57.

図書

図書
Setsuo Arikawa, Hiroshi Motoda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1532 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
On Classification and Regression / Shinichi Morishita
Knowledge Discovery in Biological and Chemical Domains / Stephen Muggleton
Random Case Analysis of Inductive Learning Algorithms / Kuniaki Uehara
On Variants of Iterative Learning / Steffen Lange ; Gunter Grieser
Uniform Characterizations of Polynomial-Query Learnabilities / Yosuke Hayashi ; Satoshi Matsumoto ; Ayumi Shinohara ; Masayuki Takeda
Inferring a Rewriting System from Examples / Yasuhito Mukouchi ; Ikuyo Yamaue ; Masako Sato
Toward Genomic Hypothesis Creator: View Designer for Discovery / Osamu Maruyama ; Tomoyuki Uchida ; Takayoshi Shoudai ; Satoru Miyano
Visualization of Community Knowledge Interaction Using Associative Rep-resentation / Takashi Hirata ; Harumi Maeda ; Toyoaki Nishida
Discovering Characteristic Patterns from Collections of Classical Japanese Poems / Mayumi Yamasaki ; Tomoko Fukuda ; Ichirō Nanri
Approximate Retrieval of High-dimensional Data by Spatial Indexing / Takeshi Shinohara ; Jiyuan An ; Hiroki Ishizaka
Practical Algorithms for On-line Sampling / Carlos Domingo ; Ricard Gavaldà ; Osamu Watanabe
Discovering Conceptual Differences among People from Cases / Tetsuya Yoshida ; Teruyuki Kondo
Discovery of Unknown Causes from Unexpected Co-occurrence of Inferred Known Causes / Yukio Ohsawa ; Masahiko Yachida
Refining Search Expression by Discovering Hidden User's Interests / Wataru Sunayama ; Yuji Nomura
The Discovery of Rules from Brain Images / Hiroshi Tsukimoto ; Chie Morita
Instance Guided Rule Induction / Nobuhiro Yugami ; Yuiko Ohta ; Seishi Okamoto
Learning with Globally Predictive Tests / Michael J. Pazzani
Query-Initiated Discovery of Interesting Association Rules / Jongpil Yoon ; Larry Kerschberg
Boosting Cost-Sensitive Trees / Kai Ming Ting ; Zijian Zheng
On the Boosting Algorithm for Multiclass Functions based on Information-Theoretic Criterion for Approximation / Eiji Takimoto ; Akira Maruoka
The Continuous-Function Attribute Class in Decision Tree Induction / Michael Boronowsky
Feature Transformation and Multivariate Decision Tree Induction / Huan Liu ; Rudy Setiono
Formal Logics of Discovery and Hypothesis Formation by Machine / Petr Hájek ; Martin Holeňa
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses / Kimihito Ito ; Akihiro Yamamoto
On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion / Koichi Furukawa
Biochemical Knowledge Discovery Using Inductive Logic Programming / Ashwin Srinivasan ; R.D. King ; M.J.E. Sternberg
Computational Characteristics of Law Discovery Using Neural Networks / Ryohei Nakano ; Kazumi Saito
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems / Takashi Washio ; Hiroshi Motoda
Discovery of Differential Equations from Numerical Data / Koichi Niijima ; Hidemi Uchida ; Eiju Hirowatari ; Setsuo Arikawa
Automatic Transaction of Signal via Statistical Modeling / Genshiro Kitagawa ; Tomoyuki Higuchi
Empirical Comparison of Competing Query Learning Methods / Naoki Abe ; Hiroshi Mamitsuka ; Atsuyoshi Nakamura
Abstracting a Human's Decision Process by PRISM / Yoshitaka Kameya ; Taisuke Sato
Mechanisms of Self-Organized Renormalizability / Hiroshi H. Hasegawa ; Yoshikazu Ohtaki
An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases / Hiroki Arimura ; Atsushi Wataki ; Ryoichi Fujino ; Shinichi Shimozono
A Similarity Finding System under a Goal Concept / Makoto Haraguchi ; Tokuyasu Kakuta
Parallel Induction Algorithms for Large Samples / Tohgoroh Matsui ; Nobuhiro Inuzuka ; Hirohisa Seki ; Hidenori Itoh
Toward Effective Knowledge Acquisition with First Order Logic Induction / Xiaolong Zhang ; Tetsuo Narita ; Masayuki Numao
A Logic of Discovery / Jānis Bārzdiņ&sbreve; ; Rūsiņš Freivalds ; Carl H. Smith
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery / Jingde Cheng
Four-Fold Table Calculi for Discovery Science / Jan Ranch
Parallel Organization Algorithm for Graph Matching and Subgraph Isomorphism Detection / Yoshinori Nakanishi
Visualizing Semantic Clusters in the Internet Information Space / Etsuya Shibayama ; Jun Yabe ; Shin Takahashi ; Mitsuru Matsuda
KN on ZK - Knowledge Network on Network Note Pad ZK / Sachio Hirokawa ; Tsuyoshi Taguchi
Virtual Integration of Distributed Database by Multiple Agents / Takao Mohri ; Yuji Takada
Development of Some Methods and Tools for Discovering ConceptualKnowledge / Tu Bao Ho ; Trong Dung Nguyen ; Ngoc Binh Nguyen ; Takuya Ito
Reducing the Dimensions of Attributes by Selection and Aggregation / Akiko Aizawa
On the Number of Clusters in Cluster Analysis / Atsuhiro Takasu
Geometric Clustering Models in Feature Space / Mary Inaba ; Hiroshi Imai
Efficient Mining of Association Rules with Item Constraints / Shin-Mu Tseng
GDT-RS: A Probabilistic Rough Induction Approach / Juzhen Dong ; Ning Zhong ; Setsuo Ohsuga
A Constructive Fuzzy NGE Learning System / Maria do Carmo Nicoletti ; Flavia Oliveira Santos
Composing Inductive Applications Using Ontologies for Machine Learning / Akihiro Suyama ; Naoya Negishi ; Takahira Yamagchi
TDDA, a Data Mining Tool for Text Databases: A Case History in a Lung Cancer Text Database / Jeffrey A. Goldman ; Wesley Chu ; D. Stott Parker ; Robert M. Goldman
Crowww Classification and Retrieval on WWW / Phyllis Anwyl ; Atsushi Itoh ; Ayako Oono
Extracting Knowledge Patterns from Ticket Data / Maria de Fatima Rodrigues ; Carlos Ramos ; Pedro Rangel Henriques
Automatic Acquisition of Phoneme Models and Its Application to Phoneme Labeling of a Large Size of Speech Corpus / Motoyuki Suzuki ; Teruhiko Maeda ; Hiroki Mori ; Shozo Makino
An Experimental Agricultural Data Mining System / Kazunori Matsumoto
Data Mining Oriented System for Business Applications / Yukinobu Hamuro ; Naoki Katoh ; Katsutoshi Yada
Moving Object Recognition Using Wavelets and Learning of Eigenspaces / Shigeru Takano ; Teruya Minamoto
Search for New Methods for Assignment of Complex Molecular Spectra and a Program Package for Simulation of Molecular Spectra / Takehiko Tanaka ; Takashi Imajo
Computer Aided Hypotheses Based Drug Discovery Using CATALYSTRTM and PC GUHA Software Systems (A Case Study of Catechol Analogs Against Malignant Melanoma) / Jaroslava Halova ; Oldrich Strouf ; Premysl Zak ; Anna Sochorova ; Noritaka Uchida ; Hiroshi Okimoto ; Tomoaki Yuzuri ; Kazuhisa Sakakibara ; Minora Hirota
Knowledge Discovery through the Navigation Inside the Human Body / Toyofumi Saito ; Jun-ichiro Toriwaki ; Kensaku Mori
Application of Discovery Science to Solar-Terrestrial Physics / Tohru Araki ; Toshihiko Iyemori ; Masahito Nose ; Takaaki Wada ; Yoshifumi Futaana ; Genta Ueno ; Toyohisa Kamei ; Akinori Saito
Incorporating a Navigation Tool into a WWW Browser / Hiroshi Sawai ; Hayato Ohwada ; Fumio Mizoguchi
Author Index
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
58.

図書

図書
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…
59.

図書

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

図書

図書
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…
61.

図書

図書
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…
62.

図書

図書
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…
63.

図書

図書
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…
64.

図書

図書
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…
65.

図書

図書
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…
66.

図書

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

図書

図書
Gerald Sommer, Yehoshua Y. Zeevi (eds.)
出版情報: Berlin : Springer, c2000  x, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1888
所蔵情報: loading…
68.

図書

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

図書

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

図書

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

図書

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

図書

図書
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…
73.

図書

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

図書

図書
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…
75.

図書

図書
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…
76.

図書

図書
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…
77.

図書

図書
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…
78.

図書

図書
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
79.

図書

図書
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…
80.

図書

図書
Minoru Asada, Hiroaki Kitano (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1604 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Overview and Award Papers
Overview Paper
Overview of RoboCup-98 / Minoru Asada ; Manuela Veloso ; Milind Tambe ; Itsuki Noda ; Hiroaki Kitano ; Gerhard K. Kraetzschmar
Scientific Challenge Award Papers
Character Design for Soccer Commentary / Binsted ; Sean Luke
Automatic Soccer Commentary and RoboCup / Hitoshi Malsubara ; Ian Frank ; Kutniko Tanaka-Ishii ; Hideyuki Nakashima ; Kôili Hashida
Rocco: A RoboCup Soccer Commentator System / Dirk Voelz ; Elisabeth André ; Gerd Herzog ; Thomas Rist
Champion Teams
The CMUnited-98 Champion Simulator Team / Peter Stone ; Patrick Riley
The CMUnited-98 Champion Small-Robot Team / Michael Bowling ; Sorin Achin ; Kwun Han
The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills / Jens-Steffen Gutmann ; Wolfgang Hatzack ; Immanuel Herrmann ; Bernhard Nebel ; Frank Rittinger ; Augustinus Topor ; Thilo Weigel ; Bruno Welsch
Technical Papers
Infrastructure
The Survey of RoboCup '98: Who, How and Why / Igor M. Verner
How to make a Challenging AI Course Enjoyable Using the RoboCup Soccer Simulation System / Silvia Coradeschi ; Jacek Malec
A Quadruped Robot for RoboCup Legged Robot Challenge in Paris '98 / Masahiro Fujita ; Stephane Zrehen
Robot Soccer with LEGO Mindstorms / Henrik Hautop Lund ; Luigi Pagliarini
Basic Skill
Ball-Receiving Skill Dependent on Centering in Soccer Simulation Games / Kazuaki Maeda ; Akinori Kohkeisu ; Tomoichi Takahashi
The Priority/Confidence Model as a Framework for Soccer Agents / Jan Lubbers ; Rogier R. Spaans
A User Oriented System for Developing Behavior Based Agents / Paul Scerri ; Anders Törne
Teamwork and Evaluation
From Play Recognition to Good Plays Detection - Reviewing RoboCup 97 Teams from Logfile / Tadashi Naruse
Inductive Verification and Validation of the KULRoT RoboCup Team / Kurt Driessens ; Nico Jacobs ; Nathalie Cossement ; Patrick Monsieurs ; Luc De Raedt
Layered, Resource-Adaptive Agents in the RoboCup Simulation / Christoph G. Jung
A Description-Processing System for Soccer Agents / Nobuhiro Ito ; Kouichi Nakagawa ; Xiaoyong Du ; Naohiro Ishii
Using an Explicit Teamwork Model and Learning in RoboCup / Stacy Marsella ; Jafar Adibi ; Yaser Al-Onaizan ; Ali Erdem ; Randall Hill ; Gal A.Kaminka ; Zhun Qiu
A Hybrid Agent Model, Mixing Short Term and Long Term Memory Abilities. An Application to RoboCup Competition / Fausto Torlerolo ; Chaierine Garbay
Learning and Evolution
Team-Partitioned, Opaque-Transition Reinforcement Learning
Cooperative Behavior Acquisition in a Multiple Mobile Robot Environment by Co-evolution / Eiji Uchibe ; Masateru Nakamura
Real Robot Perception, Mechanism, and Integration
Integrated Reactive Soccer Agents / Wei-min Sken ; liogelio Adobbati ; Srini Lanksham ; Hadi Moradi ; BenhamSalevii ; Sheila Tejada
An Innovative Approach to Vision, Localization and Orientation Using Omnidirectional RadialSignature Analysis / Andrew R. Price ; Trevor Jones
An Application ol Vision-Based Learning in RoboCup for a Real Robot with an Omnidirectional Vision System and the Team Description of Osaka University "Trackies" / Sho'ji Suzuki ; Tatsunori Kalo ; Hiroshi Ishizuka ; Yasutake Takahashi
The RoboCup-NAIST: A Cheap Multisensor-Based Mobile Robot with On-Line Visual Learning Capability / Takayuki Nakarnura ; Kazunori Terada ; Atsushi Shibata ; Hideaki Takeda
Team Description
Simulation
Andhill-98:A RoboCup Team which Reinforces Positioning with Observation / Tomohito Andou
Evolving Team Darwin United / David Andre ; Astro Teller
UBU: Utility-Based Uncertainty Handling in Synthetic Soccer / Magnus Boman ; Helena Aberg ; Asa Ahman ; Jens Andreasen ; Mats Danielson ; Carl-Gustaf Jansson ; Johan Kummeneje ; Harko Verhagen ; Johan Walter
AT Humboldt in RoboCup-98 / Pascal Gugenberger ; Jan Wendler ; Kay Schröter ; Hans-Dieter Burkhard
Individual Tactical Play and Pass with Communication between Players -Team Descriptions of Team Miya2- / Harukazu Jgarashi ; Shougo Kosue ; Masatoshi Miyahara
UKSC-team: A Cognitive Multi-Agent Approach to the RoboCup'98 Simulator League / Auguslo Cesar Pinto Lourciro da Costa ; Guilherme Bittencourt
Description of Team Erika / Takeshi Matsumura
Getting Global Performance through Local Information in PaSo-Team'98 / E. Pagello ; F. Montesello ; F. Garelli ; F. Candon ; P. Chioetto ; S. Griggio
A Direct Approach to Robot Soccer Agents: Description for the Team MAINZ ROLLING BRAINS Simulation League of RoboCup'98 / Daniel Polani ; Stefan Weber ; Thomas Ulhmann
CAT Finland: Executing Primitive Tasks in Parallel / Jukka Riekki ; Jussi Pajala ; Antti Tikanmki ; Juha Rning
A Multi-level Constraint-Based Controller for the Dynamo98 Robot Soccer Team / Yu Zhang ; Alan K. Mackworth
Real Robot Small-Size League
The small league RoboCup team of the VUB AI-Lab / Andreas Birk ; Thomas Walle ; Tony Belpaeme ; Johan Parent ; Tom De Vlaminck ; Holgcr Kenn
CUPS Glory - Soccer Robots with Local Intelligence / Thomas Braunl
The Cambridge University Robot Football Team Description / A. Rowstron ; B. Bradshaw ; D. Crosby ; T. Edmonds ; S. Hodges ; A. Hopper ; S. Lloyd ; J.Wang ; S. Wray
UQ RoboRoos: Preliminary Results for a Robot Soccer Team / Gordon Wyeth ; Brett Browning ; Ashley Tews
Real Robot Middle-Size League
ISocRob - Team Description / Pedro Aparicio ; Rodrigo Ventura ; Pedro Lima ; Carlos Pinto-Ferreira
Real MagiCol 98: Team Description and Results / E. González ; H. Loaiza ; A. Surez ; C. Morenoet
Agilo RoboCuppers: RoboCup Team Description / Michael Klupsch ; Maximilian Lückenhaus ; Christoph Zierl ; Ivan Laptev ; Thorsten Bandlow ; Marc Grimme ; Ignaz Kellcrcr ; Fabian Schwarzer
The Ulm Sparrows: Research into Sensorimotor Integration, Agency, Learning, and Multiagenl Cooperation / Stefan Enderle ; Stefan Sablatnoeg ; Thomas Boss ; Mark Dettinger ; Hans Braxmayer ; Heiko Folkerts ; Markus Klingler ; Dominik Maschke ; Gerd Mayrr ; Markus Mueller ; Alexander Neubeck ; Marcus Ritter ; Heiner Seidl ; Robert Woerz ; Guenther Palm
ART Azzurra Robot Team / Daniele Nardi ; Giorgio Clemente ; Enrico Pagello
Design and Evaluation of the T-Team of the University or Tuebingen for R,oboCup'98 / Michael Plagge ; Boris Diebold ; Richard Guenther ; Joern Ihlenburg ; Dirk Jung ; Keyan Zahedi ; Andreas Zell
Team Description of the GMD RoboCup-Team / A. Siegberg ; A. Bredenfeld ; H. Guenther ; H.U. Kobialka ; B. Klaassen ; U. Licht ; K.L.Paap ; P.G. Ploeger ; II. Streich ; J. Vollmer ; J. Wilberg ; R. Worst ; T. Christaller
UTTORI United: Cooperative Team Play Based on Communication / Kazutaka Yokota ; Koichi Ozaki ; Nobuyuki Watanabe ; Akihiro Matsumoto ; Daisuke Koyama ; Tatsuya Ishikawa ; Kuniaki Kawabata ; Hayato Kaelsu ; Hajime Asama
Legged robot league
Quadrrupcd Robot Guided by Enhanced Vision System and Supervision Modules / Vincent Hugel ; Patrick Bonnin ; Jean Christophe Bouramoué ; Didier Solheid ; Pierre Blazevic ; Dominique Duhaut
The CMTrio-98 Sony Legged Robot Team / William Uther
BabyTigers-98: Osaka Legged Robot Team / Noriaki Milsunaga ; Chizuko Mishima
Author Index
Overview and Award Papers
Overview Paper
Overview of RoboCup-98 / Minoru Asada ; Manuela Veloso ; Milind Tambe ; Itsuki Noda ; Hiroaki Kitano ; Gerhard K. Kraetzschmar
81.

図書

図書
Dario Floreano, Jean-Daniel Nicoud, Francesco Mondada (eds.)
出版情報: Berlin : Springer, c1999  xvi, 737 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1674 . Lecture notes in artificial intelligence
所蔵情報: loading…
82.

図書

図書
Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 310 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1701 . Lecture notes in artificial intelligence
所蔵情報: loading…
83.

図書

図書
Pedro Barahona, José J. Alferes (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 383 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1695 . Lecture notes in artificial intelligence
所蔵情報: loading…
84.

図書

図書
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…
85.

図書

図書
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:
86.

図書

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

図書

図書
Ernesto Costa, Amilcar Cardoso (eds.)
出版情報: Berlin : Springer, 1997  xiv, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1323. Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
CBR and machine learning
constraints
intelligent tutoring
knowledge representation
multi-agent systems and DAI
nonmonotonic, qualitative and temporal reasoning, and problem solving
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
88.

図書

図書
Zbigniew W. Raś, Andrzej Skowron, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1325 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
Approximate reasoning, evolutionary computation
Knowledge representation and integration, learning and knowledge discovery
AI-Logics, discovery systems, data mining, query processing, etc
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
89.

図書

図書
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…
90.

図書

図書
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…
91.

図書

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

図書

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

図書

図書
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…
94.

図書

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

図書

図書
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…
96.

図書

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

図書

図書
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…
98.

図書

図書
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…
99.

図書

図書
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…
100.

図書

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