スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Approximating the minimum maximal independence number
- A family of substructural logics with restricted/generalized structural rules
- On solving the max-min 0-1 knapsack problem
- 動的輪郭モデルを用いた多方向に移動する複数物体の追跡に関する研究
- JAISTにおける超並列関連研究 : 1992年度-1993年度
- JAISTにおける超並列関連研究 (1994年度-1996年度)
- JAISTにおける超並列関連研究(1997年度)
- Human Performance and Sensation in Haptic Virtual Environment
- A Parallel K-sets Clustering Algorithm for Categorical and Mixed Data
- A Type Theory for Krivine-style Evaluation and Compilation
- Propositional calculus with identity
- Concept of linear fuzzy coalitional game
- The role of domain engineering in software development
- MITS : models of IT security : security rules & regulations : an interpretation
- Domains and problem frames : an experiment in triptych software development
- Public government, a domain analysis
- 類似フレーズに着目したピアノ演奏の自動採譜システム
- Hierarchical 3D-torus interconnection network for massively parallel comp
- 超高精細・高階調カラー画像の統計的性質と Lossless coding
- KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems