Search Results for author:
Found 4 papers, 1 papers with code
Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection
In this paper we present YOLOX-ViT, a novel object detection model, and investigate the efficacy of knowledge distillation for model size reduction without sacrificing performance.
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
In this paper, we extend an available neural network verification technique to support a wider class of piece-wise linear activation functions.
Robot Swarms as Hybrid Systems: Modelling and Verification
A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination.
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
