231 – 240 of 1768
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks
Mayr, Matthias LU
; Ahmad, Faseeh
LU
; Duerr, Alexander
LU
and Krueger, Volker
LU
(2023)
19th IEEE International Conference on Automation Science and Engineering, CASE 2023
In IEEE International Conference on Automation Science and Engineering
2023-August.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
and Vandesande, Dieter
(2023)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14132 LNAI.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
(2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bettan – Industrial robot and application for Finja Exakt build system
(2023) 40th International Symposium on Automation and Robotics in Construction, ISARC 2023 In Proceedings of the International Symposium on Automation and Robotics in Construction p.86-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
- Contribution to journal › Article
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
(2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
- Contribution to journal › Article
-
Mark
User-Centric Study and Enhancement of Python Static Code Analysers
Chen, Steven ; Söderberg, Emma LU
and McCabe, Alan
LU
(2023)
PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Influencing Code Reading Through Beacons: an Eye-Tracking Study
McCabe, Alan LU ; Niehorster, Diederick C LU
and Söderberg, Emma
LU
(2023)
PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding