スポンサーリンク
電気通信大学電気通信学部情報工学科 | 論文
- マイクロユビキタスノード用ディペンダブルOSの実現へ向けて(ディペンダビリティ)
- 改ざん検出可能な無歪み画像認証の一手法
- 特集「ソフトウェア工学の現状と動向」の編集にあたって
- 小特集「Lispの最近の動向」の編集にあたって
- 31. ファイル間の相違検査法 (アルゴリズムの最近の動向)
- ウェーブレット変換を用いた画像の2成分モデル符号化方式に関する一検討
- ミュージックサーバシステム
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- D-1-2 「ストーンヘンジ」の先手必勝性と一般化ストーンへンジのPSPACE完全性(D-1. コンピュテーション,一般セッション)
- D-1-6 OBDDを用いた画像処理アルゴリズム(D-1. コンピュテーション,一般セッション)
- 多変量閾値関数の非明示的OBDD表現
- Chordal+k_1e-k_2eグラフの頂点彩色問題
- Coloring Comparability-ke Graphs(New Trends in Theory of Computation and Algorithm)
- 組合せ最適化問題としてのぷよぷよの連鎖数判定問題(計算量理論)
- リテラルの出現回数に制限を加えたTree-Shellable論理関数の判定複雑さ
- 比較可能+keグラフの彩色問題 (計算機科学基礎理論とその応用)
- 一般化ぷよぷよのNP完全性 (計算機科学基礎理論とその応用)
- 一般化ぷよぷよの連鎖数判定問題
- 比較可能+keグラフの彩色問題の計算量
- 一般化ぷよぷよの連鎖数判定問題