201 – 210 of 1635
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Proof complexity and SAT solving
2021) p.233-350(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Productive Multitasking for Industrial Robots
2021) 2021 IEEE International Conference on Robotics and Automation, ICRA 2021 In Proceedings - IEEE International Conference on Robotics and Automation 2021-May. p.12654-12661(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Layout-Agnostic Order-Batching Optimization
2021) 12th International Conference on Computational Logistics, ICCL 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13004 LNCS. p.115-129(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).(
- Contribution to journal › Article
-
Mark
Bayesian Optimization with a Prior for the Optimum
2021) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12977 LNAI. p.265-296(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
(
- Contribution to journal › Article
-
Mark
Yttrande över Europeiska kommissionens förslag till förordning om harmoniserade regler för artificiell intelligens
2021)(
- Other contribution › Consultation response
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2021) 12th International Conference on Algorithms and Complexity (CIAC 2021) In Lecture Notes in Computer science 12701. p.314-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A case study of industry–academia communication in a joint software engineering research project
2021) In Journal of software: Evolution and Process(
- Contribution to journal › Article
-
Mark
Test automation with grad-CAM Heatmaps - A future pipe segment in MLOps for Vision AI?
2021) 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 p.175-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding