Search results 4
Paper図書
National Diet Library
- Subject Headingやわらかいネツトワーク ネツトワークアーキテクチヤ ヒユーマンインタフエース ソフトウエア開発 分散人工知能 仮想現実感 ソフトウエアプロセス 代数的仕様記述法
Paper図書
National Diet Library
- Subject Heading並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコルの仕様...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading抽象化理工学,人間支援,データロボティクス,手づたえ教示,モーションコピーシステム,要素記述法,バイラテラルAI
- Note (General)...する独自開発のAIである「要素記述法」に基づき、人間動作データの解析・抽象化の方法論を提案した。...
Reached to the end of result.