Travelled to:1 × Australia
1 × France
1 × USA
Collaborated with:∅ Y.Yamamoto S.Fukuda
Talks about:circumscript (1) parallel (1) frequent (1) approxim (1) theorem (1) resourc (1) itemset (1) conserv (1) stream (1) prover (1)
Person: Koji Iwanuma
DBLP: Iwanuma:Koji
Contributed to:
2014
19971994Wrote 3 papers:
- SIGMOD-2014-YamamotoIF #approximate #data type #mining
- Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.
- CADE-1997-Iwanuma #proving #theorem proving #top-down
- Lemma Matching for a PTTP-based Top-down Theorem Prover (KI), pp. 146–160.
- CADE-1994-Iwanuma #normalisation #parallel #query
- Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.