callous
发表于 2025-3-28 18:15:03
,Knowledge-based information processing in manufacturing cells — The present and the future,entral degrees of freedom to react autonomously to occuring malfunctions requires knowledge-based approaches. An analysis of the distributed knowledge bases and the different representations of knowledge shows, that an integrated design of the knowledge-based systems is vital for the successful development of future autonomous manufacturing cells.
Flinch
发表于 2025-3-28 22:44:01
http://reply.papertrans.cn/17/1624/162333/162333_42.png
MOAT
发表于 2025-3-29 01:51:57
Conference proceedings 1996; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
UNT
发表于 2025-3-29 04:00:01
http://reply.papertrans.cn/17/1624/162333/162333_44.png
象形文字
发表于 2025-3-29 08:18:14
http://reply.papertrans.cn/17/1624/162333/162333_45.png
Glaci冰
发表于 2025-3-29 12:59:55
http://reply.papertrans.cn/17/1624/162333/162333_46.png
CBC471
发表于 2025-3-29 15:53:42
http://reply.papertrans.cn/17/1624/162333/162333_47.png
大暴雨
发表于 2025-3-29 22:36:56
Symbolic computation and teaching,Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several examples have been carried out (in .), and the paper reports on the experience, on the problems encountered, and on some suggestions for future developments.
只有
发表于 2025-3-30 00:02:03
http://reply.papertrans.cn/17/1624/162333/162333_49.png
RALES
发表于 2025-3-30 06:28:11
Data types in subdefinite models,We consider the mechanism of subdefinite models and the problem of representing data types in such models. A justification of the method of subdefinite models is given; various kinds of subdefinite extensions of data types are presented. We also investigate their efficiency in the solution of various problems.