スポンサーリンク
School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku | 論文
- グループ意志決定におけるAHP重要度の感度係数を用いたトレードオフ分析支援法
- An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
- 適応可能アプリケーションの構築を支援する環境サーバ
- 適応可能なアプリケーションの構築を支援する環境サーバ
- モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ
- On proving AC-termination by argument filtering method
- On proving Ac-termination by AC-dependency pairs
- Argument filtering transformation
- The hierarchy of dependency pairs
- Decidability for left-linear growing term rewriting systems
- Extending inductive generalization with abduction
- Simplification ordering for higher-order rewrite systems
- Simplification Ordering for Higher-Order Rewrite Systems
- Index Reduction of Overlapping Strongly Sequential Systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
- Network performances of TESH:a new hierarchical interconnection network for 3-D integration
- 並列ラジオシティ法による画像生成の高速化