スポンサーリンク
金沢大学工学部情報システム工学科 | 論文
- 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
- 確率時間 WiGAR による PTCTL サブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用)
- BPFPとNNを用いた雑音環境下でのピッチ抽出性能の評価
- SP2000-30 ピッチ乱れ, 雑音を付加したときのBPFP-NNピッチ抽出法の性能
- BPFPとNNを用いたピッチ周期性検出法の優位性の検討
- B-4-50 雷空電の電離層反射特性を考慮した落雷位置推定(B-4.環境電磁工学,一般セッション)
- 確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 雷空電理論波形を用いた一地点観測による落雷位置推定法の誤差評価(アンテナ・伝搬)
- 画像処理による移植黒質細胞の生着評価
- 5-1 ヘリコプターで植生を観る(エレクトロニクステクノロジーで環境を観る)
- 降雪粒子の落下運動パターンと形状の関係
- 降雪粒子の落下運動パターンと形状の関係
- 降雪粒子の落下運動パターンと形状の関係
- 降雪粒子の落下運動パターンと形状の関係
- 前処理を用いたステレオエコーキャンセラの収束解析
- 画像特徴量を用いた南極衛星画像からの雲の抽出
- A-4-35 格子形予測器による直交化適応フィルタの近似的補正法
- 格子形予測器とFIRフィルタによる2ステージ適応フィルタの収束性解析と同期形学習アルゴリズム
- A-4-31 ラチス予測器とFIRフィルタによる2ステージ適応フィルタのブロック処理