Not finding it? Sign in to also search OpenAlex live.
-
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
ConfASR: A Conformer Block Accelerator for Speech Recognition Optimized for Edge Devices2026 Asia and South Pacific Design Automation Conference (ASP-DAC) conference-paper Computer Science Advanced Neural Network Applications
Malte Wabnitz, M. Nilovic, Finn Scholz, Dominik Friedrich, Christian Lanius, Jie Lou, +1 more
1citations -
Atlas-Augmented Semantic Segmentation for Robust Ultra-Low-Field Pediatric Brain Imaging2026 Lecture notes in computer science conference-paper Computer Science Medical Image Segmentation Techniques Open access
Kostiantyn Lavronenko, Rueveyda Yilmaz, Zhu Chen, Johannes Stegmaier, Volkmar Schulz
0citations -
Optimizing VLP-aligned Multimodal Intent Representation with Correct Visual Instantiation for Zero-Shot Composed Image Retrieval2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access
Xuri Ge, Chunhao Wang, Junchen Fu, Haokun Wen, Zhiwei Xu, Ying Zhou, +4 more
0citations