Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions. - Hirowatari, Eiju; Hirata, Kouichi; Miyahara, Tetsuhiro; Arikawa, Setsuo (Inf. Media Technol., 2006)

On-line construction of compact directed acyclic word graphs. - Inenaga, Shunsuke; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo; Mauri, Giancarlo; Pavesi, Giulio (Discret. Appl. Math., 2005)

Efficient Substructure Discovery from Large Semi-Structured Data. - Asai, Tatsuya; Abe, Kenji; Kawasoe, Shinji; Sakamoto, Hiroshi; Arimura, Hiroki; Arikawa, Setsuo (IEICE Trans. Inf. Syst., 2004)

Compact directed acyclic word graphs for a sliding window. - Inenaga, Shunsuke; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (J. Discrete Algorithms, 2004)

Efficient Algorithms for Finding Frequent Substructures from Semi-structured Data Streams. - Asai, Tatsuya; Abe, Kenji; Kawasoe, Shinji; Arimura, Hiroki; Arikawa, Setsuo (2004)

Discovery Science, 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004, Proceedings (Springer, 2004)

A Note on Randomized Algorithm for String Matching with Mismatches. - Baba, Kensuke; Shinohara, Ayumi; Takeda, Masayuki; Inenaga, Shunsuke; Arikawa, Setsuo (Nord. J. Comput., 2003)

Preface. - Arikawa, Setsuo; Furukawa, Koichi; Morishita, Shinichi; Motoda, Hiroshi (Theor. Comput. Sci., 2003)

A practical algorithm to find the best subsequence patterns. - Hirao, Masahiro; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (Theor. Comput. Sci., 2003)

Collage system: a unifying framework for compressed pattern matching. - Kida, Takuya; Matsumoto, Tetsuya; Shibata, Yusuke; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (Theor. Comput. Sci., 2003)

Discovering Most Classificatory Patterns for Very Expressive Pattern Classes. - Takeda, Masayuki; Inenaga, Shunsuke; Bannai, Hideo; Shinohara, Ayumi; Arikawa, Setsuo (2003)

The Minimum DAWG for All Suffixes of a String and Its Applications. - Inenaga, Shunsuke; Takeda, Masayuki; Shinohara, Ayumi; Hoshino, Hiromasa; Arikawa, Setsuo (2002)

Discovering Best Variable-Length-Don't-Care Patterns. - Inenaga, Shunsuke; Bannai, Hideo; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2002)

Efficient Data Mining from Large Text Databases. - Arimura, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo (2002)

Finding Best Patterns Practically. - Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo; Hirao, Masahiro; Hoshino, Hiromasa; Inenaga, Shunsuke (2002)

Knowledge Discovery from Semistructured Texts. - Sakamoto, Hiroshi; Arimura, Hiroki; Arikawa, Setsuo (2002)

Online Algorithms for Mining Semi-structured Data Stream. - Asai, Tatsuya; Arimura, Hiroki; Abe, Kenji; Kawasoe, Shinji; Arikawa, Setsuo (2002)

Space-Economical Construction of Index Structures for All Suffixes of a String. - Inenaga, Shunsuke; Shinohara, Ayumi; Takeda, Masayuki; Bannai, Hideo; Arikawa, Setsuo (2002)

Optimized Substructure Discovery for Semi-structured Data. - Abe, Kenji; Kawasoe, Shinji; Asai, Tatsuya; Arimura, Hiroki; Arikawa, Setsuo (2002)

Efficient Substructure Discovery from Large Semi-structured Data. - Asai, Tatsuya; Abe, Kenji; Kawasoe, Shinji; Arimura, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo (2002)

Processing Text Files as Is: Pattern Matching over Compressed Texts, Multi-byte Character Texts, and Semi-structured Texts. - Takeda, Masayuki; Miyamoto, Satoru; Kida, Takuya; Shinohara, Ayumi; Fukamachi, Shuichi; Shinohara, Takeshi; Arikawa, Setsuo (2002)

Compact Directed Acyclic Word Graphs for a Sliding Window. - Inenaga, Shunsuke; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2002)

A Note on Randomized Algorithm for String Matching with Mismatches. - Baba, Kensuke; Shinohara, Ayumi; Takeda, Masayuki; Inenaga, Shunsuke; Arikawa, Setsuo (2002)

Progress in Discovery Science, Final Report of the Japanese Discovery Science Project (Springer, 2002)

A comparison of identification criteria for inductive inference of recursive real-valued functions. - Hirowatari, Eiju; Arikawa, Setsuo (Theor. Comput. Sci., 2001)

The Discovery Science Project in Japan. - Arikawa, Setsuo (2001)

Efficient Learning of Semi-structured Data from Queries. - Arimura, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo (2001)

Efficient Discovery of Proximity Patterns with Suffix Arrays. - Arimura, Hiroki; Asaka, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo (2001)

On-Line Construction of Compact Directed Acyclic Word Graphs. - Inenaga, Shunsuke; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo; Mauri, Giancarlo; Pavesi, Giulio (2001)

Linear-Time Longest-Common-Prefix Computation in Suffix Arrays and Its Applications. - Kasai, Toru; Lee, Gunho; Arimura, Hiroki; Arikawa, Setsuo; Park, Kunsoo (2001)

Multiple Pattern Matching Algorithms on Collage System. - Kida, Takuya; Matsumoto, Tetsuya; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (2001)

Faster Approximate String Matching over Compressed Text. - Navarro, Gonzalo; Kida, Takuya; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (2001)

Compressed Pattern Matching for SEQUITUR. - Mitarai, Shuichi; Hirao, Masahiro; Matsumoto, Tetsuya; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2001)

The Discovery Science Project in Japan. - Arikawa, Setsuo (2001)

Mining Semi-structured Data by Path Expressions. - Taniguchi, Katsuaki; Sakamoto, Hiroshi; Arimura, Hiroki; Shimozono, Shinichi; Arikawa, Setsuo (2001)

A Practical Algorithm to Find the Best Episode Patterns. - Hirao, Masahiro; Inenaga, Shunsuke; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2001)

Extracting Partial Structures from HTML Documents. - Sakamoto, Hiroshi; Murakami, Yoshitsugu; Arimura, Hiroki; Arikawa, Setsuo (2001)

On-Line Construction of Symmetric Compact Directed Acyclic Word Graphs. - Inenaga, Shunsuke; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2001)

Construction of the CDAWG for a Trie. - Inenaga, Shunsuke; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2001)

Special Feature on Discovery Science. - Motoda, Hiroshi; Arikawa, Setsuo (New Gener. Comput., 2000)

Efficient Discovery of Optimal Word-Association Patterns in Large Text Databases. - Shimozono, Shinichi; Arimura, Hiroki; Arikawa, Setsuo (New Gener. Comput., 2000)

Speeding Up Pattern Matching by Text Compression. - Shibata, Yusuke; Kida, Takuya; Fukamachi, Shuichi; Takeda, Masayuki; Shinohara, Ayumi; Shinohara, Takeshi; Arikawa, Setsuo (2000)

A Boyer-Moore Type Algorithm for Compressed Pattern Matching. - Shibata, Yusuke; Matsumoto, Tetsuya; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (2000)

A Practical Algorithm to Find the Best Subsequence Patterns. - Hirao, Masahiro; Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2000)

Identification of Tree Translation Rules from Examples. - Sakamoto, Hiroshi; Arimura, Hiroki; Arikawa, Setsuo (2000)

Learning Term Rewriting Systems from Entailment . - Arimura, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo (2000)

Text Data Mining: Discovery of Important Keywords in the Cyberspace. - Arimura, Hiroki; Abe, Jun-ichiro; Sakamoto, Hiroshi; Arikawa, Setsuo; Fujino, Ryoichi; Shimozono, Shinichi (2000)

Putting Old Data into New System: Web-Based Catalog Card Image Searching. - Minami, Toshiro; Kurita, Hidekazu; Arikawa, Setsuo (2000)

Discovering Unordered and Ordered Phrase Association Patterns for Text Mining. - Fujino, Ryoichi; Arimura, Hiroki; Arikawa, Setsuo (2000)

Fully Compressed Pattern Matching Algorithm for Balanced Straight-Line Programs. - Hirao, Masahiro; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2000)

Online Construction of Subsequence Automata for Multiple Texts. - Hoshino, Hiromasa; Shinohara, Ayumi; Takeda, Masayuki; Arikawa, Setsuo (2000)

Bit-Parallel Approach to Approximate String Matching in Compressed Texts. - Matsumoto, Tetsuya; Kida, Takuya; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (2000)

Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings (Springer, 2000)

On the Inductive Inference of Recursive Real-Valued Functions. - Apsitis, Kalvis; Arikawa, Setsuo; Freivalds, Rusins; Hirowatari, Eiju; Smith, Carl H. (Theor. Comput. Sci., 1999)

Shift-And Approach to Pattern Matching in LZW Compressed Text. - Kida, Takuya; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (1999)

Pattern Matching in Text Compressed by Using Antidictionaries. - Shibata, Yusuke; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (1999)

A Road to Discovery Science (Abstract). - Arikawa, Setsuo (1999)

A Unifying Framework for Compressed Pattern Matching. - Kida, Takuya; Shibata, Yusuke; Takeda, Masayuki; Shinohara, Ayumi; Arikawa, Setsuo (1999)

Discovery Science, Second International Conference, DS '99, Tokyo, Japan, December, 1999, Proceedings (Springer, 1999)

A Fast Algorithm for Discovering Optimal String Patterns in Large Text Databases. - Arimura, Hiroki; Wataki, Atsushi; Fujino, Ryoichi; Arikawa, Setsuo (1998)

A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions. - Hirowatari, Eiju; Arikawa, Setsuo (1998)

Multiple Pattern Matching in LZW Compressed Text. - Kida, Takuya; Takeda, Masayuki; Shinohara, Ayumi; Miyazaki, Masamichi; Arikawa, Setsuo (1998)

Discovery of Differential Equations from Numerical Data. - Niijima, Koichi; Uchida, Hidemi; Hirowatari, Eiju; Arikawa, Setsuo (1998)

An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases. - Arimura, Hiroki; Wataki, Atsushi; Fujino, Ryoichi; Shimozono, Shinichi; Arikawa, Setsuo (1998)

Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings (Springer, 1998)

Special Issue on Algorithmic Learning Theory. - Arikawa, Setsuo; Richter, Michael M. (New Gener. Comput., 1997)

Inferability of Recursive Real-Valued Functions. - Hirowatari, Eiju; Arikawa, Setsuo (1997)

Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings (Springer, 1996)

Towards a Mathematical Theory of Machine Discovery from Facts. - Mukouchi, Yasuhito; Arikawa, Setsuo (Theor. Comput. Sci., 1995)

Pattern Inference. - Shinohara, Takeshi; Arikawa, Setsuo (1995)

BONSAI Garden: Parallel Knowledge Discovery System for Amino Acid Sequences. - Shoudai, Takayoshi; Lappe, Michael; Miyano, Satoru; Shinohara, Ayumi; Okazaki, Takeo; Arikawa, Setsuo; Uchida, Tomoyuki; Shimozono, Shinichi; Shinohara, Takeshi; Kuhara, Satoru (1995)

Developments in Computational Learning and Discovery Theory within the Framework of Elementary Formal Systems. - Arikawa, Setsuo; Sato, Masako; Shinohara, Ayumi; Shinohara, Takeshi (1995)

Explanation-Based Reuse of Prolog Programs. - Koga, Yasuyuki; Hirowatari, Eiju; Arikawa, Setsuo (1994)

Partially Isomorphic Generalization and Analogical Reasoning. - Hirowatari, Eizyu; Arikawa, Setsuo (1994)

Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings (Springer, 1994)

A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. - Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi (New Gener. Comput., 1993)

Inductive Inference Machines That Can Refute Hypothesis Spaces. - Mukouchi, Yasuhito; Arikawa, Setsuo (1993)

Learning Elementary Formal Systems. - Arikawa, Setsuo; Shinohara, Takeshi; Yamamoto, Akihiro (Theor. Comput. Sci., 1992)

A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. - Arikawa, Setsuo; Kuhara, Satoru; Miyano, Satoru; Mukouchi, Yasuhito; Shinohara, Ayumi; Shinohara, Takeshi (1992)

Introduction: Special Issue on Algorithmic Learning Theory. - Arikawa, Setsuo (New Gener. Comput., 1991)

More About Learning Elementary Formal Systems. - Arikawa, Setsuo; Shinohara, Takeshi; Miyano, Satoru; Shinohara, Ayumi (1991)

Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings (Ohmsha, 1991)

Algorithmic Learning Theory, First International Workshop, ALT '90, Tokyo, Japan, October 8-10, 1990, Proceedings (Springer/Ohmsha, 1990)

Elementary Formal System as a Unifying Framework for Language Learning. - Arikawa, Setsuo; Shinohara, Takeshi; Yamamoto, Akihiro (1989)

Time-Bounded Reasoning in First Order Knowledge Base Systems. - Shi, Yihua; Arikawa, Setsuo (1989)

Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. - Yuasa, Hiroko; Arikawa, Setsuo (1988)

Reasoning by Analogy as a Partial Identity Between Models. - Haraguchi, Makoto; Arikawa, Setsuo (1986)

A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. - Haraguchi, Makoto; Arikawa, Setsuo (1986)

Efficient pattern matching algorithms and their applications to text information systems. - Arikawa, Setsuo; Shinohara, Takeshi (1985)

A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines. - Arikawa, Setsuo; Shinohara, Takeshi (New Gener. Comput., 1984)

On characteristic sets and degrees of finite automata. - Tanatsugu, Keisuke; Arikawa, Setsuo (Int. J. Parallel Program., 1977)