スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Completeness theorem of infinitary propositional modal logic
- Non-Archmedean Additive Utilities for Discrete Items
- A new hierarchical motion estimation technique for video compression
- Comparing the performance of two consensus algorithms with centralized and decentralized communication schemes
- A Scenario-based Object-Oriented Modeling Method with Algebraic
- A new text representation method using fuzzy concepts in text categorization
- 仮想現実空間上での3次元物体造形システム
- Generating all arcs in the transitive closure of a directed hypergraph
- A family of substructural implicational logics
- 振動子付き手形状入力装置を用いた指文字学習支援システム
- 振動子付き手形状入力装置を用いた指文字学習支援システムの性能評価
- 高調波分析による手話単語認識システム
- The performance of a highly reliable parallel disk system
- Shifted Recursive Torus interconnection network for massively parallel computers
- Shifted Recursive Torus interconnection network for massively parallel computers
- Logical semantics for CafeOBJ
- Cut-free sequent calculi for Visser's propositional logics
- 研究環境におけるリソースサーバlabdbの設計と実現
- Automatic generation of Web directories
- Linear programming with inexact coefficients