Abstract is missing.
- Formal Specification and Model Checking of Raft Log Replication in MaudeTakanori Ishibashi, Kazuhiro Ogata 0001. 1-6 [doi]
- Automatic Identification and Extraction of Assumptions on GitHubChen Yang 0007, Zinan Ma, Peng Liang 0001, Xiaohua Liu. 7-15 [doi]
- An Interval RSP-based ensemble model for big data analysisWenzhu Cai, Mark Junjie Li. 16-23 [doi]
- Cross-Knowledge Graph Relation Completion for Non-isomorphic Cross-lingual Entity AlignmentYuhong Zhang 0002, Dan Lu, Chenyang Bu, Kui Yu, Xindong Wu 0001. 24-31 [doi]
- Directional Residual Frame: Turns the motion information into a static RGB frame (S)Pengfei Qiu, Yang Zou, Xiaoqin Zeng, Xiaoxiang Lu, Xiangchen Wu. 32-37 [doi]
- A Topic Lifecycle Trend Prediction Algorithm on FacebookChen Luo. 38-43 [doi]
- Enriching RDF-based Document Management System with Semantoc-based Reasoning (S)Maria Assunta Cappelli, Ashley Caselli, Giovanna Di Marzo Serugendo. 44-50 [doi]
- DSWA: A Dilated Shift Window Attention Method for Chinese Named Entity Recognition (S)Xinyu Hou, Cui Zhu, Wenjun Zhu. 51-57 [doi]
- Consistency analysis of UML models (S)Guofu Tang, Jianmin Jiang, Hao Wen. 58-64 [doi]
- Building and Assessing an Italian Textual Dataset for Emotion Recognition in Human-Robot InteractionsAlessia Fantini, Antonino Asta, Alfredo Cuzzocrea, Giovanni Pilato. 65-73 [doi]
- Providing Accessible and Supportive User Experience through conversational UI and digital humans: a case studyElena Molinari, Andrea Molinari. 74-80 [doi]
- End-to-End Contextual Speech Recognition With Word-Piece-Level Token SelectionZhibin Wu, Yang Zou, Jian Zhou, Min Wang, Xiaoqin Zeng. 81-86 [doi]
- A BERT-based Model for Semantic Consistency Checking of Automation Rules (S)Bernardo Breve, Gaetano Cimino, Vincenzo Deufemia, Annunziata Elefante. 87-93 [doi]
- A Comparative Analysis of Agile Teamwork Quality Instruments in Agile Software Development: A Qualitative ApproachRamon Santos, Felipe Cunha, Thiago Rique, Mirko Barbosa Perkusich, Hyggo O. Almeida, Angelo Perkusich, Icaro Costa. 94-103 [doi]
- The Influence Of Techonological Factors On Dark Web Marketplace ClosureMichael Kyobe, Hishaam Damon. 104-112 [doi]