スポンサーリンク
School of Information Science, JAIST | 論文
- Bipartite powers of interval bigraphs
- Hibert style proof system for BPL
- Voronoi Diagrams with Respect to Criteria on Vision Information
- Micro Creatinine Sensor Based on ISFET
- Dynamic Task Flow Scheduling for Heterogeneous Distributed Computing: Algorithm and Strategy
- Efficient Enumeration of All Pseudoline Arrangements
- Space-Efficient Algorithm for Image Rotation
- Determining High Temperature Properties of Weld Materials
- Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems
- Inserting Points Uniformly at Every Instance
- A New HMnet Construction Algorithm Requiring No Contextual Factors
- On Detecting Digital Line Components in a Binary Image
- State Machines as Inductive Types(Concurrent Systems)
- Proof Score Approach to Verification of Liveness Properties
- Analysis of membership sharing in digital subscription services
- Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- On Proving AC-Termination by Argument Filtering Method
- NVNF-sequentiality of Left-linear Term Rewriting Systems
- E重なりのある単純右線形項書き換えシステムの合流性について