Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Iwashita, Hiroaki
121  Ergebnisse:
Personensuche X
?
1

Rule Mining for Correcting Classification Models:

, In: 2023 IEEE International Conference on Data Mining (ICDM),
Suzuki, Hirofumi ; Iwashita, Hiroaki ; Takagi, Takuya.. - p. 1331-1336 , 2023
Link: https://doi.org/10.1109/..
 
?
2

ON DYNAMIC PATROLLING SECURITY GAMES:

Kira, Akifumi ; Kamiyama, Naoyuki ; Anai, Hirokazu..
Journal of the Operations Research Society of Japan.  62 (2019)  4 - p. 152-168 , 2019
Link: https://doi.org/10.15807..
 
?
3

Frontier-Based Search for Enumerating All Constrained Subgr..:

KAWAHARA, Jun ; INOUE, Takeru ; IWASHITA, Hiroaki.
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.  E100.A (2017)  9 - p. 1773-1784 , 2017
Link: https://doi.org/10.1587/..
 
?
4

Agent-based simulation analysis for security planning based..:

, In: Proceedings of the 2016 Winter Simulation Conference,
Goto, Akinobu ; Takahashi, Shingo ; Ohori, Kotaro... - p. 3720-3721 , 2016
Link: https://dl.acm.org/doi/1..
 
?
5

Simplifying Urban Network Security Games with Cut-Based Gra..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
Iwashita, Hiroaki ; Ohori, Kotaro ; Anai, Hirokazu. - p. 205-213 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Graphillion: software library for very large sets of labele..:

Inoue, Takeru ; Iwashita, Hiroaki ; Kawahara, Jun.
International Journal on Software Tools for Technology Transfer.  18 (2014)  1 - p. 57-66 , 2014
Link: https://doi.org/10.1007/..
 
?
7

Finding All Solutions and Instances of Numberlink and Slith..:

Yoshinaka, Ryo ; Saitoh, Toshiki ; Kawahara, Jun...
Algorithms.  5 (2012)  2 - p. 176-213 , 2012
Link: https://doi.org/10.3390/..
 
?
8

Formal verification based on assume and guarantee approach ..:

, In: Proceedings of the 2000 Asia and South Pacific Design Automation Conference,
Roy, Subir K. ; Iwashita, Hiroaki ; Nakata, Tsuneo - p. 77-80 , 2000
Link: https://dl.acm.org/doi/1..
 
?
9

Forward model checking techniques oriented to buggy designs:

, In: Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Nakata, Tsuneo - p. 400-404 , 1997
Link: https://dl.acm.org/doi/1..
 
?
10

CTL model checking based on forward state traversal:

, In: Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Nakata, Tsuneo ; Hirose, Fumiyasu - p. 82-87 , 1997
Link: https://dl.acm.org/doi/1..
 
?
11

Automatic test program generation for pipelined processors:

, In: Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Kowatari, Satoshi ; Nakata, Tsuneo. - p. 580-583 , 1994
Link: https://dl.acm.org/doi/1..
 
?
12

Rule Mining for Correcting Classification Models:

Suzuki, Hirofumi ; Iwashita, Hiroaki ; Takagi, Takuya..
http://arxiv.org/abs/2310.06446.  , 2023
Link: http://arxiv.org/abs/231..
 
?
13

Efficient Constrained Pattern Mining Using Dynamic Item Ord..:

Iwashita, Hiroaki ; Takagi, Takuya ; Suzuki, Hirofumi...
http://arxiv.org/abs/2004.08015.  , 2020
Link: http://arxiv.org/abs/200..
 
?
14

Finding All Solutions and Instances of Numberlink and Slith..:

Shin-ichi Minato ; Koji Tsuruma ; Hiroaki Iwashita...
http://www.mdpi.com/1999-4893/5/2/176/.  , 2012
Link: https://doi.org/10.3390/..
 
?
15

Finding All Solutions and Instances of Numberlink and Slith..:

Ryo Yoshinaka ; Toshiki Saitoh ; Jun Kawahara...
https://dx.doi.org/10.3390/a5020176.  , 2012
Link: https://doi.org/10.3390/..
 
1-15