スポンサーリンク
大阪大学大学院基礎工学研究科情報数理系専攻 | 論文
- 1G-6 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
- 複数時間オートマトンによる仕様記述と検証
- 組合わせ幾何を用いた有理数プレスブルガー文真偽判定アルゴリズムにおける投影操作の高速化
- Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- GUI制御部の記述と実現の一手法
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
- テレビ視聴行動からの個人的選好獲得(一般セッション2,三次元画像,多視点画像)
- 個人的選好獲得のための特定人物のテレビ視聴時における興味区間推定(マルチメディア応用,画像の認識・理解論文)
- TCPデータ通信との公平性を考慮したMPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮したMPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮したMIPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮した輻輳適応型レート制御によるMPEG-4動画像通信
- CQ2000-35 / TM2000-33 TCPデータ通信との公平性を考慮した輻輳適応型レート制御による動画像通信の実装
- CQ2000-35 / TM2000-33 TCPデータ通信との公平性を考慮した輻輳適応型レート制御による動画像通信の実装
- モバイルアンカノードを用いた低コストな水中センサノードの位置推定法
- 移動センサノードを用いたデータ収集型WSNでのk重被覆時間の最大化手法
- 水面を移動可能なアンカーノードを用いた水中センサネットワークのノード位置推定手法の提案