Publications
Publications
To be published
-
Analysis of LLM's ‟Spurious‟ Correct Answers Using Evidence Information of Multi-hop QA Datasets
Ai Ishii, Naoya Inoue, Hisami Suzuki, Satoshi Sekine
In Proceedings of the First Workshop on Knowledge Graphs and Large Language Models (KALLM), Association for Computational Linguistics (2024), to appear -
A Deductive System for Annotated Linear-Time Temporal Logic LTLτ
Yotaro Nakayama, Yoshitaka Aoki
The IEEE World Congress on Computational Intelligence for the year 2024 (IEEE-WCCI 2024) (2024), to appear
2024
-
Review Matching Task to Diagnose Basic Review Ability
Koki Saito
Journal of Digital Life Volume 4 (2024) -
JEMHopQA: Dataset for Japanese Explainable Multi-Hop Question Answering
Ai Ishii, Naoya Inoue, Hisami Suzuki, Satoshi Sekine
In Proceedings of The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) p9515–9525 (2024) -
Viewing Experience Support Environment based on Knowledge Experience Design
Takayuki Hoshino
2024 the 12th International Conference on Information and Education Technology (ICIET 2024) (2024) -
α-Curves: Extended Log-aesthetic Curves with Variable Shape Parameter
Shoichi Tsuchie, Norimasa Yoshida
Computers & Graphics (Elsevier) 118 p60-70 (2024)
2023
-
Bilattice Tableau Calculi with Rough Set Semantics
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Advances in Applied Logics - Applications of Logic for Philosophy, Mathematics and
Information Technology (Springer) p113-128 (2023) -
Annotated Logic with Rough Double Stone Algebraic Interpretation
Yotaro Nakayama, Seiki Akama, Jair M. Abe, Tetsuya Murai
IEEE International Conference on Fuzzy Systems (2023) -
Hiroki Abe, Tamotsu Kamishima, Ryoji Ojima, Ryuta Onishi, Michiyo Hirano
Information, Communication & Society (Routledge) 26(3) p459-478 (2023) -
Reconstruction of Aesthetically Smooth Curves
Shoichi Tsuchie
The Visual Computer (Springer) 39(1) p353-365 (2023)
2022
-
Takuma Sakamoto, Shun Sinzeki, Shunsuke Kakinuma, Eri Ishihara, Hiroko Tabunoki
BMC Genomics 23, 751 p1-13 (2022) -
High-quality approximation of log-aesthetic curves based on the fourth order derivative
Shoichi Tsuchie, Norimasa Yoshida
Journal of Computational Design and Engineering (Oxford University Press) 9(6) p2439-2451 (2022) -
A Software Design Method for Creation and Utilization of Experiential Knowledge
Takayuki Hoshino, Rentaro Yoshioka
International Conference on Electrical Computer and Energy Technologies 2022(ICECET2022) p1-6（2022） -
Four-valued Interpretation for Paraconsistent Annotated Evidential Logic
Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai
14th International KES Conference Intelligent Decision Technologies (KES-IDT) p137-147 (2022) -
Cooperative Design of Devices and Services to Balance Low Power and User Experience
Takayuki Hoshino, Rentaro Yoshioka, Yukihide Kohira, Shingo Tetsuka
Journal of Low Power Electronics and Applications (MDPI) 12(1) p1-19 (2022) -
Reconstruction of Adaptive Swept Surfaces from Scanned Data for Styling Design
Shoichi Tsuchie
The Visual Computer (Springer) 38(2) p493-507 (2022)
2021
-
Takayuki Hoshino, Rentaro Yoshioka, Yukihide Kohira
IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p296-303 (2021) -
UI Method to Support Knowledge Creation in Hybrid Museum Experience
Toru Tamahashi, Rentaro Yoshioka, Takayuki Hoshino
IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p292-295 (2021) -
Many-Valued Tableau Calculi for Decision Logic based on Approximation Regions in VPRS
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
International Journal of Reasoning-based Intelligent Systems (Inderscience Publishers) 13(4) p235-242 (2021) -
Reconstruction of Intersecting Surface Models from Scanned Data for Styling Design
Shoichi Tsuchie
Engineering with Computers (Springer) 37(1) p211-222 (2021)
2020
-
Rough Set Logic for Kleene's Three-valued Logic
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS＆ISIS 2020) (2020) -
Bilattice Logic for Rough Sets
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Journal of Advanced Computational Intelligence and Intelligent Informatics (Fuji Technology Press) 24(6) p774-784 (2020) -
Variational Bayesian Parameter-Based Policy Exploration
Tikara Hosino
International Joint Conference on Neural Networks (IJCNN2020) p1-7 (2020)
2019
-
Design of Knowledge Templates and Multi-view Symbols for Experiential Learning
Takayuki Hoshino, Rentaro Yoshioka
13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p201-208 (2019) -
Analysis of Review Quality by Using Gaze Data During Document Review
Koki Saito, Shohei Hidaka
41th Annual Meeting of the Cognitive Science Society (CogSci2019) p2695-2701 (2019) -
A Graph-based Model for Experiential Knowledge
Takayuki Hoshino, Rentaro Yoshioka
International Journal of Knowledge Engineering 5(1) p1-7 (2019) -
Mesh Simplification Accompanied by its Denoising of Scanned Data
Shoichi Tsuchie
Engineering with Computers (Springer) 35(3) p993-1008 (2019)
2018
-
Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
25th Asia-Pacific Software Engineering Conference (APSEC) p678-682 (2018) -
Four-Valued Semantics for Granular Reasoning towards Frame Problem
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), p37-42 (2018) -
A Template System for Modeling and Verifying Agent Behaviors
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
PRIMA 2018: Principles and Practice of Multi-Agent Systems (PRIMA 2018), LNCS 11224 (Springer) p576-584 (2018) -
Four-valued Tableau Calculi for Decision Logic of Rough Set
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Procedia Computer Science (Elsevier) 126 p383-392 (2018) -
An Impression Based Recording of Art Viewing Experience: Preliminary Implementation and Analysis
Takayuki Hoshino, Rentaro Yoshioka, Masahiro Arai
International Journal of Culture and History 4(3) p36-41 (2018) -
Deduction System for Decision Logic Based on Many-valued Logics
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
International Journal On Advances in Intelligent Systems 11(1 & 2) p105-114 (2018) -
Goal-Satisfaction Verification to Combination of Use Case Components
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) p343-350 (2018)
2017
-
A Tool to Edit and Verify IoT System Architecture Model
Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) p571-575 (2017) -
Mio Kobayashi, Ai Ishii, Chikara Hoshino, Hiroshi Miyashita, Takuya Matsuzaki
8th International Joint Conference on Natural Language Processing p967–975 (2017) -
Deduction System for Decision Logic based on Partial Semantics
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
11th International Conference on Advances in Semantic Processing p8-11 (2017) -
Two Alternative Criteria for a Split-Merge MCMC on Dirichlet Process Mixture Models
Tikara Hosino
26th International Conference on Artificial Neural Networks (ICANN 2017), LNCS 10614 (Springer) p672-679 (2017) -
Reconstruction of Underlying Surfaces from Scanned Data Using Lines of Curvature
Shoichi Tsuchie
Computers & Graphics (Elsevier) 68 p108-118 (2017) -
Reconstruction of Underlying Curves with Styling Radius Corners
Shoichi Tsuchie
The Visual Computer (Springer) 33(9) p1197-1210 (2017) -
Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
5th International Conference on Model-Driven Engineering and Software Development p529-535 (2017)
2016
-
High-quality Quadratic Curve Fitting for Scanned Data of Styling Design
Shoichi Tsuchie, Kunio Okamoto
Computer-Aided Design (Elsevier) 71 p39-50 (2016)
2014
-
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
25th International Symposium on Software Reliability Engineering (2014) -
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
Yoshitaka Aoki, Saeko Matsuura
IEICE Transactions on Information and Systems E97-D(5) MAY p1097-1108 (2014) -
Yoshitaka Aoki, Saeko Matsuura
IEEE 1st International Workshop on Requirements Engineering and Testing (RET) p18-25 (2014) -
Surface Mesh Segmentation and Reconstruction with Smooth Boundary Curves
Shoichi Tsuchie, Masatake Higashi
Pacific Conference on Computer Graphics and Applications -Short Papers- p25-30 (2014) -
Extraction of Surface-feature Lines on Meshes Using Normal Tensor Framework
Shoichi Tsuchie, Masatake Higashi
Computer-Aided Design and Applications (Taylor & Francis) 11(2) p172-181 (2014) -
High-quality Vertex Clustering for Surface Mesh Segmentation Using Student-t Mixture Model
Shoichi Tsuchie, Tikara Hosino, Masatake Higashi
Computer-Aided Design (Elsevier) 46 p69-78 (2014)
2013
-
Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
8th International Conference on Software Engineering Advances (ICSEA 2013) p194-200 (2013)
2012
-
Quality Improvement of Requirements Specification Using Model Checking Technique
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
14th International Conference on Enterprise Information Systems (ICEIS 2014) p401-406 (2012) -
Surface Mesh Denoising with Normal Tensor Framework
Shoichi Tsuchie, Masatake Higashi
Graphical Models (Elsevier) 74(4) JUL. p130-139 (2012) -
Multi-GPU Algorithm for k-nearest Neighbor Problem
Kimikazu Kato, Tikara Hosino
Concurrency and Computation: Practice and Experience 24(1) p45-53 (2012)
2011
-
Yoshitaka Aoki, Saeko Matsuura
IEEE Symposium on Computers & Informatics (ISCI 2011) p530-535 (2011) -
A Method for Detecting Unusual Defects in Enterprise System Using Model Checking Techniques
Yoshitaka Aoki, Saeko Matsuura
10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems p165-171 (2011)
2010
-
A Method for Detecting Defects in Source Codes Using Model Checking Techniques
Yoshitaka Aoki, Saeko Matsuura
IEEE 34th Annual Computer Software and Applications Conference (COMPSAC 2010) p543-544 (2010) -
Solving k-Nearest Neighbor Problem on Multiple Graphics Processors
Kimikazu Kato, Tikara Hosino
10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing p769-773 (2010) -
On Degeneracy of Lower Envelopes of Algebraic Surfaces
Kimikazu Kato
22th Canadian Conference on Computational Geometry (CCCG) p59-62 (2010) -
High Dimensional Non-linear Modeling with Bayesian Mixture of CCA
Tikara Hosino
17th International Conference on Neural Information Processing (ICONIP 2010), LNCS 6443 (Springer) p446-453 (2010) -
Bayesian Joint Optimization for Topic Model and Clustering
Tikara Hosino
20th International Conference on Artificial Neural Networks (ICANN 2010), LNCS 6352 (Springer) p77-86 (2010)
2006
-
Free Energy of Stochastic Context Free Grammar on Variational Bayes
Tikara Hosino, Kazuho Watanabe, Sumio Watanabe
13th International Conference on Neural Information Processing (ICONIP 2006), LNCS 4232 (Springer) p407-416 (2006)