Foresight in sight

Nihon Unisys

HOME >
Research & Innovation >
Publications

Publications

To be published
- 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 and 19th International Symposium on Advanced Intelligent Systems in conjunction with Intelligent Systems Workshop 2018, to appear.
- Mesh Simplification Accompanied by its Denoising of Scanned Data >
  
  Shoichi Tsuchie
  Engineering with Computers (Springer) p1-16, in press.
- Verification of CPS Based on Control Loop using Model Checking
  
  Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
  25th Asia-Pacific Software Engineering Conference (ASPEC 2018), to appear.
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 > [PDF]
  
  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)
- Automated Historical Fact-Checking by Passage Retrieval, Word Statistics, and Virtual Question-Answering >
  
  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
- Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking >
  
  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)
- Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification >
  
  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
- Verification of Embedded System by a Method for Detecting Defects in Source Codes Using Model Checking >
  
  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 > [PDF]
  
  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 > [PDF]
  
  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)
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)

Form for Inquiries about research and innovation of Nihon Unisys >

About Nihon Unisys Top

Research & Innovation Top

Nihon Unisys

Publications