スポンサーリンク
金沢大学自然科学研究科電子情報工学専攻 | 論文
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション,一般,フレッシャーズセッション)
- 動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
- 動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
- 確率時間強模倣検証アルゴリズムの実現
- 確率時間オートマトンの確率時間弱模倣検証理論(計算理論とアルゴリズムの新展開)
- 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法(ディペンダブルコンピューティング)
- 6U-1 F0・振幅・音韻長の制御により歌声を話声に変換する話声合成システムSpeakBySinging(音声・歌声合成,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 音楽音響信号による室内音場共振周波数のブラインド推定
- 室内伝達関数の微小変動に低感度な逆フィルタ設計方法について(研究速報)
- 非線形混合過程に対する縦続形BSSの学習法の改善と分離特性の解析(ブロードバンド無線アクセス技術,無線信号処理,無線通信,一般)
- 非線形混合過程に対する縦続形BSSの学習法の改善と分離特性の解析(ブロードバンド無線アクセス技術,無線信号処理,無線通信,一般)
- 単母音の音響特徴量の変化が個人性知覚に与える影響(聴覚・音声・言語とその障害,一般)
- 3連続母音に含まれる個人性知覚に寄与する音響特徴量(聴覚・音声・言語とその障害,一般)
- ヒト心臓壁の電気的興奮と横波の伝搬の可視化
- ステレオセンタ音像を正しく定位できる領域の拡大方法について
- 音源位置ゆらぎに対する感度の低い逆フィルタ処理方法(ブラインド信号処理/一般)
- 脱ハンドセット音声通信を目指して
スポンサーリンク