| 2000 | Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features. | Yani Zhang, Changyun Wen, Ying Zhang |
| 2000 | A Deterministic Algorithm for Solving Imprecise Decision Problems. | Hkan L. S. Younes, Love Ekenberg |
| 2000 | Turn Planning in CIRCSIM-Tutor. | Feng-Jen Yang, Jung Hee Kim, Michael Glass, Martha W. Evens |
| 2000 | Active Case-Based Reasoning for Lessons Delivery System. | Rosina Weber, David W. Aha, Karl Branting, J. Robert Lucas, Irma Becerra-Fernandez |
| 2000 | Ground-Based Control of a Satellite Cluster. | Ross H. Wainwright |
| 2000 | The Effect of Organizational Culture on the Implementation of Knowledge Management. | Francis D. Tuggle, Nancy C. Shaw |
| 2000 | Validation Method for Intelligent Systems. | Setsuo Tsuruta, Takashi Onoyama, Sen Kubota, Kazuko Oyanagi |
| 2000 | Modeling Specification and Verification of an Emergency Closing System. | Werner Stephan, Georg Rock, Michael Brodski |
| 2000 | Fundamental Properties of the Core Matching Functions for Information Retrieval. | Dawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung Cheng |
| 2000 | Systematic Treatment of Failures Using Multilayer Perceptrons. | Fadzilah Siraj, Derek Partridge |
| 2000 | Independence Semantics for BKBs. | Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Rosen |
| 2000 | Use of Data Mining on Satellite Data Bases for Knowledge Extraction. | Lance Self |
| 2000 | Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21). | Thomas P. Schetter, Mark E. Campbell, Derek M. Surka |
| 2000 | Cache Diversity in Genetic Algorithm Design. | Eunice E. Santos, Eugene Santos Jr. |
| 2000 | Zooming in on Trade-Offs in Qualitative Probabilistic Networks. | Silja Renooij, Linda C. van der Gaag, Shaw Green, Simon Parsons |
| 2000 | Using Learning in a Control Agent. | James J. Pomykalski, James Madison |
| 2000 | An Ontology as Domain Model in a Web-Based Educational System for Prolog. | Christoph Peylo, Wilfried Teiken, Claus-Rainer Rollinger, Helmar Gust |
| 2000 | Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. | Uwe Petermann |
| 2000 | Automated Partitioning of Tonal Music. | Bryan Pardo, William P. Birmingham |
| 2000 | Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem. | Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny Scardino, William Douglas |
| 2000 | Verification of Cooperating Systems - An Approach Based on Formal Languages. | Peter Ochsenschlger, Jrgen Repp, Roland Rieke |
| 2000 | The SH-Verification Tool. | Peter Ochsenschlger, Jrgen Repp, Roland Rieke |
| 2000 | Inferencing Bayesian Networks from Time Series Data Using Natural Selection. | Andrew J. Novobilski, Farhad Kamangar |
| 2000 | Domain Semantics for Agent-Oriented Programming. | Roger L. Norton, S. Rebecca Thomas |
| 2000 | A Boosting-Based Prototype Weighting and Selection Scheme. | Richard Nock, Marc Sebban |