Search Results for author:
Found 2 papers, 0 papers with code
New SAR target recognition based on YOLO and very deep multi-canonical correlation analysis
Synthetic Aperture Radar (SAR) images are prone to be contaminated by noise, which makes it very difficult to perform target recognition in SAR images.
ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on discrete mathematics and aims at ensuring correctness; ML often relies on probabilistic models and consists of learning patterns from training data.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
