Akihiro Yamamoto

Proceedings of the Discovery Science - 23rd International Conference, 2020

2019

Effects of Blade Tip Profile on In-Plane Tensile Properties of Wedge-Notched Polypropylene Sheet.

[BibT_eX]

[DOI]

Shigeru Nagasawa

Thepwachara Ruchirabha

Kazuki Umemoto

Int. J. Autom. Technol., 2019

Automatic Source Code Summarization with Extended Tree-LSTM.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2019

2018

Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions.

[BibT_eX]

[DOI]

Hikaru Shindo

Masaaki Nishino

Proceedings of the Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), 2018

2017

Special issue on inductive logic programming.

[BibT_eX]

[DOI]

Katsumi Inoue

Hayato Ohwada

Mach. Learn., 2017

Extending Various Thesauri by Finding Synonym Sets from a Formal Concept Lattice.

[BibT_eX]

[DOI]

Inf. Media Technol., 2017

Outlier detection using binary decision diagrams.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2017

Learning concepts and their unions from positive data with refinement operators.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

Improved Methods for Computing Distances Between Unordered Trees Using Integer Programming.

[BibT_eX]

[DOI]

Eunpyeong Hong

Yasuaki Kobayashi

Proceedings of the Combinatorial Optimization and Applications, 2017

Protein-Protein Interaction Extraction from Text by Selecting Linguistic Features.

[BibT_eX]

[DOI]

Thi Thanh Thuy Phan

Takenao Ohkawa

Proceedings of the 17th IEEE International Conference on Bioinformatics and Bioengineering, 2017

On the Sizes of Decision Diagrams Representing the Set of All Parse Trees of a Context-free Grammar.

[BibT_eX]

[DOI]

Masaaki Nishino

Kei Amii

Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian Networks, 2017

2016

Abstraction and refinement of mathematical functions toward SMT-based test-case generation.

[BibT_eX]

[DOI]

Yoshinao Ishii

Int. J. Softw. Tools Technol. Transf., 2016

3D Quasi-Passive Walker of Bipedal Robot with Flat Feet Gait Analysis of 3D Quasi-Passive Walking.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Multimedia Systems and Signal Processing, 2016

Inductive Logic Programming: Challenges.

[BibT_eX]

[DOI]

Katsumi Inoue

Hayato Ohwada

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Edit Operations on Lattices for MDL-based Pattern Summarization.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Concept Analysis and Applications, 2015

Tree PCA for Extracting Dominant Substructures from Labeled Rooted Trees.

[BibT_eX]

[DOI]

Tomoya Yamazaki

Tetsuji Kuboyama

Proceedings of the Discovery Science - 18th International Conference, 2015

Periodical Skeletonization for Partially Periodic Pattern Mining.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science - 18th International Conference, 2015

2014

A parameter-free approach for one-class classification using binary decision diagrams.

[BibT_eX]

[DOI]

Intell. Data Anal., 2014

Causal Discovery in a Binary Exclusive-or Skew Acyclic Model: BExSAM.

[BibT_eX]

[DOI]

CoRR, 2014

Outlier Detection Based on Leave-One-Out Density Using Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2014

Local Feature Selection by Formal Concept Analysis for Multi-class Classification.

[BibT_eX]

[DOI]

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Fast Computation of the Tree Edit Distance between Unordered Trees Using IP Solvers.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science - 17th International Conference, 2014

Pattern Structures for Understanding Episode Patterns.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

Formal Concept Analysis for Process Enhancement Based on a Pair of Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

A Sparse Parameter Learning Method for Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Masaaki Nishino

Masaaki Nagata

Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013

Learning figures with the Hausdorff metric by fractals - towards computable binary classification.

[BibT_eX]

[DOI]

Mach. Learn., 2013

Semi-supervised learning on closed set lattices.

[BibT_eX]

[DOI]

Intell. Data Anal., 2013

Predicate-argument Structure based Textual Entailment Recognition System of KYOTO Team for NTCIR-10 RITE-2.

[BibT_eX]

[DOI]

Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, 2013

Visual Odometry by Multi-frame Feature Integration.

[BibT_eX]

[DOI]

Hernán Badino

Takeo Kanade

Proceedings of the 2013 IEEE International Conference on Computer Vision Workshops, 2013

Modular home robot system based on the MMM concept-design instance with detachable symmetric arm module.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2013

2012

Estimation of Generating Processes of Strings Represented with Patterns and Refinements.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Semi-Supervised Ligand Finding Using Formal Concept Analysis.

[BibT_eX]

[DOI]

Inf. Media Technol., 2012

Efficient Mining of Closed Tree Patterns from Large Tree Databases with Subtree Constraint.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2012

Privacy Preserving Using Dummy Data for Set Operations in Itemset Mining Implemented with ZDDs.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

Mining of closed frequent subtrees from frequently updated databases.

[BibT_eX]

[DOI]

Intell. Data Anal., 2012

Learning from graph data by putting graphs on the lattice.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

Learning Families of Closed Sets in Matroids.

[BibT_eX]

[DOI]

Proceedings of the Computation, Physics and Beyond, 2012

2011

Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic (NII Shonan Meeting 2011-4).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2011

Discovering causal structures in binary exclusive-or skew acyclic models.

[BibT_eX]

[DOI]

Proceedings of the UAI 2011, 2011

The Minimum Code Length for Clustering Using the Gray Code.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2011

Mining Closed Weighted Itemsets for Numerical Transaction Databases.

[BibT_eX]

[DOI]

Yuichi Kameda

Proceedings of the New Frontiers in Artificial Intelligence, 2011

Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Latest Advances in Inductive Logic Programming, 2011

A Fast and Flexible Clustering Algorithm Using Binary Discretization.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Data Mining, 2011

Semi-supervised Learning for Mixed-Type Data via Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010

Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Sound source tracking considering obstacle avoidance for a mobile robot.

[BibT_eX]

[DOI]

Naoki Uchiyama

Shigenori Sano

Robotica, 2010

The Coding Divergence for Measuring the Complexity of Separating Two Sets.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asian Conference on Machine Learning, 2010

Latest Trends in Deburring Technology.

[BibT_eX]

[DOI]

Koichi Kitajima

Int. J. Autom. Technol., 2010

Topological properties of concept spaces (full version).

[BibT_eX]

[DOI]

Inf. Comput., 2010

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.

[BibT_eX]

[DOI]

Proceedings of the Knowledge, Information, and Creativity Support Systems, 2010

Frequent Closed Itemset Mining with Privacy Preserving for Distributed Databases.

[BibT_eX]

[DOI]

Shin-ya Kuno

Proceedings of the ICDMW 2010, 2010

Incremental Mining of Closed Frequent Subtrees.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science - 13th International Conference, 2010

SOC for car navigation system with a 55.3GOPS image recognition engine.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Learning Figures with the Hausdorff Metric by Fractals.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 21st International Conference, 2010

2009

The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009).

[BibT_eX]

[DOI]

Shin-ichi Minato

Proceedings of the New Frontiers in Artificial Intelligence, 2009

Learning from Positive Data Based on the MINL Strategy with Refinement Operators.

[BibT_eX]

[DOI]

Seishi Ouchi

Proceedings of the New Frontiers in Artificial Intelligence, 2009

SoC for car navigation systems with a 53.3 GOPS image recognition engine.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Hot Chips 21 Symposium (HCS), 2009

Sound Source Tracking and Obstacle Avoidance for a Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Discovering the Structures of Open Source Programs from Their Developer Mailing Lists.

[BibT_eX]

[DOI]

Dinh Anh Nguyen

Proceedings of the Discovery Science, 12th International Conference, 2009

Sigma^0_alpha - Admissible Representations (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

Two-Step Physical Register Deallocation for Data Prefetching and Address Pre-Calculation.

[BibT_eX]

[DOI]

Inf. Media Technol., 2008

SHREC'08 entry: Semi-supervised learning for semantic 3D model retrieval.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Shape Modeling and Applications (SMI 2008), 2008

Kernel Functions Based on Derivation.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Data Mining, 2008

Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets.

[BibT_eX]

[DOI]

Yuichi Kameda

Hiroo Tokunaga

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

Finding Frequent Patterns from Compressed Tree-Structured Data.

[BibT_eX]

[DOI]

Seiji Murakami

Proceedings of the Discovery Science, 11th International Conference, 2008

Topological Properties of Concept Spaces.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 19th International Conference, 2008

2007

Learning semantic categories for 3D model retrieval.

[BibT_eX]

[DOI]

Ryutarou Ohbuchi

Jun Kobayashi

Proceedings of the 9th ACM SIGMM International Workshop on Multimedia Information Retrieval, 2007

Data prefetching and address pre-calculation through instruction pre-execution with two-step physical register deallocation.

[BibT_eX]

[DOI]

Proceedings of the 2007 workshop on MEmory performance, 2007

The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007).

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

An Intentional Kernel Function for RNA Classification.

[BibT_eX]

[DOI]

Hiroshi Sankoh

Proceedings of the Discovery Science, 10th International Conference, 2007

Comparison of Dimension Reduction Methods for Database-Adaptive 3D Model Retrieval.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Multimedial Retrieval: Retrieval, 2007

2006

Hypothesis finding with proof theoretical appropriateness criteria.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Foreword.

[BibT_eX]

[DOI]

Tamás Horváth

Mach. Learn., 2006

The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006).

[BibT_eX]

[DOI]

Ken Satoh

Proceedings of the New Frontiers in Artificial Intelligence, 2006

Inferability of Closed Set Systems from Positive Data.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2006

An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.

[BibT_eX]

[DOI]

Tetsuya Yamashita

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 17th International Conference, 2006

2005

Workshop on Learning with Logics and Logics for Learning (LLLL).

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2005

Inductive Logic Programming: Yet Another Application of Logic.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming for Knowledge Management, 2005

2004

Similarity of Documents Based on the Vector Sequence Model.

[BibT_eX]

[DOI]

Akira Ogiso

Proceedings of the Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, 2004

2003

Hypothesis finding based on upward refinement of residue hypotheses.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Finding Similar Stories by Using Sequences of Occurence Vectors.

[BibT_eX]

Akira Ogiso

Proceedings of the Information Modelling and Knowledge Bases XV, 2003

2002

A Theory of Hypothesis Finding in Clausal Logic.

[BibT_eX]

[DOI]

Proceedings of the Progress in Discovery Science, 2002

Minimised Residue Hypotheses in Relevant Logic.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 13th International Conference, 2002

2001

Modelling Semi-structured Documents with Hedges for Deduction and Induction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 11th International Conference, 2001

2000

New Conditions for the Existence of Least Generalizations under Relative Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Hypotheses Finding via Residue Hypotheses with the Resolution Principle.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 11th International Conference, 2000

1999

Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

An Inference Method for the Complete Inverse of Relative Subsumption.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

1998

A Digital Watermark based on the Wavelet Transform and its Robustness on Image Compression.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses.

[BibT_eX]

[DOI]

Kimihito Ito

Proceedings of the Discovery Science, 1998

Logical Aspects of Several Bottom-Up Fittings.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997

Generalization in Typed Equational Programming and Their Application to Learning Functions.

[BibT_eX]

[DOI]

Akira Ishino

New Gener. Comput., 1997

Which Hypotheses Can Be Found with Inverse Entailment?

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

1995

Rotation Measurement and Control of Optically Trapped Particles.

[BibT_eX]

[DOI]

Ichirou Yamaguchi

J. Robotics Mechatronics, 1995

Learning Logic Programs Using Definite Equality Theories as Background Knowledge.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

1994

Learning from Examples with Typed Equational Programming.

[BibT_eX]

[DOI]

Akira Ishino

Proceedings of the Algorithmic Learning Theory, 1994

1993

Parity-scan design to reduce the cost of test application.

[BibT_eX]

[DOI]

Hideo Fujiwara

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Generalized Unification as Background Knowledge in Learning Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992

Learning Elementary Formal Systems.

[BibT_eX]

[DOI]

Setsuo Arikawa

Takeshi Shinohara

Theor. Comput. Sci., 1992

Short Note: Procedural Semantics and Negative Information of Elementary Formal System.

[BibT_eX]

[DOI]

J. Log. Program., 1992

Polynomial-Time MAT Learning of Multilinear Logic Programs.

[BibT_eX]

[DOI]

Kimihito Ito

Proceedings of the Algorithmic Learning Theory, Third Workshop, 1992

1989

Elementary Formal System as a Logic Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming '89, 1989

Elementary Formal System as a Unifying Framework for Language Learning.

[BibT_eX]

[DOI]

Setsuo Arikawa

Takeshi Shinohara

Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989

1988

Completeness of Extending Unification Based on Basic Narrowing.

[BibT_eX]

Proceedings of the Logic Programming '88, 1988

1987

A Theoretical Combination of SLD-Resolution and Narrowing.

[BibT_eX]