21 – 30 of 540
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
“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
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
- 2023
-
Mark
Requirements Engineering for Automotive Perception Systems : An Interview Study
(2023) 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023 In Lecture Notes in Computer Science 13975 LNCS. p.189-205
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower Bounds for Monotone q-Multilinear Boolean Circuits
(2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Case for a Broader Approach to e-Participation Research: Hybridity, Isolation and System Orientation
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Systematic Augmentation in HSV Space for Semantic Segmentation of Prostate Biopsies
(2023) 22nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science 13886. p.293-308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Multi-view Geometry of Parallel Cylinders
(2023) 22nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science 13886. p.482-499
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Elements of cognition for general intelligence
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
