Progress in discovery science

Repository | Book

Springer, Dordrecht

2002

649 Pages

ISBN 978-3-540-43338-5

Progress in discovery science

final report of the Japanese discovery science project

Edited by

Setsuo Arikawa , Ayumi Shinohara

Publication details

DOI: 10.1007/3-540-45884-0

Full citation:

Arikawa, S. , Shinohara, A. (eds) (2002). Progress in discovery science: final report of the Japanese discovery science project, Springer, Dordrecht.

Table of Contents

Searching for mutual exclusion algorithms using bdds

Takahashi Koichi; Hagiya Masami

1-18

Reducing search space in solving higher-order equations

Ida Tetsuo; Marin Mircea; Suzuki Taro

19-30

The structure of scientific discovery

Noe Keiichi

31-39

Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert

Okada Mitsuhiro

40-77

Theory of judgments and derivations

Sato Masahiko

78-122

Efficient data mining from large text databases

Arimura Hiroki; Sakamoto Hiroshi; Arikawa Setsuo

123-139

A computational model for children's language acquisition using inductive logic programming

Kobayashi Ikuo; Furukawa Koichi; Ozaki Tomonobu; Imai Mutsumi

140-155

Some criterions for selecting the best data abstractions

Haraguchi Makoto; Kudoh Yoshimitsu

156-167

Discovery of chances underlying real data

Ohsawa Yukio

168-177

Towards the integration of inductive and nonmonotonic logic programming

Sakama Chiaki

178-188

EM learning for symbolic-statistical models in statistical abduction

Sato Taisuke

189-200

Refutable/inductive learning from neighbor examples and its application to decision trees over patterns

Sato Masako; Mukouchi Yasuhito; Terada Mikiharu

201-213

Constructing a critical casebase to represent a lattice-based relation

Satoh Ken

214-223

On dimension reduction mappings for approximate retrieval of multi-dimensional data

Shinohara Takeshi; Ishizaka Hiroki

224-231

Rule discovery from fmri brain images by logical regression analysis

Tsukimoto Hiroshi; Kakimoto Mitsuru; Morita Chie; Kikuchi Yoshiaki

232-245

A theory of hypothesis finding in clausal logic

Yamamoto Akihiro; Fronhöfer Bertram

246-257

Data compression method combining properties of PPM and CTW

Okazaki Takumi; Sadakane Kunihiko; Imai Hiroshi

268-283

Discovery of definition patterns by compressing dictionary sentences

Tsuchiya Masatoshi; Kurohashi Sadao; Sato Satoshi

284-295

On-line algorithm to predict nearly as well as the best pruning of a decision tree

Maruoka Akira; Takimoto Eiji

296-306

Finding best patterns practically

Shinohara Ayumi; Arikawa Setsuo

307-317

Classification of object sequences using syntactical structure

Takasu Atsuhiro

318-326

Top-down decision tree boosting and its applications

Takimoto Eiji; Maruoka Akira

327-337

Extraction of primitive motion and discovery of association rules from human motion data

Uehara Kuniaki; Shimada Mitsuomi

338-348

Algorithmic aspects of boosting

Watanabe Osamu

349-359

Automatic detection of geomagnetic jerks by applying a statistical time series model to geomagnetic monthly means

Nagao Hiromichi; Higuchi Tomoyuki; Iyemori Toshihiko; Araki Tohru

360-371

Application of multivariate Maxwellian mixture model to plasma velocity distribution

Ueno Genta; Nakamura Nagatomo; Higuchi Tomoyuki; Araki Tohru

372-383

Inductive thermodynamics from time series data analysis

Hasegawa Hiroshi H.; Washio Takashi; Ishimiya Yukari

384-394

Mining of topographic feature from heterogeneous imagery and its application to lunar craters

Honda Rie; Iijima Yuichi; Konishi Osamu

395-407

Application of neural network technique to combustion spray dynamics analysis

Ikeda Yuji; Mazurkiewicz Dariusz

408-425

A flexible modeling of global plasma profile deduced from wave data

Goto Yoshitaka; Kasahara Yoshiya; Sato Toru

438-448

Extraction of signal from high dimensional time series

Kitagawa Genshiro; Takanami Tetsuo; Kuwano Asako; Murai Yoshio; Shimamura Hideki

449-458

Foundations of designing computational knowledge discovery processes

Tamada Yoshinori; Bannai Hideo; Maruyama Osamu; Miyano Satoru

459-470

Computing optimal hypotheses efficiently for boosting

Morishita Shinichi

471-481

Discovering polynomials to fit multivariate data having numeric and nominal variables

Nakano Ryohei; Saito Kazumi

482-493

Finding of signal and image by integer-type haar lifting wavelet transform

Niijima Koichi; Takano Shigeru

494-503

In pursuit of interesting patterns with undirected discovery of exception rules

Suzuki Einoshin

504-517

Mining from literary texts

Takeda Masayuki; Fukuda Tomoko; Nanri Ichirō

518-531

Second difference method reinforced by grouping

Tanaka Takehiko

532-542

Discovery of positive and negative knowledge in medical databases using rough sets

Tsumoto Shusaku

543-552

Toward the discovery of first principle based scientific law equations

Washio Takashi

553-564

A machine learning algorithm for analyzing string patterns helps to discover simple and interpretable business rules from purchase history

Hamuro Yukinobu; Kawata Hideki; Katoh Naoki; Yada Katsutoshi

565-575

Constructing inductive applications by meta-learning with method repositories

Abe Hidenao; Yamaguchi Takahira

576-585

Knowledge discovery from semistructured texts

Sakamoto Hiroshi; Arimura Hiroki; Arikawa Setsuo

586-599

Packet analysis in congested networks

Fukushima Masaki; Goto Shigeki

600-615

Visualization and analysis of web graphs

Hirokawa Sachio; Ikeda Daisuke

616-627

Knowledge discovery in auto-tuning parallel numerical library

Kuroda Hisayasu; Katagiri Takahiro; Kanada Yasumasa

628-639

Extended association algorithm based on roc analysis for visual information navigator

Kawano Hiroyuki; Kawahara Minoru

640-649

Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.