スポンサーリンク
National Institute Of Informatics The Graduate University For Advanced Studies | 論文
- BS-7-10 WWAN MultiView Video MultiCast with Depth Maps for the Cooperative Peer-To-Peer Repair(BS-7. Network Planning, Control and Management)
- PROLEG--論理プログラミングをベースとした民事訴訟における要件事実論の実装 (社会システムと情報技術研究ウィーク)
- 著作権法の要件事実論のPROLEGによる実装 (社会システムと情報技術研究ウィーク)
- 矛盾を契機とする非単調推論の確率的意味について
- 解釈の順序による柔らかい制約の定式化
- 極小限定の確率的意味について
- 89-34 制約の階層と論理プログラミング
- 非単調論理と常識推論 (<特集>非標準論理とその応用)
- Yale Shooting問題とその解決へのアプローチ
- PROLEGを用いた判例法理の実装--転得者が存在する場合の背信的悪意者の法理の実装 (社会システムと情報技術研究ウィーク)
- 制約プログラミングに関する日本・フランス間の研究交流
- BS-4-12 Distributed Source Coding for the WWAN MultiView Video Multicast with Local Repair(BS-4. Network Design, Management and Control for Future Networked Systems)
- デフォルト論理のトップダウン証明手法について
- JICSLP '92会議報告
- 制限付きGHCの逐次型処理系
- BS-6-19 Error-resilient Multiview Video Streaming(BS-6. Planning, Control and Management on Networks and Services)
- B-8-44 Distributed Markov Decision Process in Local WLAN Repair for WWAN Video Broadcast
- BS-3-28 Distributed Source Coding for Interactive Multiview Video Unicast(BS-3. Management and Control Technologies for Innovative Networks)
- BS-3-27 Switchable Mix-Quality Frame Structure for Gaze-based Video Streaming(BS-3. Management and Control Technologies for Innovative Networks)
- Energy-aware Multi-view Video Streaming over Wireless Networks