Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Exploiting Temporal Context for Tiny Object Detection2023 IEEE/CVF Winter Conference on Applications of Computer Vision Workshops (WACVW) conference-paper Computer Science Advanced Neural Network Applications Open access
Christof W. Corsel, Michel van Lier, Leo Kampmeijer, Nicolas Boehrer, Erwin M. Bakker
27citations -
Interpreting Black-box Machine Learning Models for High Dimensional Datasets2023 IEEE International Conference on Data Science and Advanced Analytics (DSAA) conference-paper Computer Science Explainable Artificial Intelligence (XAI) Open access
Md Shajalal, Alexander Graß, Till Döhmen, Sisay Adugna Chala, Alexander Boden, Christian Beecks, +1 more
19citations -
The covariance perceptron: A new paradigm for classification and processing of time series in recurrent neuronal networks2020 PLoS Computational Biology article Computer Science Neural Networks and Applications Open access
Matthieu Gilson, David Dahmen, Rubén Moreno‐Bote, Andrea Insabato, Moritz Helias
11citations -
Learnable Spectral Wavelets on Dynamic Graphs to Capture Global Interactions2023 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Advanced Graph Neural Networks Open access
Anson Bastos, Abhishek Nadgeri, Kuldeep Singh, Toyotaro Suzumura, Manish Singh
8citations