Hiroaki Iwashita

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 9

Top Topics

Classification Models

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Yuma Ichikawa, Hiroaki Iwashita
Continuous Tensor Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems. CoRR (2024)
Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Yuta Fujishige, Satoshi Hara
Rule Mining for Correcting Classification Models. CoRR (2023)
Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Yuta Fujishige, Satoshi Hara
Rule Mining for Correcting Classification Models. ICDM (2023)
Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara
Explainable and Local Correction of Classification Models Using Decision Trees. AAAI (2022)
Hiroaki Iwashita, Takuya Takagi, Hirofumi Suzuki, Keisuke Goto, Kotaro Ohori, Hiroki Arimura
Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification. CoRR (2020)
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato
Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2017)
Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai
Agent-based simulation analysis for security planning based on structures of urban road networks. WSC (2016)
Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, Atsushi Iwasaki
Simplifying Urban Network Security Games with Cut-Based Graph Contraction. AAMAS (2016)
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato
Graphillion: software library for very large sets of labeled graphs. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Algorithms 5 (2) (2012)
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Formal verification based on assume and guarantee approach - a case study (short paper). ASP-DAC (2000)
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Dataflow Analysis for Resource Contention and Register Leakage Properties. VLSI Design (2000)
Hiroaki Iwashita, Tsuneo Nakata
Forward model checking techniques oriented to buggy designs. ICCAD (1997)
Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose
CTL model checking based on forward state traversal. ICCAD (1996)
Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose
Automatic test program generation for pipelined processors. ICCAD (1994)