|
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots
|
|
Yoshinao ISOBE, Nobuhiko MIYAMOTO, Noriaki ANDO, Yutaka OIWA
|
104 |
10 |
1515–1532 |
2021 |
16.1 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Verification of Group Key Management of IEEE 802.21 Using ProVerif
|
|
Ryoga NOGUCHI, Yoshikazu HANATANI, Kazuki YONEYAMA
|
104 |
10 |
1533–1543 |
2021 |
11.41 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
FOREWORD
|
|
Toshiaki FUJII
|
104 |
10 |
1544–None |
2021 |
8.67 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Image Based Coding of Spatial Probability Distribution on Human Dynamics Data
|
|
Hideaki KIMATA, Xiaojun WU, Ryuichi TANIDA
|
104 |
10 |
1545–1554 |
2021 |
9.6 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Per-Pixel Water Detection on Surfaces with Unknown Reflectance
|
|
Chao WANG, Michihiko OKUYAMA, Ryo MATSUOKA, Takahiro OKABE
|
104 |
10 |
1555–1562 |
2021 |
10.58 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Robust and Efficient Homography Estimation Using Directional Feature Matching of Court Points for Soccer Field Registration
|
|
Kazuki KASAI, Kaoru KAWAKITA, Akira KUBOTA, Hiroki TSURUSAKI, Ryosuke ...
|
104 |
10 |
1563–1571 |
2021 |
13.31 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Lossless Coding of HDR Color Images in a Floating Point Format Using Block-Adaptive Inter-Color Prediction
|
|
Yuya KAMATAKI, Yusuke KAMEDA, Yasuyo KITA, Ichiro MATSUDA, Susumu ITOH
|
104 |
10 |
1572–1575 |
2021 |
13.31 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Rolling Guidance Filter as a Clustering Algorithm
|
|
Takayuki HATTORI, Kohei INOUE, Kenji HARA
|
104 |
10 |
1576–1579 |
2021 |
10.56 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Global Optimization Algorithm for Cloud Service Composition
|
|
Hongwei YANG, Fucheng XUE, Dan LIU, Li LI, Jiahui FENG
|
104 |
10 |
1580–1591 |
2021 |
10.52 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
An Ising Machine-Based Solver for Visiting-Route Recommendation Problems in Amusement Parks
|
|
Yosuke MUKASA, Tomoya WAKAIZUMI, Shu TANAKA, Nozomu TOGAWA
|
104 |
10 |
1592–1600 |
2021 |
13.38 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|