Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
How to Speed Up Your TensorFlow tf.data Pipeline
hackernoon.com·8h
Quaternion-Based Robust PCA for Efficient Moving Target Detection and Background Recovery in Color Videos
arxiv.org·11h
\textit{FedABC}: Attention-Based Client Selection for Federated Learning with Long-Term View
arxiv.org·11h
When Scale Meets Diversity: Evaluating Language Models on Fine-Grained Multilingual Claim Verification
arxiv.org·11h
Loading...Loading more...