close
1.

図書
図書
1. Proceedings,11th IEEE International Conference on Tools with Artificial Intelligence, November 9-11, 1999 Chicago, Illinois (: case)
sponsored by IEEE Computer Society ; in cooperation with AAAI Society, Virtual Intelligence Task Force, BU-CIS Center
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xvii, 446 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings, Ninth IEEE International Conference on Tools with Artificial Intelligence, November 3-8, 1997, Newport Beach, California (: soft. ; : case)
sponsored by IEEE Computer Society, Technical Committee on PAMI ; in cooperation with Pan American Center for Earth and Environmental Studies
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xv, 587 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Sixth International Conference on Tools with Artificial Intelligence, November 6-9, 1994, New Orleans, Louisiana (: paper ; : micro. ; : case.)
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xxiii, 842 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings, Seventh International Conference on Tools with Artificial Intelligence, November 5-8, 1995, Herndon, Virginia, USA (: microfiche ; : IEEE order plan)
sponsored by IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xxii, 502 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings, Eighth IEEE International Conference on Tools with Artificial Intelligence, November 16-19, 1996, Toulouse, France (: soft. ; : case.)
sponsored by IEEE Computer Society ; in cooperation with Center for Intelligent Systems, Binghamton University, INRIA, France
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xx, 492 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Third International Conference on Tools for Artificial Intelligence, TAI '91, November 5-8, 1991, San Jose, California (: paper ; : micro ; : case)
sponsored by the IEEE Computer Society ; in cooperation with Association for Computing Machinery ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  xxi, 545 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings : Fourth International Conference on Tools with Artificial Intelligence, TAI '92, November 10-13, 1992, Arlington, Virginia (: paper ; : micro. ; : case.)
sponsored by IEEE Computer Society ; in cooperation with SUNY--Binghamton
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xviii, 475 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Hyatt Hotel, Dulles International Airport, Herndon, VA, USA, November 6-9, 1990
sponsored by: IEEE Computer Society
出版情報: Los Alamitos ; Tokyo : IEEE Computer Society Press, c1990  xxi, 895 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. Proceedings : Fifth International Conference on Tools with Artificial Intelligence, TAI '93, November 8-11, 1993, Boston, Massachusetts (: paper ; : micro. ; : case.)
sponsored by IEEE Computer Society ; in cooperation with AAAI Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xxii, 500 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Proceedings, 17th IEEE International Conference on Tools with Artificial Intelligence : ICTAI 2005 : 14-16 November 2005, Hong Kong, China
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, the Hong Kong University of Science and Technology ; edited by Andrew Lim]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xv, 718 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. Proceedings, Tenth IEEE International Conference on Tools with Artificial Intelligence, November 10-12, 1998, Taipei, Taiwan, R.O.C. (: soft ; : case ; : micro)
sponsored by the IEEE Computer Society Taiwanese Association for Artificail Intelligence ; in collaboration with National Science Council Computer and Communication Research Center of National Tsing Hua University, Research Center for computer System Technology of National Cheng Kung University, Center of Excellence for Research in Computer Science of National Taiwan University, IEEE Taipei Section Acer Sertek Incorporated
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  xviii, 483 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Proceedings, 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, November 7-9, 2001 Dallas, Texas
sponsored by IEEE Computer Society, IEEE CS Virtual Intelligence Task Force ; in cooperation with The Information Technology Research Institute, Wright State University, AIIS Inc
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 375 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Committees
Conference Schedule
Multi-Agents and Distributed AI / Session 1：
Towards Ontological Reconciliation for Agents / L. Sterling ; K. Lister
Transaction Oriented Computational Models for Multi-Agent Systems / K. Ramamohanarao ; J. Bailey ; P. Busetta
Resource Coordination in Single Agent and Multiagent Systems / G. Edwin ; M. T. Cox
Smart Cars as Autonomous Intelligent Agents / N. Bourbakis ; M. Findler
Interleaved Backtracking in Distributed Constraint Networks / Y. Hamadi
A Multi-Agent System to the Common Management of a Renewable Resource: Application to Water Sharing / M. Le Bars ; J. M. Attonaty
Using Software Agents to Avoid Collisions Among Multiple Robots / M. Jager
Reasoning / Session 2：
RaBeCa: A Hybrid Case-Based Reasoning Development Environment / R. B. Sovat ; S. M. Aluisio ; A. C. P. L. F. de Carvalho
Automatic Knowledge Acquisition from Subject Matter Experts / M. Boicu ; G. Tecuci ; B. Stanescu ; D. Marcu ; C. Cascaval
Inconsistent Requirements: An Argumentation View / L. Perrussel ; P.-J. Charrel
Perfect Sequences for Belief Networks Representation / R. Jirousek ; J. Vejnarova
A Decentralized Model-Based Diagnostic Tool for Complex Systems / Y. Pencole ; M.-O. Cordier ; L. Roze
Alma/Carne: Implementation of a Time-Situated Meta-Reasoner / K. Purang
Towards a General Theory for Qualitative Space / B. A. El-Geresy ; A. I. Abdelmonty
Genetic Algorithms / Session 3：
Dynamic Load-Balancing via a Genetic Algorithm / W. A. Greene
Parallel Genetic Programming for Decision Tree Induction / G. Folino ; C. Pizzuti ; G. Spezzano
New Hybrid Genetic Algorithms for the Frequency Assignment Problem / M. Alabau ; L. Idoumghar ; R. Schott
Planning / Session 4：
Fast Suboptimal Planning with Nexus States / W. Briggs ; B. Dawson
An Architecture for Planning in Uncertain Domains / M. E. Agueda ; P. H. Ibarguengoytia
A Metaheuristic for the Pickup and Delivery Problem with Time Windows / H. Li ; A. Lim
Machine Learning and Data Mining / Session 5：
An Effective Method for Generating Multiple Linear Regression Rules from Artificial Neural Networks / R. Setiono ; A. Azcarraga
Data Flow Coherence Criteria in ILP Tools / S. Muresan ; T. Muresan ; R. Potolea
Comparing Keyword Extraction Techniques for WEBSOM Text Archives / A. P. Azcarraga ; T. N. Yap, Jr.
Developing Collaborative Golog Agents by Reinforcement Learning / I. A. Letia ; D. Precup
Combinatorial Optimization through Statistical Instance-Based Learning / O. Telelis ; P. Stamatopoulos
Empirical Study of a Stacking State-Space / A. Ledezma ; R. Aler ; D. Borrajo
Mining First-Order Knowledge Bases for Association Rules / H. M. Jamil
Visualization Support for User-Centered Model Selection in Knowledge Discovery in Databases / T. B. Ho ; T. D. Nguyen
Generation of Propagation Rules for Intentionally Defined Constraints / S. Abdennadher ; C. Rigotti
Natural Language Processing and Information Retrieval / Session 6：
B-Course: A Web Service for Bayesian Data Analysis / P. Myllymaki ; T. Silander ; H. Tirri ; P. Uronen
An Expert Recommendation System Using Concept-Based Relevance Discernment / T. Yukawa ; K. Kasahara ; T. Kato ; T. Kita
A Robust Model for Intelligent Text Classification / R. Basili ; A. Moschitti
Corefdraw--A Tool for Annotation and Visualization of Coreference Data / S. M. Harabagiu ; R. C. Bunescu ; S. Trausan-Matu
Word Semantics for Information Retrieval: Moving One Step Closer to the Semantic Web / R. F. Mihalcea ; S. I. Mihalcea
High Precision Logic Form Transformation / V. Rus
Software Engineering / Session 7：
Loop--A Language for LP-Based AI Applications / A. Suciu ; K. Pusztai ; Z. Simon
Shamash: An AI Tool for Modeling and Optimizing Business Processes / D. Camacho ; A. Sierra-Alonso
An On-Line Repository for Embedded Software / I.-L. Yen ; L. Khan ; B. Prabhakaran ; F. B. Bastani ; J. Linn
Constraint Satisfaction / Session 8：
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts / S. Loudni ; P. Boizumault
Pickup and Delivery with Time Windows: Algorithms and Test Case Generation / H. C. Lau ; Z. Liang
Successive Search Method for Valued Constraint Satisfaction and Optimization Problems / M. Tounsi ; P. David
Applications / Session 9：
Maintaining Credible Dialogs in a VideoBot System with Special Audio Techniques / D. DeGroot
Maximizing Paper Spread in Examination Timetabling Using a Vehicle Routing Method / W.-K. Ho ; W.-C. Oon
Artificial Neural Networks in Hydrological Watershed Modeling: Surface Flow Contribution from the Ungauged Parts of a Catchment / R. Chibanga ; J. Berlamont ; J. Vandewalle
Author Index
Message from the General Chair
Message from the Program Chair
Committees
13.

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

図書
図書
14. Proceedings, 12th IEEE Internationals Conference on Tools with Artificial Intelligence, ICTAI, November 13-15, 2000 Vancouver, British Columbia, Canada (: case ; : microfiche)
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  xiii, 427 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chairs' Foreword
Message from the Program Chair
Vice Chairs
Program Committee
Logic and Reasoning / Session A1：
Multi-Resolution on Compressed Sets of Clauses / P. Chatalic ; L. Simon
An Assumptive Logic Programming Methodology for Parsing / K. Voll ; T. Yeh ; V. Dahl
Belief Revision and Possibilistic Logic for Adaptive Information Filtering Agents / R. Lau ; A. Hofstede ; P. Bruza ; K. Wong
Machine Learning / Session B1：
A Visualization Tool for Interactive Learning of Large Decision Trees / T. Nguyen ; T. Ho ; H. Shimodaira
Function Approximation Based Multi-Agent Reinforcement Learning / O. Abul ; F. Polat ; R. Alhajj
Knowledge Pruning in Decision Trees / I. Shioya ; T. Miura
Software and Knowledge Engineering / Session C1：
Using Latent Semantic Analysis to Identify Similarities in Source Code to Support Program Understanding / J. Maletic ; A. Marcus
Modeling Software Quality: The Software Measurement Analysis and Reliability Toolkit / T. Khoshgoftaar ; E. Allen ; J. Busboom
JADE-AI Support for Debugging Java Programs / C. Mateis ; M. Stumptner ; D. Wieland ; F. Wotawa
Data and Knowledge Mining / Session A2：
Principles for Mining Summaries Using Objective Measures of Interestingness / R. Hilderman ; H. Hamilton
From Data Mining to Rule Refining / E. Keedwell ; F. Bessler ; A. Narayanan ; D. Savic
What's New? Using Prior Models as a Measure of Novelty in Knowledge Discovery / J. Ludwig ; G. Livingston ; E. Vozalis ; B. Buchanan
Parallel Mining of Association Rules with a Hopfield Type Neural Network / K. Gaber ; M. Bahi ; T. El-Ghazawi
Constraint Satisfaction and Optimization / Session B2：
Implementing an Action Language Using a SAT Solver / H. Nabeshima ; K. Inoue ; H. Haneda
About the Use of Local Consistency in Solving CSPs / A. Chmeiss ; L. Sais
Using Heuristic-Based Optimizers to Handle the Personal Computer Configuration Problems / V. Tam ; K. Ma
Neural Networks / Session C2：
DGPS/INS Integration Using Neural Network Methodology / F. Ibrahim ; A. Tascillo ; N. Al-Holou
Efficient Prediction of Interconnect Crosstalk Using Neural Networks / A. Ilumoka
Identifying Causal Structure in a Biological Neural Network / A. Maida
Multimedia and Image Processing / Session A3：
A Synergistic Model for Interpreting Human Activities and Events from Video: A Case Study / N. Bourbakis ; G. Bebis ; J. Gattiker
A Distributed Multimedia Knowledge Based Environment for Modeling over the Internet / S. Ryan ; A. Bansal ; T. Kapoor
Texture Image Segmentation Method Based on Multi-Layer CNN / G. Liu ; S. Oe
Strategies for Optimizing Image Processing by Genetic and Evolutionary Computation
Planning and Scheduling / Session B3：
Building Efficient Partial Plans Using Markov Decision Processes / P. Laroche
Reasoning about Numeric and Symbolic Time Information / M. Mouhoub
Heuristics for the Exam Scheduling Problem / F. Zhaohui ; A. Lim
A Reactive Method for Real Time Dynamic Vehicle Routing Problem / K. Zhu ; K-L. Ong
Knowledge-Based Systems / Session C3：
Debugging Knowledge-Based Applications with a Generic Toolkit / S. Craw ; R. Boswell
Tools for Intelligent Decision Support System Development in the Legal Domain / A. Stranieri ; J. Zeleznikow
A Knowledge Based System: An Object Case Approach / G. Talens ; D. Boulanger ; I. Dedun
Genetic Algorithms / Session A4：
A Genetic Algorithm-Based System for Generating Test Programs for Microprocessor IP Cores / F. Corno ; M. Reorda ; G. Squillero ; M. Violante
The Probably Approximately Correct (PAC) Population Size of a Genetic Algorithm / A. Hernandez-Aguirre ; B. Buckles ; A. Martinez-Alcantara
GATree: Genetically Evolved Decision Trees / A. Papagelis ; D. Kalles
Internet and The World Wide Web / Session B4：
A New Statistical Method for Performance Evaluation of Search Engines / L. Li ; Y. Shang
Searching and Classifying the Web Using Hyperlinks: A Logical Approach / J. Picard ; J. Savoy
Reverse Mapping of Referral Links from Storage Hierarchy for Web Documents / C. Ding ; C.-H. Chi
Robotics / Session C4：
Cognitively Adequate Modeling of Spatial Reference in Human-Robot Interaction / R. Moratz ; K. Fischer
Vision Based Localization for a Mobile Robot / F. Gechter ; F. Charpillet
The N-Dimensional Projective Approach as a Tool for Spatial Reasoning / J. Pais ; C. Pinto-Ferreira
Multi-Objective Retrieval of Object Pose from Video / A. Avanaki ; B. Hamidzadeh ; F. KossentiniSession A5：
Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling / S.-C. Chen ; M.-L. Shyu ; C. Zhang ; R. Kashyap
Using Bayesian Classifier in Relevant Feedback of Image Retrieval / Z. Su ; H. Zhang ; S. Ma
Intelligent Content-Based Retrieval / C. Djeraba
An Approach to Incremental SVM Learning Algorithm / R. Xiao ; J. Wang ; F. ZhangSession B5：
Transforming Supervised Classifiers for Feature Extraction / B. Bursteinas ; J. Long
Learning Methods for Online-Process Diagnosis / P. Feucht ; J. Zoellner ; K. Berns ; T. Zirzlaff ; O. Leisin
Constrained Genetic Algorithms and Their Applications in Nonlinear Constrained Optimization / B. Wah ; Y.-X. ChenSession C5：
Local Search Algorithm for the Compacted Cells Area Problem / D. Chia
A Heuristic Search Based Factoring Tool / C. Davis ; C. Eick
Soft Computing / Session A6：
Interpretation of Self-Organizing Maps with Fuzzy Rules / M. Drobics ; W. Winiwarter ; U. Bodenhofer
History Checking of Temporal Fuzzy Logic Formulas for Monitoring Behavior-Based Mobile Robots / K. Lamine ; F. Kabanza
Fuzzy Cellular Automata: From Theory to Applications / M. Mraz ; N. Zimic ; I. Lapanja ; I. Bajec
Database and Information Systems / Session B6：
Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy / Y. Akiba ; H. Nakaiwa ; S. Shirai ; Y. Ooyama
Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach / X. Liu ; S. Shekhar ; S. Chawla
Combining Models Across Algorithms and Samples for Improved Results / H. Vafaie ; D. Abbott ; M. Hutchins ; I. MatkovskySession C6：
Basic Organization Structure Model for Cooperative Information Processing / W. Changying ; Y. Li ; C. Weiming ; X. Zhenning ; G. Yong
Support Based Measures Applied to Ice Hockey Scoring Summaries / B. Kram ; J. Hall
Meta-Constraints on Violations for Over Constrained Problems / T. Petit ; J.-C. Regin ; C. BessiereSession A7：
Local Minimum Structures of Graph-Coloring Problems for Stochastic Constraint Satisfaction Algorithms / K. Mizuno ; S. Nishihara
Combining Various Algorithms to Solve the Ship Berthing Problem / K.-S. Goh
Self-Optimising CBR Retrieval / J. Jarmulak ; R. RoweSession B7：
Efficient Defeasible Reasoning Systems / M. Maher ; A. Rock ; G. Antoniou ; D. Billington ; T. Miller
Combining Heuristics for Default Logic Reasoning Systems / P. Nicolas ; F. Suabion ; I. Stephan
Automated Reasoning on Monotonic Constraints / L. Bordeaux ; F. Benhamou
Model Selection via Meta-Learning: A Comparative Study / A. Kalousis ; M. HilarioSession C7：
The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory / M. West ; T. McCluskey
Designing a Learning-Automata-Based Controller for Client/Server Systems: A Methodology / G. Papadimitriou ; A. Vakali ; A. Pomportsis
Author Index
General Chairs' Foreword
Message from the Program Chair
Vice Chairs
15.

図書
図書
15. Proceedings, 15th IEEE International Conference on Tools with Artificial Intelligence : November 3-5, 2003, Sacramento, California, USA
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003  xxv, 651 p. ; 28 cm.
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Organizing Committee
Program Committee
External Reviewers
Abstracts of Keynote Speeches
Conference Schedule
Keynote Speeches
An Overview of Haplotyping via Perfect Phylogeny: Theory, Algorithms and Programs / D. Gusfield
Phase Transitions, Backbones and Heuristic Search / W. Zhang
Artificial Intelligence in Financial Applications / B. Wah
Kernel Methods for Pattern Analysis / N. Cristianini
(Balboa) Bioinformatics I / Session 1：
Pairwise Protein Structure Alignment Based on an Orientation-Independent Representation of the Backbone Geometry / J. Ye ; R. Janardan ; S. Liu
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences / G. Pavesi ; G. Mauri ; G. Pesole
A Biology Inspired Neural Learning Algorithm for Analyzing Protein Sequences / E. Berry ; Z. Yang ; X. Wu
Order-Sensitive Clustering for Remote Homologous Protein Detection / J. Chen ; W. Hsu ; M. Lee
(Calaveras) Software Engineering with Computational Intelligence I / Session 2：
An Intelligent Early Warning System for Software Quality Improvement and Project Management / X. Liu ; G. Kane ; M. Bambroo
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems / N. Arshad ; D. Heimbigner ; A. Wolf
Application of an Attribute Selection Method to CBR-Based Software Quality Classification / T. Khoshgoftaar ; L. Nguyen ; K. Gao ; J. Rajeevalochanam
Analysis of Software Maintenance Data Using Multi-Technique Approach / M. Reformat ; V. Wu
(Granada) Al in Medicine I / Session 3：
Adaptive Modeling of Biochemical Pathways / R. Brause
Semantic Biological Image Management and Analysis / C. Chubb ; Y. Inagaki ; C. Cotman ; B. Cummings ; P. Sheu
Ontology-Based Medical Image Annotation with Description Logics / B. Hu ; S. Dasmahapatra ; P. Lewis ; N. Shadbolt
(Balboa) SAT / Session 4：
MFSAT: A SAT Solver Using Multi-Flip Local Search / A. Mali ; Y. Lipen
Improving Nogood Recording Using 2SAT / P. Stuckey ; L. Zheng
Eliminating Redundancies in SAT Search Trees / R. Ostrowski ; B. Mazure ; L. Sais ; E. Gregoire
Probing-Based Preprocessing Techniques for Propositional Satisfiability / I. Lynce ; J. Marques-Silva
(Calaveras) Data Mining I / Session 5：
A Software Infrastructure for Research in Textual Data Mining / L. Holzman ; T. Fisher ; L. Galitsky ; A. Kontostathis ; W. Pottenger
Detecting Spatial Outliers with Multiple Attributes / C. Lu ; D. Chen ; Y. Kou
Mining Association Rules with Linguistic Terms / J. Lu ; B. Xu ; L. Xu ; D. Kang ; H. Chen ; H. Yang
Parallel Mining of Maximal Frequent Itemsets from Databases / S. Chung ; C. Luo
(Granada) Evolutionary Computing / Session 6：
Feature Selection for Support Vector Machines by Means of Genetic Algorithms / H. Frohlich ; O. Chapelle ; B. Scholkopf
Engineering Optimization Using a Simple Evolutionary Algorithm / E. Mezura-Montes ; C. Coello ; R. Landa-Becerra
Multi-Modal Function Optimization Problem for Evolutionary Algorithm / H. Pan ; J. Yuan ; L. Zhong
A New Genetic Programming Approach in Symbolic Regression / S. Xiong ; W. Wang ; F. Li
Session 7 (Balboa) Planning and Scheduling I
Search Control Techniques for Planning / M. Tang
A Diversity-Controlling Adaptive Genetic Algorithm for the Vehicle Routing Problem with Time Windows / K. Zhu
Effective Heuristics to Solve Pickup and Delivery Problems with Time Windows / V. Tam ; L. Tseng
Aircraft and Gate Scheduling with Time Windows / Y. Zhu ; A. Lim ; B. Rodrigues
Fragmental Optimization on the 2-Machine Bicriteria Flowshop Scheduling Problem / G. Huang
Session 8 (Calaveras) Knowledge Management and Sharing
On Case-Based Knowledge Sharing in Semantic Web / Z. Wu
All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives / Y. Pencole
About the Use of Semaphores to Handle Contradictory Knowledge Sources
TROJAN: A Scalable Distributed Semantic Network System / C. Lee ; C. Huang ; S. Rajasekaran
Session 9 (Granada) NLP and Speech Understanding
Using a Text-to-Speech Synthesizer to Generate a Reverse Turing Test / T. Chan
Learning Name Pronunciations in Automatic Speech Recognition Systems / F. Beaufays ; A. Sankar ; S. Williams ; M. Weintraub
Answer Filtering via Text Categorization in Question Answering Systems / A. Moschitti
Transcoding HTML to VoiceXML Using Annotation / Z. Shao ; R. Capra ; M. Perez-Quinones
Nonlinear Speech Model Based on Support Vector Machine and Wavelet Transform / J. Li ; B. Zhang ; F. Lin
Session 10 (Balboa) Planning and Scheduling II
Partitioning of Temporal Planning Problems in Mixed Space using the Theory of Extended Saddle Points / Y. Chen
S-MEP: A Planner for Numeric Goals / J. Sanchez
Ant Colony Optimization for Resource-Constrained Project Scheduling with Generalized Precedence Relations / S. Luo ; C. Wang ; J. Wang
Transportation Bid Analysis Optimization with Shipper Input / Y. Guo
Session 11 (Calaveras) Machine Learning
Discriminative Parameter Learning of General Bayesian Network Classifiers / B. Shen ; X. Su ; R. Greiner ; P. Musilek ; C. Cheng
Learning Refinements on Curve-Strokes / S. Simhon ; G. Dudek
Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning / M. Ricordeau
Reinforcement Learning with Extended Spatial and Temporal Learning Scale / X. Zhuang ; Q. Meng ; B. Yin
Session 12 (Granada) Agents
Learning of Mediation Strategies for Heterogeneous Agents Cooperation / R. Charton ; A. Boyer ; F. Charpillet
Efficient Key Assignment Scheme for Mobile Agent Systems / W. Chew ; C. Chi ; T. Li
Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity / H. Lau ; L. Zhang
RoboCupRescue System and Arian: A Flexible Infrastructure for Multi-Agent Research and Education / M. Ahmadi ; T. Takahashi ; J. Habibi ; T. Koto
Session 13 (Balboa) Software Engineering with Computational Intelligence II
Eliminating Mismatching Connections between Components by Adopting an Agent-Based Approach / W. Jiao ; H. Mei
Experiments in Automatic Programming for General Purposes / X. Chai ; J. Miller
Genetic Programming-Based Decision Trees for Software Quality Classification / Y. Liu ; N. Seliya
Validating an Online Adaptive System Using SVDD / S. Gururajan ; B. Cukic ; T. Menzies ; M. Napolitano
Session 14 (Calaveras) Vision and Image Processing
Automatic Lesion/Tumor Detection Using Intelligent Mesh-Based Active Contour / L. Yin ; S. Deshpande ; J. Chang
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects / C. Hudelot ; M. Thonnat
Interactive Open Architecture Computer Vision / Q. Yu ; H. Cheng ; W. Cheng ; X. Zhou
Improving the Performance of Multi-Class SVMs in Face Recognition with Nearest Neighbor Rule / S. Park ; W. Chang ; J. Park
Session 15 (Granada) Bioinformatics II
Integrating Microarray Data by Consensus Clustering / V. Filkov ; S. Skiena
Sweep A*: Space-Efficient Heuristic Search in Partially Ordered Graphs / R. Zhou ; E. Hansen
Two-Layer Protein Structure Comparison / M. Yamamura
Session 16 (Balboa) Al in Medicine II
Interpreting Historical ICU Data Using Associational and Temporal Reasoning / A. Salatian
A Comparative Study of Feature Selection Methods for Probabilistic Neural Networks in Cancer Classification / W. Liao
Discovering Clusters in Gene Expression Data Using Evolutionary Approach / P. Ma ; K. Chan
Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser / J. Ding ; D. Berleant ; J. Xu ; A. Fulmer
Session 17 (Calaveras) CSP
Reducing Redundancy in the Hypertree Decomposition Scheme / P. Harvey ; A. Ghose
Implicit Random Constraint Satisfaction Problems / C. Lecoutre ; F. Boussemart ; F. Hemery
Progressive Stochastic Search for Solving Constraint Satisfaction Problems / B. Lam ; H. Leung
Combining the Min-Conflicts and Look-Forward Heuristics to Effectively Solve a Set of Hard University Timetabling Problems / D. Ting
Session 18 (Granada) Fuzzy Logic
Approximate Discrete Probability Distribution Representation Using a Multi-Resolution Binary Tree / D. Bellot ; P. Bessiere
Raw Relation Sets and Multiperson Decision Making / W. Meng
Inference via Fuzzy Belief Petri Nets / C. Looney ; L. Liang
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity / S. Louis ; G. Raines
Session 19 (Balboa) DataMining II
Generalization of Classification Rules / Z. Xie
A Global Rule Induction Approach to Information Extraction / J. Xiao ; T. Chua ; J. Liu
Partitioning Large Data to Scale up Lattice-Based Algorithm / H. Fu ; E. Nguifo
Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions / N. Papadakis ; D. Plexousakis
Session 20 (Calaveras) Intelligent Information Retrieval
Query Expansion and Query Reduction in Document Retrieval / I. Zukerman ; B. Raskutti ; Y. Wen
Classification of Web Documents Using a Naive Bayes Method / Y. Wang ; B. Tang ; J. Hodges
A Novel Bag Generator for Image Database Retrieval with Multi-Instance Learning Techniques / Z. Zhou ; M. Zhang ; K. Chen
A Comparative Study of Techniques for Intrusion Detection / S. Mukkamala ; A. Sung
Session 21 (Granada) Knowledge Representation
DOSE: A Distributed Open Semantic Elaboration Platform / D. Bonino ; F. Corno ; L. Farinetti
Equuleus: Presentation from Legacy Documents / S. McRoy ; S. Ali ; N. Nalamlieng
Domain Ontology and Galois Lattice Structure for Query Refinement / B. Safar ; H. Kefi
Human-Agent Teamwork for Distributed Team Training / D. Xu ; R. Volz ; M. Miller ; J. Plymale
Session 22 (Balboa) Computer Vision and Pattern Recognition
Automatic Recognition of a Baby Gesture / J. Bhatt ; N. Lobo ; M. Shah ; G. Bebis
Object Recognition Using Local-global Graphs / N. Bourbakis ; P. Yuan ; S. Makrogiannis
An L-G & SPNG Based Model for Brain Biometrics
Shape-Based 3D Model Retrieval / J. Song ; F. Golshani
iCare--A User Centric Approach to the Development of Assistive Devices for the Blind and Visually Impaired / S. Panchanathan ; J. Black ; M. Rush ; V. Iyer
Author Index
Message from the Program Chair
Organizing Committee
Program Committee
16.

図書
図書
16. Proceedings, 16th IEEE International Conference on Tools with Artificial Intelligence : ICTAI 2004 : 15-17 November 2004, Boca Raton, Florida
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, Florida Atlantic University ; edited by Taghi M. Khoshgoftaar]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004  xvii, 789 p. ; 28 cm.
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Organizing Committee
Program Committee
Keynote Speeches
Knowledge Discovery in Multiple Databases / Xindong Wu
Machine Learning for Personalized Wireless Portals / Michael J. Pazzani
Detecting and Mitigating Security Anomaliies / Mladen Vouk
Data Mining - I / Session 1：
Mining Confident Minimal Rules with Fixed-Consequents / I. Rahal ; D. Ren ; W. Wu ; W. Perrizo
Flow Miner: Finding Flow Patterns in Spatio-Temporal Databases / J. Wang ; W. Hsu ; M. Lee
A Vertical Outlier Detection Algorithm with Clusters as By-Product
Identifying Variable-Length Meaningful Phrases with Correlation Functions / H.-R. Kim ; P. Chan
Optimization - I / Session 2：
Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability / B. Wah ; D. Xin
Empirical Evaluation of Optimized Stacking Configurations / A. Ledezma ; R. Aler ; A. Sanchis ; D. Borrajo
MetaIP - A New Approach to Combinatorial Optimization: Case Studies / Y. Li ; A. Lim
Reactive Prohibition-Based Ant Colony Optimization (RPACO): A New Parallel Architecture for Constrained Clique Sub-Graphs / S. Youssef ; D. Elliman
SAT/Search Algorithms - I / Session 3：
Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems / X.-H. Vu ; H. Schichl ; D. Sam-Haroud
SAT Based BDD Solver for Quantified Boolean Formulas / G. Audemard ; L. Sais
Practically Handling Some Configuration Isomorphisms / L. Henocque ; N. Prcovic
Scalable Distributed Depth-First Search with Greedy Work Stealing / J. Jaffar ; A. Santosa ; R. Yap ; K. Zhu
Machine Learning - I / Session 4：
A Coverage Based Ensemble Algorithm (CBEA) for Streaming Data / J. Rushing ; S. Graves ; E. Criswell ; A. Lin
Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry / A. Kalousis ; J. Prados ; J.-C. Sanchez ; L. Allard ; M. Hilario
Comparative Analysis of Two Associative Memory Neural Networks / A. Cronin ; O. McEnery ; T. Kechadi ; F. Geiselbrechtinger
An Empirical Evaluation of Interval Estimation for Markov Decision Processes / A. Strehl ; M. Littman
Data Mining - II / Session 5：
Towards Real-Time Obstacle Detection Using a Hierarchical Decomposition Methodology for Stereo Matching with a Genetic Algorithm / Y. Ruichek ; H. Issa ; J. Postaire ; J. Burie
Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool / S. Yahia ; E. Nguifo
A Scalable Algorithm for Mining Maximal Frequent Sequences Using Sampling / C. Luo ; S. Chung
Cultural Algorithms: Modeling of How Cultures Learn to Solve Problems / R. Reynolds ; B. Peng
Software Engineering with Computational Intelligence / Session 6：
Automated Test Data Generation Using MEA-Graph Planning / M. Gupta ; F. Bastani ; L. Khan ; I.-L. Yen
Semi-Supervised Learning for Software Quality Estimation / N. Seliya ; T. Khoshgoftaar ; S. Zhong
Extract Rules from Software Quality Prediction Model Based on Neural Network / Q. Wang ; J. Zhu ; B. Yu
Using Fuzzy Theory for Effort Estimation of Object-Oriented Software / M. Braz ; S. Vergilio
Human Perception of Software Complexity: Knowledge Discovery from Software Data / M. Reformat ; P. Musiek ; V. Wu ; N. Pizzi
Information Retrieval - I / Session 7：
Giving Temporal Order to News Corpus / H. Uejima ; T. Miura ; I. Shioya
An Information Retrieval System for the Analysis of Systematic Defects in VLSI / D. DeMaris ; D. Maynard ; B. Reuter
CoIRS: Cluster-Oriented Image Retrieval System / H. Lotfy ; A. Elmaghraby
SAT/Search Algorithms - II / Session 8：
A Time-Space Trade-Off for Constraint Networks Decomposition / P. Jegou ; C. Terrioux
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints / S. Bistarelli ; E. Freuder ; B. O'Sullivan
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study / I. Lynce ; J. Marques-Silva
Constraint Satisfaction Problems: Backtrack Search Revisited / A. Chmeiss
Machine Learning - II / Session 9：
YaDT: Yet another Decision Tree Builder / S. Ruggieri
Reduced Ensemble Size Stacking / N. Rooney ; D. Patterson ; C. Nugent
An Extended Kernel for Generalized Multiple-Instance Learning / Q. Tao ; S. Scott ; N. Vinodchandran ; T. Takeo ; B. Mueller
Data Driven Automatic Model Selection and Parameter Adaptation - A Case Study for Septic Shock / R. Brause
Planning & Scheduling / Session 10：
A Prioritized-Based Approach to Handling Conflicts in Access Control / S. Benferhat ; R. El Baida
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL / R. Howey ; D. Long ; M. Fox
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic / D. Habet ; M. Vasquez
Focussed Propagation of MDPs for Path Planning / D. Ferguson ; A. Stentz
Intelligent Image Analysis - I / Session 11：
Automatic Heliothis Zea Classification Using Image Analysis / T. Patten ; W. Li ; G. Bebis ; M. Freeman
A Stochastic Optimization Scheme for Automatic Registration of Aerial Images / S. Makrogiannis ; N. Bourbakis ; S. Borek
Efficient Image Segmentation by Mean Shift Clustering and MDL-Guided Region Merging / Q. Luo
Motion Analysis with Application to Assistive Vision Technology
Data Mining - III / Session 12：
A Hybrid Approach for Mining Maixmal Hyperclique Patterns / Y. Huang ; H. Xiong ; Z. Zhang
Mining Decision Rules from Deterministic Finite Automata / F. Jacquenet ; M. Sebban ; G. Valetudie
Systematic Assessment of High-Throughput Experimental Data for Reliable Protein Interactions Using Network Topology / J. Chen ; S.-K. Ng
Noise Identification with the k-Means Algorithm / W. Tang
Evolutionary Computation / Session 13：
Analysing the Effects of Combining Fitness Scaling and Inversion in Genetic Algorithms / S. Hill ; J. Newell ; C. O'Riordan
GP-Lab: The Genetic Programming Laboratory / W. Glaholt ; D. Zhang
Multi-Objective Genetic Algorithm Based Approach for Optimizing Fuzzy Sequential Patterns / M. Kaya ; R. Alhajj
Visualization Tool for a Terrain-Based Genetic Algorithm / V. Gordon ; J. Thein
Agent-Based Systems / Session 14：
Multi-Agent Opportunistic Planning and Plan Execution / J. Lawton ; C. Domshlak
An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments / K.-m. Lam ; H.-f. Leung
A Swarm Approach for Emission Sources Localization / X. Cui ; C. Hardin ; R. Ragade
A Reactive Multi-Agent System for Localisation and Tracking in Mobile Robotics / F. Gechter ; V. Chevrier ; F. Charpillet
Improving Coordination with Communication in Multi-Agent Reinforcement Learning / D. Szer
Knowledge Representation and Management - I / Session 15：
Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies / B. Xu ; P. Wang ; J. Lu ; D. Kang
A Logic-Based Approach for Query Refinement in Ontology-based Information Retrieval Systems / N. Stojanovic ; L. Stojanovic
Combining Multiple Inclusion Representations in Numerical Constraint Propagation / B. Faltings
Consistency of Test Cases in Validation of Bayesian Knowledge-Bases / E. Santos Jr. ; H. Dinh
Intelligent Image Analysis - II / Session 16：
Image Chromatic Adaptation Using ANNs for Skin Color Adaptation / P. Kakumanu ; R. Bryll ; S. Panchanathan
Illumination Invariant Face Recognition Based on Neural Network Ensemble / W.-J. Li ; C.-J. Wang ; D.-X. Xu ; S.-F. Chen
Image Texture Representation and Retrieval Based on Power Spectral Histograms / C.-j. Wang ; Y.-b. Yang ; W.-j. Li
SAT/Search Algorithms - III / Session 17：
Nonchronological Backtracking in Stochastic Boolean Satisfiability / S. Majercik
N-to-2-Space Mapping for Visualization of Search Algorithm Performance / M. Kadluczka ; P. Nelson ; T. Tirpak
Meta-Heuristics for Robust Graph Coloring Problem / F. Wang
Adapting the Large Neighborhood Search to Effectively Solve Pickup and Delivery Problems with Time Windows / V. Tam ; M. Kwan
Information Retrieval - II / Session 18：
Path-Augmented Keyword Search for XML Documents / X. Wu
An Approach for Ontology-Enhanced Query Refinement in Information Portals
A Hybrid Approach to Concept Extraction and Recognition-Based Matching in the Domain of Human Resources / D. Crow ; J. DeSanto
SAT/Search Algorithms - IV / Session 19：
Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition / P. van Beek
Backjump-Based Techniques versus Conflict-Directed Heuristics / C. Lecoutre ; F. Boussemart ; F. Hemery
Another SAT to CSP Conversion / O. Roussel
Toward Good Elimination Orders for Symbolic SAT Solving / J. Huang ; A. Darwiche
Unsupervised and Semi-Supervised Learning - I / Session 20：
Determining the Number of Clusters/Segments in Hierarchical Clustering/Segmentation Algorithms / S. Salvador
Efficient Learning of Hierarchical Latent Class Models / N. Zhang ; T. Kocka
Democratic Co-Learning / Y. Zhou ; S. Goldman
Knowledge Representation & Management - II / Session 21：
Exploring the Relationship between Knowledge and Algorithm Performance in Discrete Optimization / X. Zhong ; R. McCartney
Quartet Based Phylogeny Reconstruction with Answer Set Programming / G. Wu ; G. Lin ; J.-H. You
Ontology Based Object Learning and Recognition: Application to Image Retrieval / N. Maillot ; M. Thonnat ; C. Hudelot
Machine Learning - III / Session 22：
Mode Committee: A Novel Ensemble Method by Clustering and Local Learning / Z. Xie
An Improved Hidden Markov Model for Transmembrane Topology Prediction / R. Kahsay ; L. Liao ; G. Gao
Learning Multi-Time Delay Gene Network Using Bayesian Network Framework / T.-F. Liu ; W.-K. Sung ; A. Mittal
Boosting Constraint Satisfaction Using Decision Trees / A. Ferguson
A Factor Tree Inference Algorithm for Bayesian Networks and Its Application / W. Liao ; W. Zhang ; Q. Ji
Unsupervised and Semi-Supervised Learning - II / Session 23：
XML Clustering by Principal Component Analysis / J. Liu ; K. Herbert
An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering / M. Awad ; I-L. Yen
Distinguishing Mislabeled Data from Correctly Labeled Data in Classifier Design / S. Venkataraman ; D. Metaxes ; D. Fradkin ; C. Kulikowski ; I. Muchnik
An Efficient Density Based Clustering Algorithm for Large Databases / Y. El-Sonbaty ; M. Ismail ; M. Farouk
SAT/Search Algorithms - V / Session 24：
Domain Specific Searches Using Conceptual Spectra / D. Bonino ; F. Corno ; L. Farinetti
K-Group A* for Multiple Sequence Alignment with Quasi-Natural Gap Costs / R. Zhou ; E. Hansen
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances / S. Fung ; D. Zheng ; J. Lee ; H. Chun
A Smoothed Dynamic Tabu Search Embedded GRASP for m-VRPTW
Machine Learning - IV / Session 25：
Practical Aspects of Efficient Forward Selection in Decomposable Graphical Models / S. Altmueller ; R. Haralick
CORMS AI: Continuous Operational Real-Time Monitoring System / H. Vafaie ; C. Cecere
Data Acquisition with Active and Impact-Sensitive Instance Selection / X. Zhu
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game / R. Araujo ; L. Lamb
Optimization - II / Session 26：
Solving Conditional and Composite Temporal Constraints / M. Mouhoub ; A. Sukpan
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization / V. Manquinho
Integrating Artificial Intelligence, Argumentation and Game Theory to Develop an Online Dispute Resolution Environment / E. Bellucci ; A. Lodder ; J. Zeleznikow
Poster / Session 27：
A Defeasible Logic Programming System for the Web / G. Antoniou ; A. Bikakis ; G. Wagner
A Study of Selective Neighborhood-Based Naive Bayes for Efficient Lazy Learning / Q. Zhang
Exploiting Systemic Biological Modeling for Trigger Based Adaptation in Networked Intelligent Multi-Agent Systems / A. Bansal
Events Extraction and Classification for Arabic Information Retrieval Systems / S. Abuleil ; M. Evens
Textured Image Retrieval by the Modal Analysis of Quantized Spectral Point Patterns / C. Barcelos ; M. Ferreira ; M. Rodrigues
Supervised Clustering - Algorithms and Benefits / C. Eick ; N. Zeidat ; Z. Zhao
On Data Clustering with a Flock of Artificial Agents / F. Picarougne ; H. Azzag ; G. Venturini ; C. Guinot
A Dynamic Reasoning Architecture for Computer Network Management / S. Gaglio ; L. Gatani ; G. Lo Presti ; G. Lo Re ; A. Urso
Modeling, Analysis and Visualization of Uncertainty in the Battlespace / B. McQueary ; L. Krause ; H. Wang ; Q. Zhao
A Deterministic Method for Initializing K-Means Clustering / T. Su ; J. Dy
Author Index
Message from the General Chair
Message from the Program Chair
Organizing Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼