Zeitschriftenartikel (3217)
161.
Zeitschriftenartikel
66, S. 575 - 584 (2022)
A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. Journal of Automated Reasoning 162.
Zeitschriftenartikel
16 (5), 86, S. 1 - 52 (2022)
Computational Estimation by Scientific Data Mining with Classical Methods to Automate Learning Strategies of Scientists. ACM Transactions on Knowledge Discovery from Data 163.
Zeitschriftenartikel
3 (3), 184 (2022)
Prediction Tool on Fine Particle Pollutants and Air Quality for Environmental Engineering. SN Computer Science 164.
Zeitschriftenartikel
7 (2), S. 2242 - 2249 (2022)
End-to-End Optimization of LiDAR Beam Configuration for 3D Object Detection and Localization. IEEE Robotics and Automation Letters 165.
Zeitschriftenartikel
66, S. 541 - 564 (2022)
Making Higher-Order Superposition Work. Journal of Automated Reasoning 166.
Zeitschriftenartikel
24, S. 67 - 87 (2022)
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. International Journal on Software Tools for Technology Transfer (STTT) 167.
Zeitschriftenartikel
66, S. 499 - 539 (2022)
A Comprehensive Framework for Saturation Theorem Proving. Journal of Automated Reasoning 168.
Zeitschriftenartikel
7 (2), S. 4702 - 4709 (2022)
Learn to Predict How Humans Manipulate Large-Sized Objects From Interactive Motions. IEEE Robotics and Automation Letters 169.
Zeitschriftenartikel
41 (2), S. 71 - 84 (2022)
Learning a self-supervised tone mapping operator via feature contrast masking loss. Computer Graphics Forum 170.
Zeitschriftenartikel
41 (6), 215, S. 1 - 13 (2022)
Geo-Metric: A Perceptual Dataset of Distortions on Faces. ACM Transactions on Graphics 171.
Zeitschriftenartikel
41 (4), 146, S. 1 - 12 (2022)
Dark Stereo: Improving Depth Perception Under Low Luminance. ACM Transactions on Graphics 172.
Zeitschriftenartikel
44 (12), S. 8949 - 8961 (2022)
Generalized Few-Shot Video Classification With Video Retrieval and Feature Generation. IEEE Transactions on Pattern Analysis and Machine Intelligence 173.
Zeitschriftenartikel
130, S. 1735 - 1753 (2022)
Attribute Prototype Network for Any-Shot Learning. International Journal of Computer Vision 174.
Zeitschriftenartikel
7 (2), S. 5103 - 5110 (2022)
Learnable Online Graph Representations for 3D Multi-Object Tracking. IEEE Robotics and Automation Letters 175.
Zeitschriftenartikel
41 (6), 217, S. 1 - 13 (2022)
An Implicit Parametric Morphable Dental Model. ACM Transactions on Graphics 176.
Zeitschriftenartikel
9, S. 1116 - 1131 (2021)
MasakhaNER: Named Entity Recognition for African Languages. Transactions of the Association for Computational Linguistics 177.
Zeitschriftenartikel
129, S. 3169 - 3170 (2021)
Computer Vision and Pattern Recognition 2020. International Journal of Computer Vision 178.
Zeitschriftenartikel
9, S. 79060 - 79079 (2021)
Fast Gravitational Approach for Rigid Point Set Registration with Ordinary Differential Equations. IEEE Access 179.
Zeitschriftenartikel
14 (12), S. 2807 - 2810 (2021)
Wikinegata: a Knowledge Base with Interesting Negative Statements. Proceedings of the VLDB Endowment 180.
Zeitschriftenartikel
71, 100661 (2021)
Negative Statements Considered Useful. Journal of Web Semantics