|
LTL Model Checking for Register Pushdown Systems
|
|
Ryoma SENDA, Yoshiaki TAKATA, Hiroyuki SEKI
|
104 |
12 |
2131–2144 |
2021 |
10.84 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Lempel-Ziv Factorization in Linear-Time O(1)-Workspace for Constant Alphabets
|
|
Weijun LIU
|
104 |
12 |
2145–2153 |
2021 |
8.48 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Formalization and Analysis of Ceph Using Process Algebra
|
|
Ran LI, Huibiao ZHU, Jiaqi YIN
|
104 |
12 |
2154–2163 |
2021 |
7.84 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Efficient Reboot-Based Recovery of In-Memory Databases
|
|
Yuto JUMONJI, Hiroshi YAMADA
|
104 |
12 |
2164–2172 |
2021 |
7.84 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Performance Comparison of Training Datasets for System Call-Based Malware Detection with Thread Information
|
|
Yuki KAJIWARA, Junjun ZHENG, Koichi MOURI
|
104 |
12 |
2173–2183 |
2021 |
12.41 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Multimodal-Based Stream Integrated Neural Networks for Pain Assessment
|
|
Ruicong ZHI, Caixia ZHOU, Junwei YU, Tingting LI, Ghada ZAMZMI
|
104 |
12 |
2184–2194 |
2021 |
6.86 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Neural Incremental Speech Recognition Toward Real-Time Machine Speech Translation
|
|
Sashi NOVITASARI, Sakriani SAKTI, Satoshi NAKAMURA
|
104 |
12 |
2195–2208 |
2021 |
14.58 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Representation Learning of Tongue Dynamics for a Silent Speech Interface
|
|
Hongcui WANG, Pierre ROUSSEL, Bruce DENBY
|
104 |
12 |
2209–2217 |
2021 |
8.9 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
An Improved U-Net Architecture for Image Dehazing
|
|
Wenyi GE, Yi LIN, Zhitao WANG, Guigui WANG, Shihan TAN
|
104 |
12 |
2218–2225 |
2021 |
11.58 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|
|
Coarse-to-Fine Evolutionary Method for Fast Horizon Detection in Maritime Images
|
|
Uuganbayar GANBOLD, Junya SATO, Takuya AKASHI
|
104 |
12 |
2226–2236 |
2021 |
8.5 |
|
平均評価: 0.0 / 5
(0 件のレビュー)
|