21 – 30 of 550
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze LU
; Junges, Sebastian
and Jansen, Nils
(2025)
37th International Conference on Computer Aided Verification, CAV 2025
In Lecture Notes in Computer Science
15932 LNCS.
p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FACT : Multinomial Misalignment Classification for Point Cloud Registration
(2025) 23rd Scandinavian Conference on Image Analysis, SCIA 2025 In Lecture Notes in Computer Science 15725 LNCS. p.324-337
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multiplication of 0-1 Matrices via Clustering
(2025) 19th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom, IJTCS-FAW 2025 In Lecture Notes in Computer Science 15828 LNCS. p.92-102
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
Mark
Tight Security of TNT and Beyond : Attacks, Proofs and Possibilities for the Cascaded LRW Paradigm
(2024) 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14651 LNCS. p.249-279
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
AI Act high-risk requirements readiness : industrial perspectives and case company insights
Wagner, Matthias LU
; Gupta, Rushali
LU
; Borg, Markus
LU
; Engström, Emelie
LU
and Lysek, Michal
(2024)
25th International Conference on Product-Focused Software Process Improvement, PROFES 2024
In Lecture Notes in Computer Science (LNCS)
15453.
p.67-83
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
(min, + ) Matrix and Vector Products for Inputs Decomposable into Few Monotone Subsequences
(2024) 29th International Computing and Combinatorics Conference, COCOON 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14423 LNCS. p.55-68
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
(2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing the Lipschitz Constant Needed for Fast Scene Recovery from CASSI Measurements
Overgaard, Niels Christian LU and Holst, Anders LU
(2024)
18th European Conference on Computer Vision, ECCV 2024
In Lecture Notes in Computer Science
15120.
p.339-353
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Boolean Matrix Multiplication for Highly Clustered Data on the Congested Clique
(2024) 30th International Conference on Parallel and Distributed Computing, Euro-Par 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14803 LNCS. p.45-58
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FuseRank (Demo) : Filtered Vector Search in Multimodal Structured Data
Paraschakis, Dimitris LU ; Ros, Rasmus LU ; Borg, Markus LU and Runeson, Per LU
(2024)
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2024
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14948.
p.404-408
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding