スポンサーリンク
金沢大学工学部情報システム工学科 | 論文
- Lattice形予測器を用いた直交変換形LMSアルゴリズムの安定化法
- Lattice形予測器を用いた直交変換形LMSアルゴリズムの安定化法
- AS-4-3 制限付きストップウォッチオートマトンと時間オートマトンを用いた,プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- 多層媒質による斜入射電波の遮蔽と吸収
- 価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用)
- リアルタイムシステムの形式的手法とその検証ツール(ソフトウェア紹介)
- 時間オートマトンによる Value-Density スケジューリングアルゴリズムの性能解析手法(計算理論とアルゴリズムの新展開)
- リアルタイムステートチャートによる形式的手法
- 時間オートマトンによるソフトリアルタイムシステムの性能解析手法(検証/テストとデバッグ)
- A-4-37 母音音素と適応フィルタによる音声合成についての検討(A-4. ディジタル信号処理)
- ニューラルネットワークにおける非線形入力関数と活性化関数の同時学習法
- 多チャネルブラインドセパレーションにおけるペア学習法とその収束性解析
- SA-3-3 ラチス形予測器を用いた適応ボルテラフィルタとその収束性解析(SA-3. エコーキャンセラとその実現)
- 空撮画像を用いた植生形態の定量的解析
- 空撮画像を用いた植生形態の定量的解析
- 空撮画像を用いた植生形態の定量的解析
- エコーキャンセラにおける双方向通話を考慮した学習法
- 異方性電離層の雷空電への影響と落雷位置推定誤差改善への応用(若手研究者発表会)
- サブバンド適応フィルタおける仮想フィルタの概念と収束性解析
- A-4-34 非線形混合過程に対する多チヤンネルブラインド信号源分離の収束解析(A-4. ディジタル信号処理)