SA-7-1 状態機械ワークフローネットのFlush方式とAbort方式による動的変更に対する最悪変更時間の計算について(SA-7. 企業・社会活動におけるコンカレント技術)
スポンサーリンク
概要
著者
関連論文
-
自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
-
自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
-
A-12-1 Well-Structuredワークフローネットへのリファクタリングの提案(A-12.コンカレント工学,一般セッション)
-
アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)
-
ワークフローネットの健全性判定に対するモデル検査法について
-
トークン分布に依存した停止性のSWITCH-lessネットに対する判定について(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
-
A-12-2 Acyclic well-structuredワークフローネットに対する直列化可能性判定法の提案(A-12.コンカレント工学,一般セッション)
-
A-12-3 ワークフローネットにおける関心事とその強調法について(A-12.コンカレント工学,一般セッション)
-
D-15-15 プロジェクトマネジメントのパターンを学習するための問題集と手引き集の開発(D-15. 教育工学,一般セッション)
-
引継型と請負型のインターワークフローへの動的変更の解析
-
不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
-
デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について(ハイブリッドシステム,コンカレント工学一般)
-
WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
A-12-1 デバイスドライバのアクティビティ図を検査するためのペトリネットに基づく手法の提案(A-12. コンカレント工学,一般セッション)
-
色知覚に基づいたCRT上での色指定法の検討
-
Gauss平滑化とHessian行列の固有値にもとづく腫瘤(結節)と血管の識別
-
Well-Structuredワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム(グラフ,ペトリネット,ニューラルネット及び一般)
-
モデル検査ツールSPINによるワークフローネットの健全性の判定について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
D-3-2 割り込みシステムに対するモデル検査ツールSPINを用いたハングアップの検証(D-3.ソフトウェアサイエンス,一般講演)
-
A-12-5 モデル検査ツールSPINによるacyclic ACWFネットの健全性の検証について(A-12.コンカレント工学,一般講演)
-
割り込み処理のDelegationに基づく設計方法およびモデル検査方法について
-
ホモグラフィから生ずる画像歪みに着目したタッチスクリーンの実現(一般セッション(2),パターン認識・メディア理解のための学習理論とその応用)
-
A-12-4 デバイスドライバのネット指向テーラーメイド設計システムの提案(A-12.コンカレント工学,一般セッション)
-
AI-2-3 反転時間とカゴの運転効率を重視したマルチカーエレベータの制御アルゴリズムの提案(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
-
サイクル言語に対する幾つかのパ-サ(技術談話室)
-
不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
-
Well-Structuredワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム(グラフ,ペトリネット,ニューラルネット及び一般)
-
携帯電話のQRコードリーダー機能を用いた出席システム(e-LearningとFD支援/一般)
-
均質な情報付き立方体の集合による3次元空間充填問題
-
Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般)
-
階層化ペトリネットによる飲食店業務のワークフローモデリング
-
動的なワークフロー変更のSCO方式に関する性能評価
-
カラーペトリネットによるワークフローのモデリングおよび評価
-
カラーペトリネットによるワークフローのモデリングおよび評価
-
SA-6-3 在宅医療サービスのためのマルチエージェントシステムについて
-
柔軟なワークフロー動的変更を実現するための変更方式Selective Shiftの提案(コンカレント工学一般)
-
リソース付き状態機械ワークフローネットにおける最大スループットの計算について(コンカレント工学一般)
-
サイコロ世界とその操作システム
-
サイコロ世界とその操作システム
-
サイコロ世界とその操作システム
-
引数単位の動的なメニュー切り替えによるコマンド入力支援システム
-
CUIのためのユーザの作業の再利用支援インターフェース
-
サイコロ世界のグラフ理論的考察
-
ワークフローの部品化と部品合成によるワークフロー変更
-
コマンド入力支援のための動的なメニュー切り替えシステム
-
ユーザのコマンド入力傾向の抽出とコマンド引数の補完
-
GOMSモデルに基づくGUI操作手順のヘルプ機構
-
指揮者と奏者の相互対話に基づく仮想演奏空間
-
指揮者と奏者の相互対話に基づく仮想演奏空間
-
指揮者と奏者の相互対話に基づく仮想演奏空間
-
4)組織構造に基づく対話型ワークフロー管理方式(ネットワーク映像メディア研究会)
-
空間推論のための画像オブジェクトモデルの構築
-
アイコンの適応的配置機構を備えたユーザインターフェース
-
マルチポインティングを用いたマルチユーザアイコニックシステム
-
ドメイン知識を用いたコマンドパラメータの補完
-
システムの観察に基づくコマンドの入出力ファイルの取得
-
手続き駆動型アプリケーションのためのGUI実装支援
-
組織構造に基づく対話型ワークフロー管理方式
-
組織構造に基づく対話型ワークフロー管理方式
-
動的輪郭モデルによる変形柔体の抽出
-
動的輪郭モデルによる変形柔体の抽出
-
干渉縞画像による3次元繊維配向の分布推定
-
2)スケールスペース解析によるカラーテクスチュア画像の構造記述(ヒューマンインフォメーション研究会)
-
スケールスペース解析によるカラーテクスチュア画像の構造記述
-
スケールスペース解析によるカラーテクスチュア画像の構造記述
-
システムの状態と依存関係に基づくコマンド予測
-
システムの状態と依存関係に基づくコマンド予測
-
アフィンスケールスペース解析による画像の構造記述
-
マルチユーザアイコニックシステムにおけるアイコンの選択的表示
-
アイコン共有機構を備えたマルチユーザアイコニックシステム
-
画像オブジェクトに基づく空間推論
-
確率過程に基づくアイコンの呈示
-
確率過程に基づくアイコンの呈示
-
優先度付き非決定性スーパバイザの存在条件について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
プログラム理解における支援を目的とした学習者モデルの構築
-
インタラクティブMRIの使用経験
-
ハイレベル・ペトリネットによる飲食店業務のワークフローモデル化手法
-
ハイレベル・ペトリネットによる飲食店業務のワークフローモデル化手法
-
等高線情報を用いたエコーイメージの生成
-
SA-7-1 状態機械ワークフローネットのFlush方式とAbort方式による動的変更に対する最悪変更時間の計算について(SA-7. 企業・社会活動におけるコンカレント技術)
-
Acyclic StructuredプログラムネットのPARAdegの評価と応用について(グラフ,ペトリ,ニューラルネット及び一般)
-
Acyclic StructuredプログラムネットのPARAdegの評価と応用について(グラフ,ペトリ,ニューラルネット及び一般)
-
Acyclic Well-StructuredデータフロープログラムネットのMaxPARAdegの近似計算について(コンカレントシステム, 一般)
-
SWITCH-nodeを持つデータフロープログラムネットの並列度の計算について(コンカレントシステム, 一般)
-
プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
-
プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
-
競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
-
競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
-
状態機械ワークフローネットのAbort型動的変更に対する最悪変更時間の計算複雑さと性能解析について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について(コンカレントシステム, 一般)
-
A-12-4 並行同期型のインターワークフローの振る舞い継承について(A-12.コンカレント工学,一般講演)
-
A-12-3 LPによる初等T-invariantのサポートベクトルの実用的な計算について(A-12.コンカレント工学,一般講演)
-
well-structured WFネットの構造解析とPARAdegの近似計算について(コンカレントシステム,一般)
-
D-3-4 delegationイベントモデルに基づく割り込み処理のUMLモデリング(D-3.ソフトウェアサイエンス,一般講演)
-
ワークフローネットの健全性と並列度について(コンカレントシステム, 一般)
-
複数のCPUボードを用いたシステムの実行時間と稼働率を見積り可能なビジュアルプログラミングシステムの開発
-
二次方程式の解法推測に基づく学習支援システムの開発(e-Learningにおける学習評価/一般)
-
興味優先学習支援システムの開発と評価(先進的学習システム/一般)
-
初心者の誤り要因に基づくプログラミング学習支援とその評価
-
リソース配置変更によるマークグラフワークフローネットの最大スループットの改善について(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
もっと見る
閉じる
スポンサーリンク