B-028 記号実行を用いた等価ミュータント検出手法の提案(B分野:ソフトウェア,一般論文)

スポンサーリンク

概要

• 論文の詳細を見る
• FIT(電子情報通信学会・情報処理学会)運営委員会の論文
• 2013-08-20

著者

• 上芝 貴也

  同志社大学

• 芳賀 博英

  同志社大学

• 芳賀 博英

  同志社大学大学院理工学研究科

• 王 〓涛

  同志社大学大学院理工学研究科

関連論文

• 6X-5 ウェーブレット変換を用いた集団活動データの自動セグメンテーション(VRとセンサ,学生セッション,インタフェース)
• 子どもの協調学習を促進するマルチメディア教育環境の提案(オープンソースやデバイス技術を活用した学習環境/一般)
• M-037 添付ファイル付きメーリングリストの解析(M.ネットワーク・モバイルコンピューティング)
• 動画像処理とセンサ情報の統合を用いた移動体検出手法
• 発達段階に適合して保育傾向を表示可能な発達記録支援システムの提案(若手の会(1))
• 5Y-5 直感的操作とコミュニケーション支援を可能にする知育ソフトウェアの開発(コミュニケーション支援,学生セッション,インタフェース)
• 6X-7 加速度センサと動画像処理による個人識別型位置検出手法の提案(VRとセンサ,学生セッション,インタフェース)
• 6X-4 複数ステレオカメラと顔認証技術を用いた集団の対人関係抽出手法の提案(VRとセンサ,学生セッション,インタフェース)
• 6X-2 ドップラーセンサを用いた複数機器の制御手法(VRとセンサ,学生セッション,インタフェース)
• PG1-13 保育者の観察記録を基にした保育活動の分析 : 主成分分析を用いた保育の特性抽出の試み(発達)
• 保育者の保育傾向を抽出できる発達記録支援システムの提案(一般システム)
• 5ZG-6 主成分分析を用いた保育活動特性の抽出(幼児教育,学生セッション,コンピュータと人間社会)
• 5ZG-4 保育実習教育におけるビデオの教育効果の評価(幼児教育,学生セッション,コンピュータと人間社会)
• 5ZG-2 活動量のクラスタリングに基づく子どもの交友関係の自動抽出(その2)(幼児教育,学生セッション,コンピュータと人間社会)
• 1ZG-8 子どもの発達傾向が参照可能な発達相談ブログシステムの構築(教育支援(1),学生セッション,コンピュータと人間社会)
• 2ZD-4 ドップラーセンサを用いたジェスチャー認識手法の提案(動作認識・大画面,学生セッション,インターフェース)
• 発達記録から保育活動の特性を抽出する手法の提案
• モーションセンサと画像を用いた個人識別型位置検出手法(一般システム)
• 活動量クラスタリングに基づく子どもの交友関係の分析手法(教育関連システム)
• ユーザ識別機能を持つFTIR方式タッチパネルの構築と描画アプリケーションの開発
• XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 : (1)ミューテーションテストのためのミュータントオペレータの実装(フレッシャーズセッション,一般,フレッシャーズセッション)
• RFID及び加速度センサによる子どもの交友関係の自動分析
• 複数のステレオカメラと顔認証技術を用いた対人関係構造抽出手法の提案
• マイクロ波ドップラーセンサを用いたジェスチャー認識システムの提案
• Wavelet変換による加速度データからの子どもの集団行動の分類
• 複数センサ情報の統合によるロバストな人物動線検出手法の提案
• 概念データモデリングとプロブレムフレームを用いた情報システム実装手法
• 論理思考プロセス(TOC)と概念データモデリング(CDM)に基づく業務分析手法の提案
• 保育者の保育傾向を抽出できる発達記録システムの提案
• 「気になる子」の保育を支援するための巡回相談支援システムの提案と評価
• 「子ども発達相談ブログ」システムの提案と評価(教育関連システム)
• N_023 「子ども発達相談ブログ」システムの提案と評価(N分野:教育・人文科学)
• 子どもの成長段階に適応可能な発達記録とその活用手法の提案(一般,学生セッション,一般)
• 5ZJ-3 3Dステレオカメラと3軸加速度センサを用いた読み聞かせ支援システムの構築(幼児・児童教育,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
• 文化的情報処理
• 非同期共同作業のモデル
• モーションセンサとビデオカメラを用いた室内用位置検出手法
• 3ZL-6 骨伝導マイクロフォンを用いた偏咀嚼の検出と改善支援手法の提案(医療情報システム,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
• 3ZL-7 動画像処理を用いた咀嚼回数指導システムの提案(医療情報システム,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
• B-010 XMLによるプログラム表現とそれに基づく統合ソフトウェアテスト支援環境の構築(B分野:ソフトウェア,一般論文)
• 3ZL-3 二周波・二波型マイクロ波ドップラーセンサを用いた人の咀嚼検出手法の提案(医療情報システム,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
• 1N-1 タグを用いたリスクベースドテストの効率化(システム評価,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• N-004 子どもの相互学習を促進するマルチメディア教育手法の提案(教育・人文科学,一般論文)
• センサー・画像・音声のデータ分析による幼児音楽指導支援システム
• 幼児教育のための動画像とBBSとの関連付けを用いた双方向コミュニケーションシステムの提案
• O_014 地図を用いた災害発生初期段階における情報共有システム(O分野:情報システム)
• K_027 加速度センサ付RFIDと赤外線センサを用いた物体位置検出手法の提案(K分野:ヒューマンコミュニケーション&インタラクション)
• D-5-5 用語辞書シソーラスを用いた新聞記事サブジェクトコード決定の支援(D-5. 言語理解とコミュニケーション)
• アナログ型焦電センサによる人間の室内位置・身長の判別法の提案(センシング・IDタグ)
• O_015 加速度センサ付きRFIDを用いた農薬管理システムの提案(O分野:情報システム)
• M_015 アクティブRFIDを用いた方向検出手法の提案(M分野:アーキテクチャ・ユビキタス・セキュリティ)
• 動画像処理を用いた人の発話状況に基づく対人関係構造抽出手法の提案
• 本と図書館の電子化に向けての提言
• 「姿を消すコンピュータ」 : 進行中の研究プロジェクト
• B-031 ミューテーション解析における等価ミュータント検出機能の実装(テスト・検証・解析,B分野:ソフトウェア)
• 記号実行を用いた等価ミュータントの検出手法 (知能ソフトウェア工学)
• ミューテーションテストと遺伝的アルゴリズムを用いたテストデータの自動生成
• B-028 記号実行を用いた等価ミュータント検出手法の提案(B分野:ソフトウェア,一般論文)

もっと見る 閉じる

スポンサーリンク