Progress in Discovery Science

The impact of verification technologies would be much greater if they could not only verify existing information systems, but also synthesize or discover new ones. In our previous study, we tried to discover new algorithms that satisfy a given specification, by first defining a space of algorithms, and then checking each algorithm in the space against the specification, using an automatic verifier, i.e., model checker. Needless to say, the most serious problem of this approach is in search space explosion. In this paper, we describe case studies in which we employed symbolic model checking using BDD and searched for synchronization algorithms. By employing symbolic model checking, we could speed up enumeration and verification of algorithms. We also discuss the use of approximation for reducing the search space.

[1]  James D. Hollan,et al.  Zooming Web browser , 1996, Electronic Imaging.

[2]  John Riedl,et al.  GroupLens: an open architecture for collaborative filtering of netnews , 1994, CSCW '94.

[3]  Karen Kukich,et al.  Techniques for automatically correcting words in text , 1992, CSUR.

[4]  Satoru Miyano,et al.  Designing Views in HypothesisCreator: System for Assisting in Discovery , 1999, Discovery Science.

[5]  James R. Keane.  Principles of Neurology, 5th Edition Companion Handbook. , 1995 .

[6]  G. D. Roy,et al.  Propulsion Combustion: Fuels to Emissions , 1999 .

[7]  James Demmel,et al.  Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology , 1997, ICS '97.

[8]  Gregory Piatetsky-Shapiro,et al.  ' s Introduction : Knowledge Discovery in Databases-from Research to Applications , 2004 .

[9]  Matteo Frigo.  A Fast Fourier Transform Compiler , 1999, PLDI.

[10]  S. P. Lloyd,et al.  Least squares quantization in PCM , 1982, IEEE Trans. Inf. Theory.

[11]  Lawrence B. Holder,et al.  Substructure Discovery Using Minimum Description Length and Background Knowledge , 1993, J. Artif. Intell. Res..

[12]  Udi Manber,et al.  Fast text searching: allowing errors , 1992, CACM.

[13]  Yuzuru Tanaka.  A Meme Media Architecture for Fine-Grain Component Software , 1996, ISOTAS.

[14]  Hiroshi Imai,et al.  Implementing the context tree weighting method for text compression , 2000, Proceedings DCC 2000. Data Compression Conference.

[15]  C. J. Lawn,et al.  Principles of combustion engineering for boilers , 1987 .

[16]  Sanjeev Khanna,et al.  On approximating rectangle tiling and packing , 1998, SODA '98.

[17]  Gauthier Hulot,et al.  Worldwide wavelet analysis of geomagnetic jerks , 1996 .

[18]  Sachio Hirokawa,et al.  Living with ZK-an approach towards communication with analogue messages , 1998, 1998 Second International Conference. Knowledge-Based Intelligent Electronic Systems. Proceedings KES'98 (Cat. No.98EX111).

[19]  P Vincens,et al.  Computational method to predict mitochondrially imported proteins and their targeting sequences. , 1996, European journal of biochemistry.

[20]  Norberto Fueyo,et al.  Modelling the Temporal Evolution of a Reduced Combustion Chemical System With an Artificial Neural Network , 1998 .

[21]  Hiroki Arimura,et al.  Learning Unions of Tree Patterns Using Queries , 1995, ALT.

[22]  David G. Luenberger,et al.  Linear and Nonlinear Programming: Second Edition , 2003 .

[23]  Haojiang Wu,et al.  Intelligent identification system of flow regime of oil–gas–water multiphase flow , 2001 .

[24]  Michael Frazier,et al.  Learning From Entailment: An Application to Propositional Horn Sentences , 1993, ICML.

[25]  Yuzuru Tanaka,et al.  IntelligentBox: a constructive visual software development system for interactive 3D graphic applications , 1995, Proceedings Computer Animation'95.

[26]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[27]  Jun-ichi Hasegawa,et al.  Automated construction of image processing procedure based on misclassification condition , 2000, Proceedings 15th International Conference on Pattern Recognition. ICPR-2000.

[28]  Lili Cafarella,et al.  Worldwide character of the 1991 geomagnetic jerk , 1998 .

[29]  I. Kimura,et al.  Estimation of electron temperature by VLF waves propagating in directions near the resonance cone , 1977 .

[30]  Eli Upfal,et al.  The Web as a graph , 2000, PODS.

[31]  Kaizhong Zhang,et al.  Combinatorial pattern discovery for scientific data: some preliminary results , 1994, SIGMOD '94.

[32]  H. Simon,et al.  Models of Discovery : and other topics in the methods of science , 1977 .

[33]  Osamu Konishi,et al.  Data Mining System for Planetary Images - Crater Detection and Categorization , 2000 .

[34]  S S Stevens,et al.  On the Theory of Scales of Measurement. , 1946, Science.

[35]  Teuvo Kohonen,et al.  Self-Organizing Maps, Second Edition , 1997, Springer Series in Information Sciences.

[36]  Zvi Galil,et al.  Open Problems in Stringology , 1985 .

[37]  Esko Ukkonen,et al.  Discovering Unbounded Unions of Regular Pattern Languages from Positive Examples (Extended Abstract) , 1996, ISAAC.

[38]  Lili Cafarella,et al.  Evidence for a geomagnetic jerk in 1990 across Europe , 1995 .

[39]  Kyuseok Shim,et al.  PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning , 1998, Data Mining and Knowledge Discovery.

[40]  Thomas S. Huang,et al.  Extracting 3D Vortices in Turbulent Fluid Flow , 1998, IEEE Trans. Pattern Anal. Mach. Intell..

[41]  Alistair Moffat,et al.  Implementing the PPM data compression scheme , 1990, IEEE Trans. Commun..

[42]  Hang Li,et al.  Generalizing Case Frames Using a Thesaurus and the MDL Principle , 1995, CL.

[43]  Howard B. Demuth,et al.  Neutral network toolbox for use with Matlab , 1995 .

[44]  Osamu Watanabe.  Sequential Sampling Techniques for Algorithmic Learning Theory , 2000, ALT.

[45]  Horst Bunke,et al.  Syntactic and structural pattern recognition : theory and applications , 1990 .

[46]  H. Sebastian Seung,et al.  Query by committee , 1992, COLT '92.

[47]  Takashi Washio,et al.  Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains , 1999, IJCAI.

[48]  Tomoyuki Higuchi,et al.  Automatic identification of large‐scale field‐aligned current structures , 2000 .

[49]  Usama M. Fayyad,et al.  Automating the Analysis and Cataloging of Sky Surveys , 1996, Advances in Knowledge Discovery and Data Mining.

[50]  Tomasz Imielinski,et al.  Database Mining: A Performance Perspective , 1993, IEEE Trans. Knowl. Data Eng..

[51]  Shinichi Shimozono,et al.  Alphabet Indexing for Approximating Features of Symbols , 1999, Theor. Comput. Sci..

[52]  David Haussler,et al.  Complete inverted files for efficient text retrieval and analysis , 1987, JACM.

[53]  Ayumi Shinohara,et al.  A practical algorithm to find the best subsequence patterns , 2000, Theor. Comput. Sci..

[54]  Michael J. A. Berry,et al.  Data mining techniques - for marketing, sales, and customer support , 1997, Wiley computer publishing.

[55]  Kazumi Saito,et al.  Partial BFGS Update and Efficient Step-Length Calculation for Three-Layer Neural Networks , 1997, Neural Computation.

[56]  Jack J. Dongarra,et al.  Automated empirical optimizations of software and the ATLAS project , 2001, Parallel Comput..

[57]  Koichi Niijima,et al.  Robust lifting wavelet transform for subimage extraction , 2000, SPIE Optics + Photonics.

[58]  Hirotugu Akaike,et al.  Likelihood and the Bayes procedure , 1980 .

[59]  Stéphane Mallat,et al.  Characterization of Signals from Multiscale Edges , 2011, IEEE Trans. Pattern Anal. Mach. Intell..

[60]  J. Ross Quinlan,et al.  Induction of Decision Trees , 1986, Machine Learning.

[61]  Yoav Freund,et al.  Experiments with a New Boosting Algorithm , 1996, ICML.

[62]  Einoshin Suzuki,et al.  Issues in Organizing a Successful Knowledge Discovery Contest , 2000, Discovery Science.

[63]  W. Teahan,et al.  Experiments on the zero frequency problem , 1995, Proceedings DCC '95 Data Compression Conference.

[64]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[65]  Tom Fawcett,et al.  Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Distributions , 1997, KDD.

[66]  A. Vogel,et al.  Modern Optical Techniques in Fluid Mechanics , 1984 .

[67]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1995, EuroCOLT.

[68]  S. Brunak,et al.  Predicting subcellular localization of proteins based on their N-terminal amino acid sequence. , 2000, Journal of molecular biology.

[69]  Kazumi Saito,et al.  Second-Order Learning Algorithm with Squared Penalty Term , 1996, Neural Computation.

[70]  S Tsumoto,et al.  Automated discovery of positive and negative knowledge in clinical databases. , 2000, IEEE engineering in medicine and biology magazine : the quarterly magazine of the Engineering in Medicine & Biology Society.

[71]  Andrew Harvey,et al.  Forecasting, Structural Time Series Models and the Kalman Filter. , 1991 .

[72]  高野 茂.  Signal and Image Extraction by Lifting Wavelets , 2001 .

[73]  Christopher R. Westphal,et al.  Data Mining Solutions: Methods and Tools for Solving Real-World Problems , 1998 .

[74]  Yoav Freund,et al.  An Adaptive Version of the Boost by Majority Algorithm , 1999, COLT.

[75]  Dayne Freitag,et al.  Information Extraction from HTML: Application of a General Machine Learning Approach , 1998, AAAI/IAAI.

[76]  Alberto Maria Segre,et al.  Programs for Machine Learning , 1994 .

[77]  Pattie Maes,et al.  Social information filtering: algorithms for automating “word of mouth” , 1995, CHI '95.

[78]  Y. Freund,et al.  Discussion of the Paper \additive Logistic Regression: a Statistical View of Boosting" By , 2000 .

[79]  Stéphane Mallat,et al.  Singularity detection and processing with wavelets , 1992, IEEE Trans. Inf. Theory.

[80]  W. Sweldens.  The Lifting Scheme: A Custom - Design Construction of Biorthogonal Wavelets "Industrial Mathematics , 1996 .

[81]  Hideo Bannai,et al.  VM lambda: a Functional Calculus for Scientific Discovery , 2002, APLAS.

[82]  Hiroki Arimura,et al.  Automatic Detection of Geomagnetic Sudden Commencement Using Lifting Wavelet Filters , 1999, Discovery Science.

[83]  Sago Deroski.  Discovering Dynamics: From Inductive Logic Programming To Machine Discovery , 2002 .

[84]  Kunio Tanabe,et al.  An exact Cholesky decomposition and the generalized inverse of the variance-covariance matrix of the multinomial distribution, with applications , 1992 .

[85]  Genshiro Kitagawa,et al.  Smoothness Prior Approach to Explore the Mean Structure in Large Time Series Data , 1999, Discovery Science.

[86]  Piotr Indyk,et al.  Enhanced hypertext categorization using hyperlinks , 1998, SIGMOD '98.

[87]  G. Kitagawa.  Smoothness priors analysis of time series , 1996 .

[88]  Ricardo A. Baeza-Yates,et al.  Searching Subsequences , 1991, Theoretical Computer Science.

[89]  Enjámin,et al.  Pad ++ : A Zoomable Graphical Sketchpad For Exploring Alternate Interface Physics , 1996 .

[90]  William W. Cohen,et al.  Learning Page-Independent Heuristics for Extracting Data from Web Pages , 1999, Comput. Networks.

[91]  Dana Angluin,et al.  Queries and concept learning , 1988, Machine Learning.

[92]  Kazumi Saito,et al.  Law Discovery using Neural Networks , 1997, IJCAI.

[93]  Nobuhiro Yugami,et al.  Fast Discovery of Interesting Rules , 2000, PAKDD.

[94]  Robert E. Schapire.  The Strength of Weak Learnability (Extended Abstract) , 1989, FOCS 1989.

[95]  Kuniaki Uehara,et al.  Discovering of Correlation from Multi-stream of Human Motion , 2000, Discovery Science.

[96]  Hiroshi Tanaka,et al.  Automated Discovery of Medical Expert System Rules from Clinical Databases Based on Rough Sets , 1996, KDD.

[97]  G. Kitagawa.  Monte Carlo Filter and Smoother for Non-Gaussian Nonlinear State Space Models , 1996 .

[98]  J. Rissanen,et al.  Modeling By Shortest Data Description* , 1978, Autom..

[99]  Ayumi Shinohara,et al.  A Practical Algorithm to Find the Best Episode Patterns , 2001, Discovery Science.

[100]  Wojciech Ziarko,et al.  Variable Precision Rough Set Model , 1993, J. Comput. Syst. Sci..

[101]  Yuri M. Shtarkov,et al.  Text compression by context tree weighting , 1997, Proceedings DCC '97. Data Compression Conference.

[102]  Shusaku Tsumoto.  Modelling Medical Diagnostic Rules Based on Rough Sets , 1998, Rough Sets and Current Trends in Computing.

[103]  H. Akaike.  A new look at the statistical model identification , 1974 .

[104]  Y. Kanada,et al.  A Methodology for Automatically Tuned Parallel Tridiagonalization on Distributed Memory Vector-parallel Machines , 2000 .

[105]  Shusaku Tsumoto,et al.  Knowledge discovery in clinical databases and evaluation of discovered knowledge in outpatient clinic , 2000, Inf. Sci..

[106]  B. Bruce,et al.  Chloroplast transit peptides: structure, function and evolution. , 2000, Trends in cell biology.

[107]  Stephen D. Bay.  Combining Nearest Neighbor Classifiers Through Multiple Feature Subsets , 1998, ICML.

[108]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[109]  Osamu Watanabe,et al.  Scaling Up a Boosting-Based Learner via Adaptive Sampling , 2000, PAKDD.

[110]  Makoto Nagao,et al.  A Syntactic Analysis Method of Long Japanese Sentences Based on the Detection of Conjunctive Structures , 1994, Comput. Linguistics.

[111]  Shinichi Morishita,et al.  Weighted Majority Decision among Several Region Rules for Scientific Discovery , 1999, Discovery Science.

[112]  Kazumi Saito,et al.  Discovery of a Set of Nominally Conditioned Polynomials , 1999, Discovery Science.

[113]  Stuart J. Russell.  Efficient Memory-Bounded Search Methods , 1992, ECAI.

[114]  J. P. Ed,et al.  Transmission control protocol- darpa internet program protocol specification , 1981 .

[115]  Etsuya Shibayama,et al.  Automatic animation of discussions in USENET , 2000, AVI '00.

[116]  Yoshiya Kasahara,et al.  Electron density distribution in the plasmasphere in conjunction with IRI model, deduced from Akebono wave data , 1996 .

[117]  M. Stone,et al.  Cross‐Validatory Choice and Assessment of Statistical Predictions , 1976 .

[118]  Tomasz Imielinski,et al.  Mining association rules between sets of items in large databases , 1993, SIGMOD Conference.

[119]  Katsutoshi Yada,et al.  A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History , 2002, Progress in Discovery Science.

[120]  R. Adrian.  Particle-Imaging Techniques for Experimental Fluid Mechanics , 1991 .

[121]  Vladimir Vovk,et al.  A game of prediction with expert advice , 1995, COLT '95.

[122]  G. Wei,et al.  A new algorithm for solving some mechanical problems , 2001 .

[123]  M. Kokar.  Determining arguments of invariant functional descriptions , 2004, Machine Learning.

[124]  Dan Gusfield.  Algorithms on Strings, Trees, and Sequences - Computer Science and Computational Biology , 1997 .

[125]  Robert J. Keith,et al.  The Marketing Revolution , 1960 .

[126]  B. Matthews.  Comparison of the predicted and observed secondary structure of T4 phage lysozyme. , 1975, Biochimica et biophysica acta.

[127]  Satoru Miyano,et al.  Design Aspects of Discovery Systems , 2000 .

[128]  Osamu Watanabe.  Simple Sampling Techniques for Discovery Science , 2000 .

[129]  Theodosios Pavlidis,et al.  Segmentation of Plane Curves , 1974, IEEE Transactions on Computers.

[130]  Y. Shtarkov,et al.  The context-tree weighting method: basic properties , 1995, IEEE Trans. Inf. Theory.

[131]  Herbert A. Simon,et al.  Scientific Discovery and Simplicity of Method , 1997, Artif. Intell..

[132]  Masayuki Takeda,et al.  Discovering instances of poetic allusion from anthologies of classical Japanese poems , 2003, Theor. Comput. Sci..

[133]  J. Rissanen.  Stochastic Complexity in Statistical Inquiry Theory , 1989 .

[134]  Satoru Miyano,et al.  Extensive feature detection of N-terminal protein sorting signals , 2002, Bioinform..

[135]  G. McLachlan,et al.  The EM algorithm and extensions , 1996 .

[136]  Jon Louis Bentley,et al.  Programming pearls , 1987, CACM.

[137]  Yuzuru Tanaka,et al.  Meme media and a world-wide meme pool , 1997, MULTIMEDIA '96.

[138]  R. Lewontin.  ‘The Selfish Gene’ , 1977, Nature.

[139]  Andrea Califano,et al.  SPLASH: structural pattern localization analysis by sequential histograms , 2000, Bioinform..

[140]  Peter Eades,et al.  FADE: Graph Drawing, Clustering, and Visual Abstraction , 2000, GD.

[141]  David S. Doermann,et al.  Video summarization by curve simplification , 1998, MULTIMEDIA '98.

[142]  Katsutoshi Yada,et al.  A Data Mining System for Managing Customer Relationship , 2000 .

[143]  Masayuki Takeda,et al.  Discovering Characteristic Expressions from Literary Works: A New Text Analysis Method beyond N-Gram Statistics and KWIC , 2000, Discovery Science.

[144]  A. Lefebvre.  Atomization and Sprays , 1988 .

[145]  Atsuhiro Takasu,et al.  Phrase based feature extraction for musical information retrieval , 1999, 1999 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM 1999). Conference Proceedings (Cat. No.99CH36368).

[146]  Dana Angluin,et al.  Finding Patterns Common to a Set of Strings , 1980, J. Comput. Syst. Sci..

[147]  Rie Honda,et al.  Semantic indexing and temporal rule discovery for time-series sattelite images , 2000, MDM/KDD.

[148]  Heekuck Oh,et al.  Neural Networks for Pattern Recognition , 1993, Adv. Comput..

[149]  Eli Upfal,et al.  Web search using automatic classification , 1996, WWW 1996.

[150]  Célestin Deliège.  À propos de l’ouvrage de Lerdahl et Jackendoff : « A Generative Theory of Tonal Music » , 1983 .

[151]  Manfred K. Warmuth,et al.  The weighted majority algorithm , 1989, 30th Annual Symposium on Foundations of Computer Science.

[152]  Paul R. Cohen,et al.  Searching for Structure in Multiple Streams of Data , 1996, ICML.

[153]  S. Macmillan,et al.  A geomagnetic jerk for the early 1990's , 1996 .

[154]  I. Daubechies,et al.  Wavelet Transforms That Map Integers to Integers , 1998 .

[155]  Tom M. Mitchell,et al.  Learning to construct knowledge bases from the World Wide Web , 2000, Artif. Intell..

[156]  Ramakrishnan Srikant,et al.  Fast Algorithms for Mining Association Rules in Large Databases , 1994, VLDB.

[157]  Dov Dori,et al.  The representation of document structure: a generic object-process analysis , 1995 .

[158]  Ramakrishnan Srikant,et al.  Fast algorithms for mining association rules , 1998, VLDB 1998.

[159]  Sachio Hirokawa,et al.  Developing a Knowledge Network of URLs , 1999, Discovery Science.

[160]  Richard O. Duda,et al.  Pattern classification and scene analysis , 1974, A Wiley-Interscience publication.

[161]  上田 博唯,et al.  TVML(TV program Making Language) : Automatic TV Program Generation from Text-based Script , 1999 .

[162]  Kyuseok Shim,et al.  Mining Optimized Gain Rules for Numeric Attributes , 2003, IEEE Trans. Knowl. Data Eng..

[163]  Heikki Mannila,et al.  Ordered and Unordered Tree Inclusion , 1995, SIAM J. Comput..

[164]  Rajeev Motwani,et al.  The PageRank Citation Ranking : Bringing Order to the Web , 1999, WWW 1999.

[165]  Eric Bauer,et al.  An Empirical Comparison of Voting Classification Algorithms: Bagging, Boosting, and Variants , 1999, Machine Learning.

[166]  Masayuki Takeda,et al.  Discovering characteristic patterns from collections of classical Japanese poems , 1998, New generation computing.

[167]  Padhraic Smyth,et al.  From Data Mining to Knowledge Discovery in Databases , 1996, AI Mag..

[168]  frInstitute Gaspard-Monge,et al.  Directed Acyclic Subsequence Graph for multiple textsMaxime , 1999 .

[169]  Etsuya Shibayama,et al.  Hyper Mochi Sheet: a predictive focusing interface for navigating and editing nested networks through a multi-focus distortion-oriented view , 1999, CHI '99.

[170]  Yuzuru Tanaka,et al.  IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations , 1989, IFIP Congress.

[171]  Ayumi Shinohara,et al.  Knowledge Acquisition from Amino Acid Sequences by Machine Learning System BONSAI , 1992 .

[172]  Hiroki Arimura,et al.  Text Data Mining with Optimized Pattern Discovery , 2000 .

[173]  Hiroshi Imai,et al.  Can General-Purpose Compression Schemes Really Compress DNA Sequences ? , 2000 .

[174]  Ramana Rao,et al.  Laying out and visualizing large trees using a hyperbolic space , 1994, UIST '94.

[175]  Yuji Ikeda,et al.  The First Step for Combustion Diagnostic-Problem Understanding and Viewing (小特集 「発見科学」及び一般演題) , 2000 .

[176]  Saso Dzeroski,et al.  Declarative Bias in Equation Discovery , 1997, International Conference on Machine Learning.

[177]  Performance of AutomaticallyTuned Parallel GMRES ( m ) Methodon Distributed Memory , 1999 .

[178]  Padhraic Smyth,et al.  From Data Mining to Knowledge Discovery: An Overview , 1996, Advances in Knowledge Discovery and Data Mining.

[179]  Ayumi Shinohara,et al.  Online construction of subsequence automata for multiple texts , 2000, Proceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000.

[180]  Ramana Rao,et al.  A focus+context technique based on hyperbolic geometry for visualizing large hierarchies , 1995, CHI '95.

[181]  Genshiro Kitagawa,et al.  Automatic Transaction of Signal via Statistical Modeling , 1998, Discovery Science.

[182]  M. Ishiguro,et al.  A bayesian approach to binary response curve estimation , 1983 .

[183]  Pietro Perona,et al.  Learning to Recognize Volcanoes on Venus , 1998, Machine Learning.

[184]  Donald J. Berndt,et al.  Finding Patterns in Time Series: A Dynamic Programming Approach , 1996, Advances in Knowledge Discovery and Data Mining.

[185]  Pietro Perona,et al.  Modeling Subjective Uncertainty in Image Annotation , 1996, Advances in Knowledge Discovery and Data Mining.

[186]  Hiroshi Matsumoto,et al.  EXOS-D (AKEBONO) very low frequency plasma wave instruments (VLF) , 1997, IEEE Trans. Geosci. Remote. Sens..

[187]  Ryoji Homma,et al.  Combustion process optimization by genetic algorithms: Reduction of NO2 emission via optimal postflame process , 2000 .

[188]  Gregory Piatetsky-Shapiro,et al.  Advances in Knowledge Discovery and Data Mining , 2004, Lecture Notes in Computer Science.

[189]  Kuniaki Uehara,et al.  A Motion Recognition Method by Using Primitive Motions , 2000, VDB.

[190]  Earl Rennison,et al.  Galaxy of news: an approach to visualizing and understanding expansive news landscapes , 1994, UIST '94.

[191]  Osamu Watanabe,et al.  MadaBoost: A Modification of AdaBoost , 2000, COLT.

[192]  R. Merrill.  The magnetic field of the earth , 1996 .

[193]  Takashi Tsuchiya,et al.  Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution Function , 2000, Discovery Science.

[194]  Robert Groth.  Data Mining: Building Competitive Advantage , 1999 .

[195]  S. Watanabe,et al.  The suprathermal ion mass spectrometer (SMS) onboard the Akebono (EXOS-D) satellite , 1990 .

[196]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[197]  G. Schwarz.  Estimating the Dimension of a Model , 1978 .

[198]  Yoshua Bengio,et al.  Pattern Recognition and Neural Networks , 1995 .

[199]  Kuniaki Uehara,et al.  Extraction of Primitive Motion for Human Motion Recognition , 1999, Discovery Science.

[200]  J. J. Angerami,et al.  Studies of planetary atmospheres: 1. The distribution of electrons and ions in the Earth's exosphere , 1964 .

[201]  Frans M. J. Willems,et al.  Implementing the context-tree weighting method , 1996 .

[202]  Ayumi Shinohara,et al.  Musical Sequence Comparison for Melodic and Rhythmic Similarities , 2001, SPIRE.

[203]  Satoru Miyano,et al.  Views: Fundamental Building Blocks in the Process of Knowledge Discovery , 2001, FLAIRS.

[204]  Nicholas Kushmerick,et al.  Wrapper induction: Efficiency and expressiveness , 2000, Artif. Intell..

[205]  Ravi Kumar,et al.  Extracting Large-Scale Knowledge Bases from the Web , 1999, VLDB.

[206]  Hiroshi Imai,et al.  Data Compression Method Combining Properties of PPM and CTW , 2002, Progress in Discovery Science.

[207]  David Haussler,et al.  How to use expert advice , 1993, STOC.

[208]  Alex Pentland,et al.  Space-time gestures , 1993, Proceedings of IEEE Conference on Computer Vision and Pattern Recognition.

[209]  Chun-Nan Hsu,et al.  Initial Results on Wrapping Semistructured Web Pages with Finite-State Transducers and Contextual Rules , 1998 .

[210]  Ben Shneiderman,et al.  Tree-maps: a space-filling approach to the visualization of hierarchical information structures , 1991, Proceeding Visualization '91.

[211]  Hector Garcia-Molina,et al.  Extracting Semistructured Information from the Web. , 1997 .

[212]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

[213]  G. W. Furnas,et al.  Generalized fisheye views , 1986, CHI '86.

[214]  Hiroyuki Kawano,et al.  ROC Performance Evaluation of Web-Based Bibliographic Navigator using Extended Association Rules , 1999, ICSC.

[215]  I. L. Thomas,et al.  Classification of remotely sensed images. , 1987 .

[216]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[217]  Leroy R. Alldredge,et al.  A discussion of impulses and jerks in the geomagnetic field , 1984 .

[218]  Manfred K. Warmuth,et al.  Averaging Expert Predictions , 1999, EuroCOLT.

[219]  Tomoyuki HIGUCHI,et al.  Knowledge Discovery and Self-Organizing State Space Model , 2000 .

[220]  Yasuhiko Morimoto,et al.  Computing Optimized Rectilinear Regions for Association Rules , 1997, KDD.

[221]  M. Kanehisa,et al.  A knowledge base for predicting protein localization sites in eukaryotic cells , 1992, Genomics.

[222]  Robert E. Schapire,et al.  Predicting Nearly as Well as the Best Pruning of a Decision Tree , 1995, COLT.

[223]  Hiroshi Sakamoto,et al.  Identification of Tree Translation Rules from Examples , 2000, ICGI.

[224]  Yuzuru Tanaka.  From Augmentation Media to Meme Media. , 1994 .

[225]  Ayumi Shinohara,et al.  Discovering Repetitive Expressions and Affinities from Anthologies of Classical Japanese Poems , 2001, Discovery Science.

[226]  Tj Tjalling Tjalkens,et al.  A context-tree weighting method for text generating sources , 1997, Proceedings DCC '97. Data Compression Conference.

[227]  Eiji Takimoto,et al.  A Simple Algorithm for Predicting Nearly as Well as the Best Pruning Labeled with the Best Prediction Values of a Decision Tree , 1997, ALT.

[228]  Tamara Munzner,et al.  H3: laying out large directed graphs in 3D hyperbolic space , 1997, Proceedings of VIZ '97: Visualization Conference, Information Visualization Symposium and Parallel Rendering Symposium.

[229]  Takeo Kanade,et al.  Video skimming and characterization through the combination of image and language understanding , 1998, Proceedings 1998 IEEE International Workshop on Content-Based Access of Image and Video Database.

[230]  Hiroyuki Kawano,et al.  An application of text mining: bibliographic navigator powered by extended association rules , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[231]  László Györfi,et al.  A Probabilistic Theory of Pattern Recognition , 1996, Stochastic Modelling and Applied Probability.

[232]  Ayumi Shinohara,et al.  Fragmentary Pattern Matching: Complexity, Algorithms and Applications for Analyzing Classic Literary Works , 2009, ISAAC.

[233]  Yuji Ikeda,et al.  Multi-intensity-layer particle-image velocimetry for spray measurement , 2000 .

[234]  Takashi Washio,et al.  Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints , 1997, IJCAI.

[235]  Kazumi Saito,et al.  Discovering empirical laws of Web dynamics , 2002, Proceedings 2002 Symposium on Applications and the Internet (SAINT 2002).

[236]  Y. Kasahara,et al.  ELF/VLF waves correlated with transversely accelerated ions in the auroral region observed by Akebono , 2001 .

[237]  Takashi Watanabe,et al.  Detection of Broken Ellipses by the Hough Transforms and Multiresolutional Images , 1991, Systems and Computers in Japan.

[238]  Hiroyuki Kawano,et al.  Mondou: Web search engine with textual data mining , 1997, 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM. 10 Years Networking the Pacific Rim, 1987-1997.

[239]  Frank Drewes.  Computation by tree transductions , 1996 .

[240]  Yasuhiko Morimoto,et al.  Data mining using two-dimensional optimized association rules: scheme, algorithms, and visualization , 1996, SIGMOD '96.

[241]  Lyn Bartram,et al.  The continuous zoom: a constrained fisheye technique for viewing and navigating large information spaces , 1995, UIST '95.

[242]  H. Strangeways.  A model for the electron temperature variation along geomagnetic field lines and its effect on electron density profiles and VLF paths , 1986 .

[243]  Geoffrey J. McLachlan,et al.  Finite Mixture Models , 2019, Annual Review of Statistics and Its Application.

[244]  Brendan Kitts,et al.  Cross-sell: a fast promotion-tunable customer-item recommendation method based on conditionally independent probabilities , 2000, KDD '00.

[245]  Nada Lavrac,et al.  The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains , 1986, AAAI.

[246]  Andrzej Skowron,et al.  From the Rough Set Theory to the Evidence Theory , 1991 .

[247]  Hiroshi Matsumoto,et al.  VLF Observations by the Akebono (EXOS-D) Satellite , 1990 .

[248]  Takahiro Katagiri,et al.  A Parallel Implementation of Eigensolver and Its Performance , 1999, PPSC.

[249]  Ryszard S. Michalski,et al.  Data-Driven Constructive Induction , 1998, IEEE Intell. Syst..

[250]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[251]  Michael Stonebraker,et al.  Tioga-2: a direct manipulation database visualization environment , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[252]  Kathy Whaler,et al.  Optimal piecewise regression analysis and its application to geomagnetic time series , 1995 .

[253]  瀬々 潤,et al.  Traversing Itemset Lattices with Statistical Metric Pruning (小特集 「発見科学」及び一般演題) , 2000 .

[254]  K. Nakai.  Protein sorting signals and prediction of subcellular localization. , 2000, Advances in protein chemistry.

[255]  Shusaku Tsumoto,et al.  Automated Extraction of Medical Expert System Rules from Clinical Databases on Rough Set Theory , 1998, Inf. Sci..

[256]  Pat Langley,et al.  The Computer-Aided Discovery of Scientific Knowledge , 1998, Discovery Science.

[257]  Frédéric Bimbot,et al.  Language modeling by variable length sequences: theoretical formulation and evaluation of multigrams , 1995, 1995 International Conference on Acoustics, Speech, and Signal Processing.

[258]  Etsuya Shibayama,et al.  HishiMochi: a zooming browser for hierarchically clustered documents , 2000, CHI Extended Abstracts.

[259]  Hiroki Arimura,et al.  Learning Acyclic First-Order Horn Sentences from Entailment , 1997, ALT.

[260]  Ramana Rao,et al.  The Hyperbolic Browser: A Focus + Context Technique for Visualizing Large Hierarchies , 1996, J. Vis. Lang. Comput..

[261]  Atsuhiro Takasu,et al.  Probabilistic Automaton Model for Fuzzy English-Text Retrieval , 2000, ECDL.

[262]  W. Press,et al.  Numerical Recipes: The Art of Scientific Computing , 1987 .

[263]  Gauthier Hulot,et al.  Detection of geomagnetic jerks using wavelet analysis , 1995 .

[264]  Shigeru Katagiri,et al.  Law discovery from financial data using neural networks , 2000, Proceedings of the IEEE/IAFE/INFORMS 2000 Conference on Computational Intelligence for Financial Engineering (CIFEr) (Cat. No.00TH8520).

[265]  I. Kimura,et al.  Three Dimensional Ray Tracing of Whistler Mode Waves in a Non-Dipolar Magnetosphere , 1985 .

[266]  Zdzisław Pawlak,et al.  Rough modus ponens , 1998 .

[267]  Y. Kasahara,et al.  Global electron density distribution in the plasmasphere deduced from Akebono wave data and the IRI model , 1997 .

[268]  Ian H. Witten,et al.  Data Compression Using Adaptive Coding and Partial String Matching , 1984, IEEE Trans. Commun..

[269]  C. J. Hilditch,et al.  Linear Skeletons From Square Cupboards , 1969 .

[270]  Yoav Freund,et al.  Boosting a weak learning algorithm by majority , 1995, COLT '90.

[271]  Kazumi Saito,et al.  Computational Characteristics of Law Discovery Using Neural Networks , 1998, Discovery Science.

[272]  S. Watanabe,et al.  Thermal ion observations of depletion and refilling in the plasmaspheric trough , 1992 .

[273]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[274]  Frederick Jelinek,et al.  Statistical methods for speech recognition , 1997 .

[275]  Roni Khardon,et al.  Learning Function-Free Horn Expressions , 1999, Machine Learning.

[276]  Yonatan Aumann,et al.  Maximal Association Rules: A New Tool for Mining for Keyword Co-Occurrences in Document Collections , 1997, KDD.

[277]  David P. Dobkin,et al.  The quickhull algorithm for convex hulls , 1996, TOMS.

[278]  Hiroshi Sakamoto,et al.  Extracting Partial Structures from HTML Documents , 2000, FLAIRS.

[279]  Yuji Ikeda,et al.  Size-Classified Droplet Dynamics and its Slip Velocity Variation of Air-Assist Injector Spray , 1997 .

[280]  Brian Falkenhainer,et al.  6 – INTEGRATING QUANTITATIVE AND QUALITATIVE DISCOVERY IN THE ABACUS SYSTEM , 1990 .

[281]  Heikki Mannila,et al.  Discovering Frequent Episodes in Sequences , 1995, KDD.

[282]  Daisuke Ikeda.  Characteristic Sets of Strings Common to Semi-structured Documents , 1999, Discovery Science.

[283]  Steven F. Roth,et al.  An interactive visual query environment for exploring data , 1997, UIST '97.

[284]  Shigeki Goto,et al.  Analysis of TCP flags in congested network , 1999, 1999 Internet Workshop. IWS99. (Cat. No.99EX385).

[285]  Minoru Kanehisa,et al.  AAindex: Amino Acid index database , 2000, Nucleic Acids Res..

[286]  George C. Polyzos,et al.  A Parameterizable Methodology for Internet Traffic Flow Profiling , 1995, IEEE J. Sel. Areas Commun..

[287]  Craig A. Knoblock,et al.  Wrapper Induction for Semistructured, Web-based Information Sources , 1998 .

[288]  Satoru Miyano,et al.  Toward Genomic Hypothesis Creator: View Designer for Discovery , 1998, Discovery Science.

[289]  Hiroyuki Kawano,et al.  Mondou: Information Navigator with Visual Interface , 2000, DaWaK.

[290]  Wojciech Rytter,et al.  Text Algorithms , 1994 .

[291]  Hisao Tamaki,et al.  Algorithms for the maximum subarray problem based on matrix multiplication , 2000, SODA '98.

[292]  Michael J. A. Berry,et al.  Mastering Data Mining: The Art and Science of Customer Relationship Management , 1999 .

[293]  Kazumi Saito,et al.  Discovery of Relevant Weights by Minimizing Cross-Validation Error , 2000, PAKDD.

[294]  E. M. Bulewicz.  Combustion , 1964, Nature.

[295]  Y. Tanaka,et al.  A Synthetic Media Architecture for an Object-Oriented Open Platform , 1992, IFIP Congress.

[296]  Kurt Hornik,et al.  Multilayer feedforward networks are universal approximators , 1989, Neural Networks.

[297]  Kouichi Hirata,et al.  Tractable and intractable second-order matching problems , 2004, J. Symb. Comput..

[298]  Shinichi Morishita,et al.  On Classification and Regression , 1998, Discovery Science.

[299]  T. Mukai,et al.  Low energy charged particle observations in the auroral magnetosphere: first results from the Akebono (EXOS-D) satellite , 1990 .

[300]  野川 裕記.  Acquisition of Symbolic Description from Flow Fields : A New Approach based on a Fluid Model , 1997 .

[301]  B W Koehn,et al.  Experimenting and theorizing in theory formation , 1986, ISMIS '86.

[302]  Takashi Washio,et al.  Discovering Admissible Simultaneous Equations of Large Scale Systems , 1998, AAAI/IAAI.

[303]  Koichi Niijima,et al.  Subimage extraction by integer-type lifting wavelet transforms , 2000, Proceedings 2000 International Conference on Image Processing (Cat. No.00CH37101).

[304]  G. Heijne.  The signal peptide , 2005, The Journal of Membrane Biology.