スポンサーリンク
岡山県立大学大学院情報系工学研究科システム工学専攻 | 論文
- 時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAALの適用
- LTSAを用いたシーケンス図の詳細化関係の検証
- 通信遅延環境における自己の身体的アバタ動作遅延提示の効果
- S1201-2-4 会話活性度推定モデルに基づく場の盛り上がり支援システムの開発([S1201-2]ヒューマンインタフェースII)
- 3206 音声駆動型身体的引き込み絵画を付与した身体的バーチャルコミュニケーションシステム
- B-4-10 複数の回胴式遊技機による放射中間周波磁界の遊技者への影響評価(B-4. 環境電磁工学,一般セッション)
- 2114 音声駆動型身体的引き込み壁画を用いたバーチャルコミュニケーション支援システム(OS16-2 ヒューマンインタフェース・ユーザビリティII,OS16 ヒューマンインタフェース・ユーザビリティ)
- 臨床実習スケジューリングの自動化に関する研究
- タブーサーチを用いた臨床実習スケジューリングの自動化
- B-027 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法(ソフトウェアサイエンス,B分野:ソフトウェア)
- 3107 講演者キャラクタに眼球動作モデルを付与した音声駆動型複数身体引き込みシステムの開発(OS13 ヒューマンインタフェース・ユーザビリティII)