Research Catalog

Title

Proceedings, 12th IEEE Internationals [sic] Conference on Tools with Artificial Intelligence : ICTAI 2000, November 13-15, 2000, Vancouver, British Columbia, Canada / sponsored by IEEE Computer Society.

Author

International Conference on Tools for Artificial Intelligence (12th : 2000 : Vancouver, B.C.)

Publication

Los Alamitos, Calif. : IEEE Computer Society, ©2000.

Items in the Library & Off-site

Details

Additional Authors

IEEE Computer Society.

Description

xiii, 427 pages : illustrations; 28 cm

Alternative Title

• Proceedings, 12th IEEE International Conference on Tools with Artificial Intelligence
• Tools with artificial intelligence
• ICTAI 2000
• 2000 IEEE International Conference on Tools with Artificial Intelligence
• Tools with Artificial Intelligence, 2000, ICTAI 2000, proceedings, 12th IEEE International Conference on.

Subject

• Artificial intelligence > Congresses
• Software engineering > Congresses
• Expert systems (Computer science) > Congresses
• Intelligence artificielle > Congrès
• Génie logiciel > Congrès
• Systèmes experts (Informatique) > Congrès
• Artificial intelligence
• Expert systems (Computer science)
• Software engineering
• Künstliche Intelligenz
• Softwarewerkzeug
• Expert systems
• Algorithms
• Data processing
• Neural nets
• Machine learning
• Information Storage and Retrieval
• Knowledge based systems
• Conferences

Genre/Form

• Kongreß – Vancouver (British Columbia) – 2000.
• Conference papers and proceedings.

Note

• "00CB37175"--spine.

Bibliography (note)

• Includes bibliographic references and author index.

Additional Formats (note)

• Also available in an electronic version.

Contents

• Multi-Resolution on Compressed Sets of Clauses / P. Chatalic and L. Simon -- Assumptive Logic Programming Methodology for Parsing / K. Voll, T. Yeh and V. Dahl -- Belief Revision and Possibilistic Logic for Adaptive Information Filtering Agents / R. Lau, A. Hofstede and P. Bruza / [and others] -- Visualization Tool for Interactive Learning of Large Decision Trees / T. Nguyen, T. Ho and H. Shimodaira -- Function Approximation Based Multi-Agent Reinforcement Learning / O. Abul, F. Polat and R. Alhajj -- Knowledge Pruning in Decision Trees / I. Shioya and T. Miura -- Using Latent Semantic Analysis to Identify Similarities in Source Code to Support Program Understanding / J. Maletic and A. Marcus -- Modeling Software Quality: The Software Measurement Analysis and Reliability Toolkit / T. Khoshgoftaar, E. Allen and J. Busboom -- JADE-AI Support for Debugging Java Programs / C. Mateis, M. Stumptner and D. Wieland / [and others] -- ^
• Synergistic Model for Interpreting Human Activities and Events from Video: A Case Study / N. Bourbakis, G. Bebis and J. Gattiker -- Distributed Multimedia Knowledge Based Environment for Modeling over the Internet / S. Ryan, A. Bansal and T. Kapoor -- Texture Image Segmentation Method Based on Multi-Layer CNN / G. Liu and S. Oe -- Strategies for Optimizing Image Processing by Genetic and Evolutionary Computation / H. Shimodaira -- 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 and A. Lim -- Reactive Method for Real Time Dynamic Vehicle Routing Problem / K. Zhu and K.-L. Ong -- Debugging Knowledge-Based Applications with a Generic Toolkit / S. Craw and R. Boswell -- Tools for Intelligent Decision Support System Development in the Legal Domain / A. Stranieri and J. Zeleznikow -- Knowledge Based System: An Object Case Approach / G. Talens, D. Boulanger and I. Dedun -- Genetic Algorithm-Based System for Generating Test Programs for Microprocessor IP Cores / F. Corno, M. Reorda and G. Squillero / [and others] -- Probably Approximately Correct (PAC) Population Size of a Genetic Algorithm / A. Hernandez-Aguirre, B. Buckles and A. Martinez-Alcantara -- GATree: Genetically Evolved Decision Trees / A. Papagelis and D. Kalles -- New Statistical Method for Performance Evaluation of Search Engines / L. Li and Y. Shang -- Searching and Classifying the Web Using Hyperlinks: A Logical Approach / J. Picard and J. Savoy -- Reverse Mapping of Referral Links from Storage Hierarchy for Web Documents / C. Ding, C.-H. Chi and V. Tam -- Cognitively Adequate Modeling of Spatial Reference in Human-Robot Interaction / R. Moratz and K. Fischer -- Vision Based Localization for a Mobile Robot / F. Gechter and F. Charpillet
• N-Dimensional Projective Approach as a Tool for Spatial Reasoning / J. Pais and C. Pinto-Ferreira -- Multi-Objective Retrieval of Object Pose from Video / A. Avanaki, B. Hamidzadeh and F. Kossentini -- Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling / S.-C. Chen, M.-L. Shyu and C. Zhang / [and others] -- Using Bayesian Classifier in Relevant Feedback of Image Retrieval / Z. Su, H. Zhang and S. Ma -- Intelligent Content-Based Retrieval / C. Djeraba -- Approach to Incremental SVM Learning Algorithm / R. Xiao, J. Wang and F. Zhang -- Transforming Supervised Classifiers for Feature Extraction / B. Bursteinas and J. Long -- Learning Methods for Online-Process Diagnosis / P. Feucht, J. Zoellner and K. Berns / [and others] -- Constrained Genetic Algorithms and Their Applications in Nonlinear Constrained Optimization / B. Wah and Y.-X. Chen -- Local Search Algorithm for the Compacted Cells Area Problem / D. Chia and A. Lim -- Heuristic Search Based Factoring Tool / C. Davis and C. Eick -- Interpretation of Self-Organizing Maps with Fuzzy Rules / M. Drobics, W. Winiwarter and U. Bodenhofer -- History Checking of Temporal Fuzzy Logic Formulas for Monitoring Behavior-Based Mobile Robots / K. Lamine and F. Kabanza -- Fuzzy Cellular Automata: From Theory to Applications / M. Mraz, N. Zimic and I. Lapanja / [and others] -- Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy / Y. Akiba, H. Nakaiwa and S. Shirai / [and others] -- Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach / X. Liu, S. Shekhar and S. Chawla -- Combining Models Across Algorithms and Samples for Improved Results / H. Vafaie, D. Abbott and M. Hutchins / [and others] -- Basic Organization Structure Model for Cooperative Information Processing / W. Changying, Y. Li and C. Weiming / [and others]
• Support Based Measures Applied to Ice Hockey Scoring Summaries / B. Kram, J. Hall and H. Hamilton -- Meta-Constraints on Violations for Over Constrained Problems / T. Petit, J.-C. Regin and C. Bessiere -- Local Minimum Structures of Graph-Coloring Problems for Stochastic Constraint Satisfaction Algorithms / K. Mizuno and S. Nishihara -- Combining Various Algorithms to Solve the Ship Berthing Problem / K.-S. Goh and A. Lim -- Self-Optimising CBR Retrieval / J. Jarmulak, S. Craw and R. Rowe -- Efficient Defeasible Reasoning Systems / M. Maher, A. Rock and G. Antoniou / [and others] -- Combining Heuristics for Default Logic Reasoning Systems / P. Nicolas, F. Suabion and I. Stephan -- Automated Reasoning on Monotonic Constraints / L. Bordeaux and F. Benhamou -- Model Selection via Meta-Learning: A Comparative Study / A. Kalousis and M. Hilario -- Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory / M. West and T. McCluskey -- Designing a Learning-Automata-Based Controller for Client/Server Systems: A Methodology / G. Papadimitriou, A. Vakali and A. Pomportsis.

ISBN

• 0769509096
• 9780769509099
• 076950910X
• 9780769509105
• 0769509118
• 9780769509112

OCLC

• ocm45537715
• 45537715
• SCSB-1143715

Owning Institutions

Princeton University Library