Research

Takahisa Toda

Back to Top Page.

Last update: 2015-05-09


1. Refereed Journal Papers

2. Refereed International Conference Papers

  • Taichi Uchino, Hisashi Koga, Takahisa Toda, Improved Compression-Based Pattern Recognition Exploiting New Useful Freatures, in Proc. of the 8-th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA), June, 2017, Faro, Portugal.
  • Hisashi Koga, Yuji Nakajima, Takahisa Toda, Effective Construction of Compression-based Feature Space, in Proc. of the International Symposium on Information Theory and Its Applications (ISITA), October, 2016, Monterey, California, USA.
  • Takahisa Toda, Koji Tsuda, BDD Construction for All Solutions SAT and Efficient Caching Mechanism, in Proc. of the 30th Annual ACM Symposium on Applied Computing (Track on Constraint Solving and Programming and Knowledge Representation and Reasoning), pp. 1880-1886, April, 2015, Salamanca, Spain. The program CNF2OBDD is released. See also ALLSAT Solvers.
  • Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato, Superset Generation on Decision Diagrams, in Proc. of the 9th International Workshop on Algorithms and Computation (WALCOM 2015), LNCS, Vol. 8973, pp. 317-322, Feb., 2015, Dhaka, Bangladesh.
  • Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato, Three-way Indexing ZDDs for Large-scale Sparse Datasets, in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS, Vol. 8643, pp. 457-469, May, 2014, Tainan, Taiwan.
  • Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato, A General Framework for Parallel Unary Operations on ZDDs, in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS, Vol. 8643, pp.494-503, May, 2014, Tainan, Taiwan.
  • Yuma Inoue, Takahisa Toda, Shin-ichi Minato, "Generating Permutations under Pattern Occurence Constraints Using PiDDs", in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, May, 2014, Tainan, Taiwan.
  • Takahisa Toda, Dualization of Boolean functions Using Ternary Decision Diagrams, in Proc. of 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM2014), Florida, USA(2014). The program DB-TDD is released.
  • Takahisa Toda, Fast Compression of Large-scale Hypergraphs for Solving Combinatorial Problems, in Proc. of Sixteenth International Conference on Discovery Science (DS2013), LNAI 8140, pp. 281--293, Singapore (2013). The program ZCOMP is released.
  • Takahisa Toda, Hypergraph Transversal Computation with Binary Decision Diagrams, in Proc. of 12th International Symposium on Experimental Algorithms (SEA2013), LNCS 7933, pp.91-102, Rome, Italy (2013). The program HTC-BDD is released.
  • Takahisa Toda, Multipolytopes and Their Duality, in Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, pp.457-464. Kyoto, May 31, 2011.
  • Takahisa Toda, Convex sets in real projective space and its application to computational geometry, in Proceedings of the 7th Japan Conference on Computational Geometry and Graphs, pp.20-21. Kanazawa, Japan (Nov. 2009).