|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kengo Kubo, Keizo Yamada, Kouichi Hirata, Masateru Harao |
Efficient schema matching algorithm based on pre-checking.  |
Systems and Computers in Japan  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Ono, Masateru Harao |
Multiagent-based modelling and simulation of consensus formations in arguments. |
IJAOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Katoh, Kouichi Hirata, Masateru Harao |
Mining Frequent Diamond Episodes from Event Sequences. |
MDAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Katoh, Kouichi Hirata, Masateru Harao |
Mining Sectorial Episodes from Event Sequences. |
Discovery Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshikazu Shima, Kouichi Hirata, Masateru Harao |
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. |
PAKDD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kouichi Hirata, Megumi Kuwabara, Masateru Harao |
On Finding Acyclic Subhypergraphs. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata |
Development of a Multi-Agent Based Generic Traffic Simulator. |
JSAI Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao |
On Generalization and Subsumption for Ordered Clauses. |
JSAI Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao |
The q-Gram Distance for Ordered Unlabeled Trees. |
Discovery Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shogo Ozaki, Masateru Harao, Kouichi Hirata |
Performance Analysis for Construction of a Performance Practice Support System. |
ICITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Ono, Masateru Harao, Kouichi Hirata |
Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. |
ICITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kouichi Hirata, Keizo Yamada, Masateru Harao |
Tractable and intractable second-order matching problems. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kouichi Hirata, Takeshi Ogawa, Masateru Harao |
Generalization Algorithms for Second-Order Terms. |
ILP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao |
Extracting Minimal and Closed Monotone DNF Formulas. |
Discovery Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao |
Extraction of Coverings as Monotone DNF Formulas. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya |
Higher order generalization and its application in program verification. |
Ann. Math. Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kouichi Hirata, Keizo Yamada, Masateru Harao |
Tractable and Intractable Second-Order Matching Problems. |
COCOON |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianguo Lu, Masateru Harao, Masami Hagiya |
Higher Order Generalization. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Masateru Harao |
Proof Discovery in LK System By Analogy. |
ASIAN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Masateru Harao |
Analogical Reasoning for L K Theorem Proving. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Masateru Harao |
Analogical Reasoning Based on Higher-Order Unification. |
ALT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Koji Iwanuma, Masateru Harao |
Knowledge Representation and Inference Based on First-Order Modal Logic. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Koji Iwanuma, Masateru Harao |
Knowledge Representation and Inference Based on First-Order Modal Logic. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiromi Miyajima, Masateru Harao, Shoichi Noguchi |
Indecomposable Maps in Tessellation Structures of Arbitrary Dimension. |
J. Comput. Syst. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Masateru Harao, Shoichi Noguchi |
Global Mapping Space of Cellular Systems |
Information and Control |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Masateru Harao, Shoichi Noguchi |
On Some Dynamical Properties of Finite Cellular Automaton. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
tree type transition, Abelian group graph, cycle type transition, homogeneous nets, passive configuration, cellular automaton, spectrum, characteristic polynomial |
| 1 | Masateru Harao, Shoichi Noguchi |
Fault Tolerant Cellular Automata. |
J. Comput. Syst. Sci. |
1975 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")