451 | -- | 481 | Philippe Chatalic, Laurent Simon. Multiresolution for SAT Checking |
483 | -- | 501 | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller. Efficient Defeasible Reasoning Systems |
503 | -- | 523 | Pascal Nicolas, Frédéric Saubion, Igor Stéphan. Heuristics for a Default Logic Reasoning System |
525 | -- | 554 | Alexandros Kalousis, Melanie Hilario. Model Selection via Meta-Learning: A Comparative Study |
555 | -- | 572 | Haleh Vafaie, Dean Abbott, Mark Hutchins, I. Philip Matkovsky. Improving Performance of Inductive Models through an Algorithm and Sample Combination Strategy |
573 | -- | 588 | Kimberly D. Voll, Tom P. Yeh, Verónica Dahl. An Assumptive Logic Programming Methodology for Parsing |
589 | -- | 611 | Reinhard Moratz, Kerstin Fischer, Thora Tenbrink. Cognitive Modeling of Spatial Reference for Human-Robot Interaction |
613 | -- | 637 | Margaret Mary West, T. L. McCluskey. The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory |
639 | -- | 662 | Xuan Liu, Shashi Shekhar, Sanjay Chawla. Maintaining Spatial Constraints Using a Dimension Graph Approach |
663 | -- | 674 | Borisas Bursteinas, James Allen Long. Transforming Supervised Classifiers for Feature Extraction (Extended Version) |
675 | -- | 690 | Yasuhiro Akiba, Hiromi Nakaiwa, Yoshifumi Ooyama, Satoshi Shirai. Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy |
691 | -- | 713 | Tu Bao Ho, Trong Dung Nguyen, DucDung Nguyen, Saori Kawasaki. Visualization Support for User-Centered Model Selection in Knowledge Discovery and Data Mining |
715 | -- | 734 | Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap. Identifying Overlapped Objects for Video Indexing and Modeling in Multimedia Database Systems |