Hiroaki Iwashita

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