AI-2-3 反転時間とカゴの運転効率を重視したマルチカーエレベータの制御アルゴリズムの提案(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
スポンサーリンク
概要
著者
関連論文
-
自由選択ワークフローネットの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. コンカレント工学,一般セッション)
-
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支援/一般)
-
Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般)
-
4)組織構造に基づく対話型ワークフロー管理方式(ネットワーク映像メディア研究会)
-
2)スケールスペース解析によるカラーテクスチュア画像の構造記述(ヒューマンインフォメーション研究会)
-
確率過程に基づくアイコンの呈示
-
優先度付き非決定性スーパバイザの存在条件について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
プログラム理解における支援を目的とした学習者モデルの構築
-
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における学習評価/一般)
-
興味優先学習支援システムの開発と評価(先進的学習システム/一般)
-
初心者の誤り要因に基づくプログラミング学習支援とその評価
-
リソース配置変更によるマークグラフワークフローネットの最大スループットの改善について(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
もっと見る
閉じる
スポンサーリンク