Foresight in sight

Nihon Unisys

HOME >
Research & Innovation >
Publications

Publications

To be published
- 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