スポンサーリンク
School of Information Science, JAIST | 論文
- Digital Curve Approximation with Length Evaluation
- Longest Path Problems on Ptolemaic Graphs
- FOREWORD
- Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm(Concurrent Systems)
- Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
- Logics Over MIPC
- Voronoi Game on a Path
- DS-1-7 Scale Free Interval Graphs
- A Prediction-Based Green Scheduler for Datacenters in Clouds
- Permutation Polynomials and Their Applications to Cryptography
- A Small-Space Algorithm for Removing Small Connected Components from a Binary Image
- FPT algorithms for Token Jumping on Graphs