close
1.

図書
図書
1. Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. MICAI 2002 : advances in artificial intelligence : Second Mexican International Conference on Artificial Intelligence, Mérida, Yucatán, Mexico, April 22-26, 2002 : proceedings
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…
3.

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

図書
図書
4. Proceedings of the 2002 IEEE International Symposium on Intelligent Control , 27-30 Octorber, 2002, The Coast Plaza Suite Hotel, Vancouver, Canada (: softbound)
IEEE Control Systems Society
出版情報: Piscataway : IEEE, c2002  xxiv, 923 p. ; 27 cm
所蔵情報: loading…
5.

図書
図書
5. AI 2002 : Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
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…
6.

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

図書
図書
7. Developments in applied artificial intelligence : 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002 : proceedings
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
8.

図書
図書
8. Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
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
9.

図書
図書
9. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
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…
10.

図書
図書
10. RoboCup 2001 : Robot Soccer World Cup V
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼