Abstract: LiDAR point clouds are a rich source of information for autonomous vehicles and ADAS systems. However, they can be challenging to segment for moving objects as - among other things - finding ...
From the thesis, a new logical/type theory system that is the natural, intrinsic logic of the categories GC, "Full Intuitionistic Linear Logic" (FILL). With Luiz Carlos Pereira, a version for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results