1 – 10 of 538
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Towards Out-of-Distribution Detection for Breast Cancer Classification in Point-of-Care Ultrasound Imaging
2025) 27th International Conference on Pattern Recognition, ICPR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15313 LNCS. p.49-63(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Relative Pose from Cylinder Silhouettes
2025) 17th Asian Conference on Computer Vision, ACCV 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15480 LNCS. p.245-261(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SONNET : Enhancing Time Delay Estimation by Leveraging Simulated Audio
2025) 27th International Conference on Pattern Recognition, ICPR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15320 LNCS. p.289-303(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
NeuroNCAP : Photorealistic Closed-Loop Safety Testing for Autonomous Driving
2025) 18th European Conference on Computer Vision, ECCV 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15088 LNCS. p.161-177(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Voronoi Diagram of Weakly Smooth Planar Point Sets in O(log n) Deterministic Rounds on the Congested Clique
2025) 0th International Computing and Combinatorics Conference, COCOON 2024 In Lecture Notes in Computer Science (LNCS), 15162. p.478-489(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Formal Analysis of Julia Key Agreement Protocol
2025) 26th International Conference on Information and Communications Security, ICICS 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15057 LNCS. p.171-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
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
Proof Logging for the Circuit Constraint
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding