| Searching for Mutual Exclusion Algorithms Using BDDs | p. 1 |
| Reducing Search Space in Solving Higher-Order Equations | p. 19 |
| The Structure of Scientific Discovery: From a Philosophical Point of View | p. 31 |
| Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert | p. 40 |
| Theory of Judgments and Derivations | p. 78 |
| Efficient Data Mining from Large Text Databases | p. 123 |
| A Computational Model for Children's Language Acquisition Using Inductive Logic Programming | p. 140 |
| Some Criterions for Selecting the Best Data Abstractions | p. 156 |
| Discovery of Chances Underlying Real Data | p. 168 |
| Towards the Integration of Inductive and Nonmonotonic Logic Programming | p. 178 |
| EM Learning for Symbolic-Statistical Models in Statistical Abduction | p. 189 |
| Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns | p. 201 |
| Constructing a Critical Casebase to Represent a Lattice-Based Relation | p. 214 |
| On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data | p. 224 |
| Rule Discovery from fMRI Brain Images by Logical Regression Analysis | p. 232 |
| A Theory of Hypothesis Finding in Clausal Logic | p. 246 |
| Efficient Data Mining by Active Learning | p. 258 |
| Data Compression Method Combining Properties of PPM and CTW | p. 268 |
| Discovery of Definition Patterns by Compressing Dictionary Sentences | p. 284 |
| On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree | p. 296 |
| Finding Best Patterns Practically | p. 307 |
| Classification of Object Sequences Using Syntactical Structure | p. 318 |
| Top-Down Decision Tree Boosting and Its Applications | p. 327 |
| Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data | p. 338 |
| Algorithmic Aspects of Boosting | p. 349 |
| Automatic Detection of Geomagnetic Jerks by Applying a Statistical TimeSeries Model to Geomagnetic Monthly Means | p. 360 |
| Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution | p. 372 |
| Inductive Thermodynamics from Time Series Data Analysis | p. 384 |
| Mining of Topographic Feature from Heterogeneous Imagery and Its Application to Lunar Craters | p. 395 |
| Application of Neural Network Technique to Combustion Spray Dynamics Analysis | p. 408 |
| Computational Analysis of Plasma Waves and Particles in the Auroral Region Observed by Scientific Satellite | p. 426 |
| A Flexible Modeling of Global Plasma Profile Deduced from Wave Data | p. 438 |
| Extraction of Signal from High Dimensional Time Series: Analysis of Ocean Bottom Seismograph Data | p. 449 |
| Foundations of Designing Computational Knowledge Discovery Processes | p. 459 |
| Computing Optimal Hypotheses Efficiently for Boosting | p. 471 |
| Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables | p. 482 |
| Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform | p. 494 |
| In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules | p. 504 |
| Mining from Literary Texts: Pattern Discovery and Similarity Computation | p. 518 |
| Second Difference Method Reinforced by Grouping: A New Tool for Assistance in Assignment of Complex Molecular Spectra | p. 532 |
| Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets | p. 543 |
| Toward the Discovery of First Principle Based Scientific Law Equations | p. 553 |
| A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History | p. 565 |
| Constructing Inductive Applications by Meta-Learning with Method Repositories | p. 576 |
| Knowledge Discovery from Semistructured Texts | p. 586 |
| Packet Analysis in Congested Networks | p. 600 |
| Visualization and Analysis of Web Graphs | p. 616 |
| Knowledge Discovery in Auto-tuning Parallel Numerical Library | p. 628 |
| Extended Association Algorithm Based on ROC Analysis for Visual Information Navigator | p. 640 |
| WWW Visualization Tools for Discovering Interesting Web Pages | p. 650 |
| Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet | p. 661 |
| Meme Media for Re-editing and Redistributing Intellectual Assets and Their Application to Interactive Virtual Information Materialization | p. 672 |
| Author Index | p. 683 |
| Table of Contents provided by Publisher. All Rights Reserved. |