Progress in Discovery Science 2002

Setsuo Arikawa, Ayumi Shinohara (Eds.): Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Lecture Notes in Computer Science 2281 Springer 2002, ISBN 3-540-43338-4 BibTeX

@proceedings{DBLP:conf/dsp/2002,
  editor    = {Setsuo Arikawa and
               Ayumi Shinohara},
  title     = {Progress in Discovery Science, Final Report of the Japanese Discovery
               Science Project},
  booktitle = {Progress in Discovery Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2281},
  year      = {2002},
  isbn      = {3-540-43338-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Koichi Takahashi, Masami Hagiya:
Searching for Mutual Exclusion Algorithms Using BDDs. 1-18
Electronic Edition (Springer LINK) BibTeX
Tetsuo Ida, Mircea Marin, Taro Suzuki:
Reducing Search Space in Solving Higher-Order Equations. 19-30
Electronic Edition (Springer LINK) BibTeX
Keiichi Noé:
The Structure of Scientific Discovery: From a Philosophical Point of View. 31-39
Electronic Edition (Springer LINK) BibTeX
Mitsuhiro Okada:
Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert. 40-77
Electronic Edition (Springer LINK) BibTeX
Masahiko Sato:
Theory of Judgments and Derivations. 78-122
Electronic Edition (Springer LINK) BibTeX
Hiroki Arimura, Hiroshi Sakamoto, Setsuo Arikawa:
Efficient Data Mining from Large Text Databases. 123-139
Electronic Edition (Springer LINK) BibTeX
Ikuo Kobayashi, Koichi Furukawa, Tomonobu Ozaki, Mutsumi Imai:
A Computational Model for Children's Language Acquisition Using Inductive Logic Programming. 140-155
Electronic Edition (Springer LINK) BibTeX
Makoto Haraguchi, Yoshimitsu Kudoh:
Some Criterions for Selecting the Best Data Abstractions. 156-177
Electronic Edition (Springer LINK) BibTeX
Yukio Ohsawa:
Discovery of Chances Underlying Real Data. 168-177
Electronic Edition (Springer LINK) BibTeX
Chiaki Sakama:
Towards the Integration of Inductive and Nonmonotonic Logic Programming. 178-188
Electronic Edition (Springer LINK) BibTeX
Taisuke Sato:
EM Learning for Symbolic-Statistical Models in Statistical Abduction. 189-200
Electronic Edition (Springer LINK) BibTeX
Masako Sato, Yasuhito Mukouchi, Mikiharu Terada:
Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns. 201-213
Electronic Edition (Springer LINK) BibTeX
Ken Satoh:
Constructing a Critical Casebase to Represent a Lattice-Based Relation. 214-223
Electronic Edition (Springer LINK) BibTeX
Takeshi Shinohara, Hiroki Ishizaka:
On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data. 224-231
Electronic Edition (Springer LINK) BibTeX
Hiroshi Tsukimoto, Mitsuru Kakimoto, Chie Morita, Yoshiaki Kikuchi:
Rule Discovery from fMRI Brain Images by Logical Regression Analysis. 232-245
Electronic Edition (Springer LINK) BibTeX
Akihiro Yamamoto, Bertram Fronhöfer:
A Theory of Hypothesis Finding in Clausal Logic. 246-257
Electronic Edition (Springer LINK) BibTeX
Hiroshi Mamitsuka, Naoki Abe:
Efficient Data Mining by Active Learning. 258-267
Electronic Edition (Springer LINK) BibTeX
Takumi Okazaki, Kunihiko Sadakane, Hiroshi Imai:
Data Compression Method Combining Properties of PPM and CTW. 268-283
Electronic Edition (Springer LINK) BibTeX
Masatoshi Tsuchiya, Sadao Kurohashi, Satoshi Sato:
Discovery of Definition Patterns by Compressing Dictionary Sentences. 284-295
Electronic Edition (Springer LINK) BibTeX
Akira Maruoka, Eiji Takimoto:
On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree. 296-306
Electronic Edition (Springer LINK) BibTeX
Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Masahiro Hirao, Hiromasa Hoshino, Shunsuke Inenaga:
Finding Best Patterns Practically. 307-317
Electronic Edition (Springer LINK) BibTeX
Atsuhiro Takasu:
Classification of Object Sequences Using Syntactical Structure. 318-326
Electronic Edition (Springer LINK) BibTeX
Eiji Takimoto, Akira Maruoka:
Top-Down Decision Tree Boosting and Its Applications. 327-337
Electronic Edition (Springer LINK) BibTeX
Kuniaki Uehara, Mitsuomi Shimada:
Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data. 338-348
Electronic Edition (Springer LINK) BibTeX
Osamu Watanabe:
Algorithmic Aspects of Boosting. 349-359
Electronic Edition (Springer LINK) BibTeX
Hiromichi Nagao, Tomoyuki Higuchi, Toshihiko Iyemori, Tohru Araki:
Automatic Detection of Geomagnetic Jerks by Applying a Statistical Time Series Model to Geomagnetic Monthly Means. 360-371
Electronic Edition (Springer LINK) BibTeX
Genta Ueno, Nagatomo Nakamura, Tomoyuki Higuchi, Takashi Tsuchiya, Shinobu Machida, Tohru Araki:
Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution. 372-383
Electronic Edition (Springer LINK) BibTeX
Hiroshi H. Hasegawa, Takashi Washio, Yukari Ishimiya:
Inductive Thermodynamics from Time Series Data Analysis. 384-394
Electronic Edition (Springer LINK) BibTeX
Rie Honda, Yuichi Iijima, Osamu Konishi:
Mining of Topographic Feature from Heterogeneous Imagery and Its Application to Lunar Craters. 395407
Electronic Edition (Springer LINK) BibTeX
Yuji Ikeda, Dariusz Mazurkiewicz:
Application of Neural Network Technique to Combustion Spray Dynamics Analysis. 408-425
Electronic Edition (Springer LINK) BibTeX
Yoshiya Kasahara, Ryotaro Niitsu, Toru Sato:
Computational Analysis of Plasma Waves and Particles in the Auroral Region Observed by Scientific Satellite. 426-437
Electronic Edition (Springer LINK) BibTeX
Yoshitaka Goto, Yoshiya Kasahara, Toru Sato:
A Flexible Modeling of Global Plasma Profile Deduced from Wave Data. 438-448
Electronic Edition (Springer LINK) BibTeX
Genshiro Kitagawa, Tetsuo Takanami, Asako Kuwano, Yoshio Murai, Hideki Shimamura:
Extraction of Signal from High Dimensional Time Series: Analysis of Ocean Bottom Seismograph Data. 449-458
Electronic Edition (Springer LINK) BibTeX
Yoshinori Tamada, Hideo Bannai, Osamu Maruyama, Satoru Miyano:
Foundations of Designing Computational Knowledge Discovery Processes. 459-470
Electronic Edition (Springer LINK) BibTeX
Shinichi Morishita:
Computing Optimal Hypotheses Efficiently for Boosting. 471-481
Electronic Edition (Springer LINK) BibTeX
Ryohei Nakano, Kazumi Saito:
Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables. 482-493
Electronic Edition (Springer LINK) BibTeX
Koichi Niijima, Shigeru Takano:
Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform. 494-503
Electronic Edition (Springer LINK) BibTeX
Einoshin Suzuki:
In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules. 504-517
Electronic Edition (Springer LINK) BibTeX
Masayuki Takeda, Tomoko Fukuda, Ichiro Nanri:
Mining from Literary Texts: Pattern Discovery and Similarity Computation. 518-531
Electronic Edition (Springer LINK) BibTeX
Takehiko Tanaka:
Second Difference Method Reinforced by Grouping: A New Tool for Assistance in Assignment of Complex Molecular Spectra. 532-542
Electronic Edition (Springer LINK) BibTeX
Shusaku Tsumoto:
Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets. 543-552
Electronic Edition (Springer LINK) BibTeX
Takashi Washio, Hiroshi Motoda:
Toward the Discovery of First Principle Based Scientific Law Equations. 553-564
Electronic Edition (Springer LINK) BibTeX
Yukinobu Hamuro, Hideki Kawata, Naoki Katoh, Katsutoshi Yada:
A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History. 565-575
Electronic Edition (Springer LINK) BibTeX
Hidenao Abe, Takahira Yamaguchi:
Constructing Inductive Applications by Meta-Learning with Method Repositories. 576-585
Electronic Edition (Springer LINK) BibTeX
Hiroshi Sakamoto, Hiroki Arimura, Setsuo Arikawa:
Knowledge Discovery from Semistructured Texts. 586-599
Electronic Edition (Springer LINK) BibTeX
Masaki Fukushima, Shigeki Goto:
Packet Analysis in Congested Networks. 600-615
Electronic Edition (Springer LINK) BibTeX
Sachio Hirokawa, Daisuke Ikeda:
Visualization and Analysis of Web Graphs. 616-627
Electronic Edition (Springer LINK) BibTeX
Hisayasu Kuroda, Takahiro Katagiri, Yasumasa Kanada:
Knowledge Discovery in Auto-tuning Parallel Numerical Library. 628-639
Electronic Edition (Springer LINK) BibTeX
Hiroyuki Kawano, Minoru Kawahara:
Extended Association Algorithm Based on ROC Analysis for Visual Information Navigator. 640-649
Electronic Edition (Springer LINK) BibTeX
Hironori Hiraishi, Fumio Mizoguchi:
WWW Visualization Tools for Discovering Interesting Web Pages. 650-660
Electronic Edition (Springer LINK) BibTeX
Etsuya Shibayama, Masashi Toyoda, Jun Yabe, Shin Takahashi:
Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet. 661-671
Electronic Edition (Springer LINK) BibTeX
Yuzuru Tanaka:
Meme Media for Re-editing and Redistributing Intellectual Assets and Their Application to Interactive Virtual Information Materialization. 672-682
Electronic Edition (Springer LINK) BibTeX