スポンサーリンク
金沢大学大学院自然科学研究科電子情報工学専攻 | 論文
- 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 降雪粒子画像からの形状と落下速度の解析
- 降雪粒子画像からの形状と落下速度の解析
- 降雪粒子画像からの形状と落下速度の解析
- 集束ビーム型スピーカアレイを用いた音像の遠近制御について(音響・超音波サブソサイエティ合同研究会)
- 集束ビーム形スピーカアレーを用いたステレオ再生について(音響・超音波サブソサイエティ合同研究会)
- AS-4-3 制限付きストップウォッチオートマトンと時間オートマトンを用いた,プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- 音声認識のための特徴量FTTSSの電話音声認識への適用について(聴覚・音声/一般)
- 音声認識のための特徴量FTTSSの電話音声認識への適用について
- ニューラルネットワークによる脳波に基づくメンタルタスクの分類(信号処理, スペクトル拡散, 及び一般)
- ニューラルネットワークによる脳波に基づくメンタルタスクの分類(信号処理, スペクトル拡散, 及び一般)
- リングネットワークにおけるファイル配置問題について
- ヘリコプタおよび地上観測データを用いた植生の画素成分解析
- ヘリコプタおよび地上観測データを用いた植生の画素成分解析
- ヘリコプタおよび地上観測データを用いた植生の画素成分解析
- ヘリコプタおよび地上観測データを用いた植生の画像成分解析
- 降雪粒子画像アーカイブシステムと検索・表示インターフェースの構築
スポンサーリンク