スポンサーリンク
九州大学工学部情報工学科 | 論文
- SysMLを用いたシステム開発における制約の充足可能性検証
- 2次元CYK法によるディジタル画像線図形の直接構造解析
- SysMLを用いたシステム開発における制約の充足可能性検証
- 画面指向型プログラミング支援環境HUMANICSについて
- 結合モード理論による非対称な非線形方向性結合器の解析
- 許容遅延時間を考慮した省電力なセンサデータ収集方式(無線PAN,IPTV,画像符号化,ストリーム技術及び一般)
- PostScriptのフォント定義機能を用いた漢字の出力実験
- Fortranプログラム実行モニター : 数学的ソフトウエア作成支援ツール (数学的ソフトウェアの評価)
- 手続き間情報の解析と整理のツールAUDIEについて
- 命題帰結論理C_mと名辞帰結論理C_nの代数的モデル
- 命題帰結論理Cmと名辞帰結論理Cnの代数的モデル
- 中間目標を用いた双方向探索の導入によるSTRIPSの効率化について
- プランニングにおける連接的目標処理の一手法 : 時間推論による順序関係の導出について
- ペトリネット編集・シミュレーションツールの開発
- 屋内位置推定におけるDOP値を用いた基地局配置問題と高速解決の提案と評価(情報ネットワーク,学生論文)
- 小型携帯端末のためのマルチパスの伝送路可逆性を用いた共有情報生成方式
- SysMLを用いたシステム開発における制約の充足可能性検証 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)
- ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用 (ソフトウェアサイエンス)
- 多数の誘電体球からなるランダム媒質の等価誘電率に関する比較研究
- マルチメディアデータベースサーバINADAとその上のマルチメディアデータベースモデル