グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)
スポンサーリンク
概要
著者
関連論文
-
マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
-
Web画像に対する代替記述の適切性の評価手法(聴覚と福祉情報工学・一般)
-
1Y-6 JavaFX Scriptによる動的コンテンツのアクセシビリティ向上手法(ユーザインタフェース,学生セッション,インタフェース)
-
1M-1 操作履歴を利用したユーザビリティ評価手法(ソフトウェア実装,学生セッション,ソフトウェア科学・工学)
-
適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
-
6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
-
6N-4 レジスタ干渉グラフの分割による高速化手法に関する研究(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
-
D-3-10 ガイドラインに則したGUIレイアウトの自動調整手法(D-3. ソフトウェアサイエンス,一般セッション)
-
A-19-2 Webサイトの画像に対する代替テキスト記述の評価手法(A-19. 福祉情報工学,一般セッション)
-
MDA体系に沿ったGUIモデル変換手法
-
一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)
-
JavaFX Scriptで記述されたRIAのアクセシビリティ向上支援
-
デジタルコンテンツの二次利用(n次利用)と著作権保護
-
ユースケース間の関係を考慮した網羅的な受け入れテストの支援
-
並列コピーの導入による生存区間分割手法の性能向上
-
REST形式Webサービスのテスト実行に基づく高精度な検索
-
携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
-
利用ログに対するウィンドウ遷移の解析による操作学習システム生成
-
ユーザの操作を基にしたユーザビリティ自動評価手法
-
コンカレント・コラボレーション技術論文小特集の発行にあたって
-
RB-006 柔軟かつ複数プログラミング言語対応のテストカバレッジ測定フレームワーク(ソフトウェア,査読付き論文)
-
JavaFX ScriptのRIAに対するアクセシビリティライブラリ自動適用手法
-
B-011 既開発部分の解析によるレイアウト調整済みGUIの生成(B分野:ソフトウェア,一般論文)
-
実行時仕様の導入による形式的仕様の実行
-
オセロゲームの複雑さ
-
条件分岐の効率的実行を可能とする細粒度並列アーキテクチャ
-
グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)
-
2NPDAによるシミュレーションと未解決問題(計算アルゴリズムと計算量の基礎理論)
-
非決定性同時計算量について(計算機科学の基礎理論とその応用)
-
k log n決定性領域を必要とする問題(計算機科学の基礎理論)
-
Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)
-
ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用)
-
制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
-
石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)
-
Goto文のないプログラム形について (計算機構の数学的研究)
-
Goto文最小のプログラムについて (組合せ構造とグラフ理論)
もっと見る
閉じる
スポンサーリンク