default search action
Fundamenta Informaticae, Volume 66
Volume 66, Number 1-2, 2005
- Takashi Washio, Luc De Raedt, Joost N. Kok:
Advances in Mining Graphs, Trees and Sequences. - Sébastien Ferré, Ross D. King:
A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics. 1-32 - Mohammed Javeed Zaki:
Efficiently Mining Frequent Embedded Unordered Trees. 33-52 - Akihiro Inokuchi, Takashi Washio, Hiroshi Motoda:
A General Framework for Mining Frequent Subgraphs from Labeled Graphs. 53-82 - Lawrence B. Holder, Diane J. Cook, Jeffrey Coble, Maitrayee Mukherjee:
Graph-based Relational Learning with Application to Security. 83-101 - Amaury Habrard, Marc Bernard, Marc Sebban:
Detecting Irrelevant Subtrees to Improve Probabilistic Learning from Tree-structured Data. 103-130 - Warodom Geamsakul, Tetsuya Yoshida, Kouzou Ohara, Hiroshi Motoda, Hideto Yokoi, Katsuhiko Takabayashi:
Constructing a Decision Tree for Graph-Structured Data and its Applications. 131-160 - Yun Chi, Richard R. Muntz, Siegfried Nijssen, Joost N. Kok:
Frequent Subtree Mining - An Overview. 161-198
Volume 66, Number 3, 2005
- Tomasz Borzyszkowski:
Generalized Interpolation in First Order Logic. 199-219 - Raymond R. Devillers, Hanna Klaudel:
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. 221-257 - Ernst-Erich Doberkat:
Tracing Relations Probabilistically. 259-275 - Olivier Finkel:
On Winning Conditions of High Borel Complexity in Pushdown Games. 277-298 - Albina Moshkova:
On Effective Methods for Diagnosis of Retaining Faults in Circuits. 299-313
Volume 66, Number 4, 2005
- Alberto Pettorossi, Maurizio Proietti:
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. - Alcino Cunha, Jorge Sousa Pinto:
Point-free Program Transformation. 315-352 - Jeremy Gibbons, Graham Hutton:
Proof Methods for Corecursive Programs. 353-366 - Robert Glück, Masahiko Kawabe:
A Method for Automatic Program Inversion Based on LR(0) Parsing. 367-395 - Olivier Danvy, Mayer Goldberg:
There and Back Again. 397-413 - Björn Lisper:
Infinite Unfolding and Transformations of Nondeterministic Programs. 415-439
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.