スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- ソフトウェアプロセス実行における系統的コミュニケーション支援の一方式
- フローに連携した組織情報共有手法の提案
- 多重視点設定可能な,OMTに対するCASEデータベースの設計とPCTE上での実装
- 階層化ヘミキューブを用いた並列ラジオシティ法による高速画像生成
- Speaking about transitive frames in propositional languages
- Simplification ordering for higher-order rewrite systems
- Resource Management and Scheduling in Grid Computing
- Xpe with Theorem Provers
- Magnetic Experimental Data Analyzing Program
- Extending inductive generalization with abduction
- Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm
- A framework of a support environment for cooperative works over distributed computing system based on a decision management
- Decidability for left-linear growing term rewriting systems
- 構造化分析の事例研究 : 生産管理システム
- A discrete Nash Theorem with low complexity and dynamic equilibria
- ハイパーカードを利用した漢字学習支援システム
- Hypertextual IPALexicons brows system-HiPAL-使用説明書
- テキスト簡易要約器 Posum version 1.50.2 マニュアル
- 語彙的連鎖計算プログラム Lexical Chainers version 1.50.2 マニュアル
- 並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式