割公牛膨胀
发表于 2025-4-1 05:34:09
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Wholer level of abstraction. A table shows the parallels between procedural abstraction and the abstraction by parameterized algebras. This paper shows how algebras can be combined to form more complex pieces and compares the steps to the combination of procedures in programming. The novel contribution i
易受刺激
发表于 2025-4-1 06:19:42
Formalizing Regions in the Spatial Semantic Hierarchy: an AH-Graphs implementation approachsed on this formalization, an implementation using Annotated Hierarchical graphs (AH-graphs) is proposed. The AH-graph model is chosen for its eficiency to perform basic operations like path planning, its facility to integrate information needed by different agent’s tasks, and because it provides a
OREX
发表于 2025-4-1 13:25:31
Topological Relations in Hierarchical Partitions or by region connection calculus. We apply the method with intersection sets here. Relations are determined for binary classified partition elements, distinguishing the interior and the exterior of a region. By the hierarchic approach mixed partition elements are included.
幻影
发表于 2025-4-1 14:54:42
http://reply.papertrans.cn/88/8736/873512/873512_64.png
硬化
发表于 2025-4-1 20:51:06
http://reply.papertrans.cn/88/8736/873512/873512_65.png
custody
发表于 2025-4-2 01:24:06
http://reply.papertrans.cn/88/8736/873512/873512_66.png