Search Results - "Iwashita, Hiroaki"

Graphillion: software library for very large sets of labeled graphs by Inoue, Takeru, Iwashita, Hiroaki, Kawahara, Jun, Minato, Shin-ichi

“…Several graph libraries have been developed in the past few decades, and they were basically designed to work with a few graphs. However, there are many…”
Get full text

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs by Yoshinaka, Ryo, Saitoh, Toshiki, Kawahara, Jun, Tsuruma, Koji, Iwashita, Hiroaki, Minato, Shin-ichi

“…Link puzzles involve finding paths or a cycle in a grid that satisfy given local and global properties. This paper proposes algorithms that enumerate solutions…”
Get full text

Continuous Tensor Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems by Ichikawa, Yuma, Iwashita, Hiroaki

“…Finding the best solution is a common objective in combinatorial optimization (CO). In practice, directly handling constraints is often challenging,…”
Get full text

Agent-based simulation analysis for security planning based on structures of urban road networks by Goto, Akinobu, Takahashi, Shingo, Ohori, Kotaro, Yamane, Shohei, Iwashita, Hiroaki, Anai, Hirokazu

“…This paper proposes an agent-based simulation to analyze the effective resource allocation strategies for patrolling and inspection in consideration of urban…”
Get full text

Rule Mining for Correcting Classification Models by Suzuki, Hirofumi, Iwashita, Hiroaki, Takagi, Takuya, Fujishige, Yuta, Hara, Satoshi

“…Machine learning models need to be continually updated or corrected to ensure that the prediction accuracy remains consistently high. In this study, we…”
Get full text

Rule Mining for Correcting Classification Models by Suzuki, Hirofumi, Iwashita, Hiroaki, Takagi, Takuya, Fujishige, Yuta, Hara, Satoshi

“…Machine learning models need to be continually updated or corrected to ensure that the prediction accuracy remains consistently high. In this study, we…”
Get full text

Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification by Iwashita, Hiroaki, Takagi, Takuya, Suzuki, Hirofumi, Goto, Keisuke, Ohori, Kotaro, Arimura, Hiroki

“…Learning of interpretable classification models has been attracting much attention for the last few years. Discovery of succinct and contrasting patterns that…”
Get full text

Effect of human body shadowing on UWB radio channel by Sasaki, Eriko, Hanaki, Hidenobu, Iwashita, Hiroaki, Naiki, Kazuki, Kajiwara, Akihiro

“…A body area network has recently attracted attentions which is a UWB based wireless network of wearable devices. The device may be surface-mounted on the body…”
Get full text

Forward model checking techniques oriented to buggy designs by Iwashita, Hiroaki, Nakata, Tsuneo

“…Forward model checking is an efficient symbolic model checking method for verifying realistic properties of sequential circuits and protocols. We present the…”
Get full text

Forward model checking techniques oriented to buggy designs by Iwashita, Hiroaki, Nakata, Tsuneo

“…Forward model checking is an efficient symbolic model checking method for verifying realistic properties of sequential circuits and protocols. In this paper,…”
Get full text

CTL model checking based on forward state traversal by Iwashita, Hiroaki, Nakata, Tsuneo, Hirose, Fumiyasu

“…We present a CTL model checking algorithm based mainly on forward state traversal, which can check many realistic CTL properties without doing backward state…”
Get full text

Formal verification based on assume and guarantee approach - a case study (short paper) by Roy, Subir K., Iwashita, Hiroaki, Nakata, Tsuneo

Get full text