Powered by Engineering Brain, Japan | What is PKV? | PKV Methodology | KnowledgeRank v4.0.0: PKV Trends of My Authored Papers Are Now Available on My Page

IEICE Transactions in Information and Systems - 巻 104 / 号 12

タイトル
著者 ページ PKV
LTL Model Checking for Register Pushdown Systems
Ryoma SENDA, Yoshiaki TAKATA, Hiroyuki SEKI 104 12 2131–2144 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Lempel-Ziv Factorization in Linear-Time O(1)-Workspace for Constant Alphabets
Weijun LIU 104 12 2145–2153 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Formalization and Analysis of Ceph Using Process Algebra
Ran LI, Huibiao ZHU, Jiaqi YIN 104 12 2154–2163 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Efficient Reboot-Based Recovery of In-Memory Databases
Yuto JUMONJI, Hiroshi YAMADA 104 12 2164–2172 2021 0.0
平均評価: 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 0.0
平均評価: 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 0.0
平均評価: 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 0.0
平均評価: 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 0.0
平均評価: 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 0.0
平均評価: 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 0.0
平均評価: 0.0 / 5 (0 件のレビュー)