To use JavaDowngrader as a library in your application, check out the Usage (As a library) section. If you just want to downgrade .jar files you can check out the Usage (Standalone) section. To ...
In this paper, we give the first robust algorithms for Packing Integer Programs, specifically in the recently proposed Byzantine Secretary framework. Our techniques are based on a two-level use of ...
Abstract: Robot assembly discovery (RAD) is a challenging problem that lives at the intersection of resource allocation and motion planning. The goal is to combine a predefined set of objects to form ...
Abstract: This paper addresses the problem of formal verification of neural networks (NNs) for control. This work focuses on NNs with piece-wise linear activation functions, which can be represented ...
The 8(a) small business contracting program is in a fight for its life. From Capitol Hill to the courts to now the executive branch, the 47-year-old program is facing questions about its legitimacy ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback