11 – 20 of 512
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Elements of cognition for general intelligence
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Prolog for Scientific Explanation
2023) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13900 LNAI. p.372-385(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A System-Level Brain Model for Enactive Haptic Perception in a Humanoid Robot
2023) The 32nd International Conference on Artificial Neural Networks (ICANN 2023) In Lecture Notes in Computer Science 14254. p.432-443(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
(Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information
2023) 23rd International Conference on Computational Science and Its Applications, ICCSA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14111 LNCS. p.624-638(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improved Segmentation of Deep Sulci in Cortical Gray Matter Using a Deep Learning Framework Incorporating Laplace’s Equation
2023) 28th International Conference on Information Processing in Medical Imaging, IPMI 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13939 LNCS. p.692-704(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Finding Small Complete Subgraphs Efficiently
2023) 34th International Workshop on Combinatorial Algorithms, IWOCA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13889 LNCS. p.185-196(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Post-Quantum Cryptography : 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16–18, 2023, Proceedings
(2023) The 14th International Conference on Post-Quantum Cryptography In Lecture Notes in Computer Science 14154.
- Book/Report › Conference proceeding (editor)
-
Mark
Certified Core-Guided MaxSAT Solving
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
- 2022
-
Mark
Early Identification of Invalid Bug Reports in Industrial Settings – A Case Study
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13709 LNCS. p.497-507(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LaMAR: Benchmarking Localization and Mapping for Augmented Reality
2022) 17th European Conference on Computer Vision, ECCV 2022 In Lecture Notes in Computer Science 13667. p.686-704(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding