Travelled to:
1 × Brazil
1 × United Kingdom
Collaborated with:
H.Kashima M.Tatsuta
Talks about:
coinduct (1) calculus (1) subpath (1) kernel (1) induct (1) comput (1) type (1) tree (1) fast (1) dual (1)
Person: Daisuke Kimura
DBLP: Kimura:Daisuke
Contributed to:
Wrote 2 papers:
- ICML-2012-KimuraK #kernel #performance
- Fast Computation of Subpath Kernel for Trees (DK, HK), p. 81.
- RTA-2009-KimuraT #calculus #induction
- Dual Calculus with Inductive and Coinductive Types (DK, MT), pp. 224–238.