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 ...
Abstract: In order to balance the detection time and accuracy, the state-of-the-art region-based detectors use a fixed number of proposals to obtain detection results in the inference phase. However, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results