-
[文献書誌] M.Yamada: "High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining"Proceedings of the 13th International Conference on Flexible Automation & Intelligent Manufacturing (FAIM2003). 504-512 (2003)
-
[文献書誌] F.Tanaka: "Removal Volume Modeling for Process Planning Based on Form-Shaping Function"Proceedings of the Second International Conference on Leading Edge Manufacturing in 21st Century. 747-752 (2003)
-
[文献書誌] Takeshi Kishinami: "Data sharing among Multiple Product Ontologies"Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment. (2003)
-
[文献書誌] 徳永仁史: "要求動作の変化に対するリー代数に基づく機構構造の再構成"精密工学会誌. 69(10). 1401-1405 (2003)
-
[文献書誌] 山田誠: "5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第1報)-高能率金型加工のための最適割出し角自動決定方法-"精密工学会誌. 70(1). 65-69 (2004)
-
[文献書誌] Toyoaki Tomura: "A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Patterns"Proceedings of Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), ISBN:0-7695-1928-8. 83-90 (2003)
-
[文献書誌] 戸村豊明: "分散制御システムの静的構造モデリングのためのオブジェクト指向デザインパターンに関する研究"精密工学会誌. 69(6). 815-819 (2003)
-
[文献書誌] 伊達宏昭: "パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング"精密工学会誌. 69(4). 581-585 (2003)
-
[文献書誌] Akihiko Urushihara: "BEHAVIOR MODELER : Systematically generating Statechart from Functional Relations and Scenarios for prototyping User Interface"Proc.of ACM Computer aided design of User interfaces, Jan, Madeira. 67-80 (2004)
-
[文献書誌] S.Kanai: "HLA/RTI-based Scalable Distributed Virtual Prototyping Environment for Embedded System Design"Proc.Of Virtual Concept 2003, France. 100-107 (2003)
-
[文献書誌] T.Inoue: "Geometry-behavior Collaborative digital Prototyping for IT Products based on STEP and Web3D"Proc.Of Virtual Concept 2003, France. 388-393 (2003)
-
[文献書誌] 金井 理: "メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用(解説)"精密工学会誌. 69(4). 83-86 (2003)
-
[文献書誌] Mabuchi, H: "Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation"Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3). 7・3. 306-314 (2003)
-
[文献書誌] Takahiko Ishikawa: "How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm"Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3). 7・3. 260-267 (2003)
-
[文献書誌] Chutiporn Anutariya: "XML declarative description with negative constraints"INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES. (2003)
-
[文献書誌] Kiyoshi Akama: "Program Generation and Computation in the ET Paradigm"Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03). 276-282 (2003)
-
[文献書誌] C.Anutariya: "XML Declarative Description with First-Order Logical Constraints"Workshop on "Knowledge Grid and Grid Intelligence". (2003)
-
[文献書誌] Mabuchi, H.: "Solving Constraint Satisfaction Problems based on Equivalent Transformation"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 152-160 (2003)
-
[文献書誌] Mabuchi, H: "Constraint Solving Specializations for Equality on an Interval-Variable Domain"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 161-170 (2003)
-
[文献書誌] Pongtawat Chippimolchai: "Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 531-538 (2003)
-
[文献書誌] Akama, K: "Formalization of Computation Models in View of Program Synthesis"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 507-516 (2003)
-
[文献書誌] 山崎知之: "鏡面反射スポット画像にもとづく形状計測法"型技術. 18(3). 62-63 (2003)