11 – 20 of 542
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
Computing the Lipschitz Constant Needed for Fast Scene Recovery from CASSI Measurements
(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
FuseRank (Demo) : Filtered Vector Search in Multimodal Structured Data
(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
-
Mark
AI Act high-risk requirements readiness : industrial perspectives and case company insights
(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
“Mum Helps Me When the Internet Messes Up…” : Accessibility of eHealth Services for People with Intellectual Disability
(2024) 18th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14697 LNCS. p.213-230
- 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
-
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
