スポンサーリンク
(株)東芝システム・ソフトウェア技術研究所 | 論文
- 設計型ES構築技法による制御論理回路設計ESの開発
- ブール代数を用いた制約充足問題の定式化と解法についての検討
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 視覚の連続性を考慮したブラウジング操作の検討
- ソフトウェア信頼度選定方式の検討
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- メトリクスデータベースESQUT-METSの構想
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- ファジイ決定木の修正 : 地形推論システムへの適用を通して
- 帰納学習手法の適用によるD-S理論に基づいた推論システムの高速化
- ファジイ帰納学習アルゴリズムIDFの評価
スポンサーリンク