スポンサーリンク
筑波大学システム情報工学研究科コンピュータサイエンス専攻 | 論文
- 条件付き項書換え系の健全性と完全性
- 意味ラベリングによる分配消去法 : 項書換え系の停止性証明法
- 条件付き項書換え系における階層合流性のモジュラ性
- ソフトウェア科学の国際化
- 逐次正規化戦略アルゴリズム
- 関数論理融合型プログラム高速化手法
- 遅延ナローイング導出列の標準化
- 関数・論理型言語のためのナローイング計算系
- 1ZL-2 無意識の意味 : 図方向決定における視覚的注意(情報爆発時代における視覚情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- IPv6拡張ヘッダを用いた付加的なサービスの提供(ユビキタス時代のネットワーク技術)
- 授業間関係視覚化システム( 遠隔教育/一般)
- DCTと動きベクトルを極力継承して再量子化雑音を低減するインタレース映像用MPEG-2/H.264再符号化手法(画像・映像処理)
- 交流成分予測に基づく階層型無ひずみ画像圧縮方式の応用(研究速報)
- 研究者欄 米国サービス貿易の比較優位構造
- BT-1-3 超高速インターネット衛星WINDS「きずな」を用いたアジアの大学との遠隔教育実験(BT-1.新たな衛星利用、衛星応用,チュートリアルセッション,ソサイエティ企画)
- 組込システム資産移行を支援する仮想周期実行(VPE)システムの提案(研究発表会セッション)
- 交流成分予測に基づく平均値保存型画像フィルタの改良 : デリンギングフィルタによる画像鮮鋭化(研究速報)
- OS共存環境におけるカーネル間隔離機能の性能への影響
- OS共存環境におけるカーネル間隔離機能の性能への影響
- 1P-5 仮想環境におけるネットワークインターフェースの高速化(仮想化技術(1),学生セッション,アーキテクチャ)