スポンサーリンク
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku | 論文
- Automatic texture mapping for 3-dimensional visualization
- Decidable/undecidable properties of conditional term rewriting systems
- Temporal epistemic logics for multi-agent systems
- 3ZF-4 電子ブックリーダーにおける物理的ページング操作を可能にしたセンシング装置の開発(実世界指向,学生セッション,インタフェース,情報処理学会創立50周年記念)
- On proving Ac-termination by AC-dependency pairs
- Decidability for left-linear growing term rewriting systems
- A framework of a support environment for cooperative works over distributed computing system based on a decision management
- Extending inductive generalization with abduction
- GKJ : Group KJ Method Support System Utilizing Digital Pens
- Simplification ordering for higher-order rewrite systems
- Simplification Ordering for Higher-Order Rewrite Systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
- Single machine scheduling under fuzziness
- Linking the Information Sharing Process to the Business Process in
- Effect of Rearrangement and Annotation in Digitized Note on Remembrance
- Qualitative, Quantitiative Evaluation of Ideas in Brain Writing Groupware
- The completeness of linear logic for petri net models
- Modality in open institutions with concrete syntax
- Network performances of TESH:a new hierarchical interconnection network for 3-D integration
- 並列ラジオシティ法による画像生成の高速化