Zeitschriftenartikel (3217)
261.
Zeitschriftenartikel
40 (4), 83, S. 1 - 15 (2021)
Neural Monocular 3D Human Motion Capture with Physical Awareness. ACM Transactions on Graphics 262.
Zeitschriftenartikel
34 (4), S. 259 - 276 (2021)
The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Communications 263.
Zeitschriftenartikel
40 (2), S. 425 - 433 (2021)
Blue Noise Plots. Computer Graphics Forum 264.
Zeitschriftenartikel
65, S. 357 - 423 (2021)
Decidable ∃∗∀∗ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates. Journal of Automated Reasoning 265.
Zeitschriftenartikel
14 (12), S. 3233 - 3238 (2021)
Knowledge Graphs 2021: A Data Odyssey. Proceedings of the VLDB Endowment 266.
Zeitschriftenartikel
10 (2-4), S. 108 - 490 (2021)
Machine Knowledge: Creation and Curation of Comprehensive Knowledge Bases. Foundations and Trends in Databases 267.
Zeitschriftenartikel
129, S. 1875 - 1892 (2021)
Guided Attention in CNNs for Occluded Pedestrian Detection and Re-identification. International Journal of Computer Vision 268.
Zeitschriftenartikel
58 (5), 102672 (2021)
Contextualized Query Expansion via Unsupervised Chunk Selection for Text Retrieval. Information Processing & Management 269.
Zeitschriftenartikel
33, S. 545 - 559 (2020)
Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion. Distributed Computing 270.
Zeitschriftenartikel
16 (4), 51 (2020)
Polylogarithmic Approximation Algorithms for Weighted-F-deletion Problems. ACM Transactions on Algorithms 271.
Zeitschriftenartikel
53 (8), S. 18 - 28 (2020)
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 272.
Zeitschriftenartikel
36 (21), S. 5205 - 5213 (2020)
Identifying Disease-causing Mutations with Privacy Protection. Bioinformatics 273.
Zeitschriftenartikel
57 (3), S. 637 - 657 (2020)
Rapid Mixing of the Switch Markov Chain for Strongly Stable Degree Sequences. Random Structures and Algorithms 274.
Zeitschriftenartikel
82 (7), S. 1784 - 1812 (2020)
Walking Through Waypoints. Algorithmica 275.
Zeitschriftenartikel
39 (6), 255 (2020)
Mixed Integer Ink Selection for Spectral Reproduction. ACM Transactions on Graphics 276.
Zeitschriftenartikel
16 (3), 38 (2020)
A PTAS for Euclidean TSP with Hyperplane Neighborhoods. ACM Transactions on Algorithms 277.
Zeitschriftenartikel
9, 113, S. 1 - 14 (2020)
Prediction of Single-cell Gene Expression for Transcription Factor Analysis. GigaScience 278.
Zeitschriftenartikel
64 (3), S. 485 - 510 (2020)
Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 279.
Zeitschriftenartikel
Non-active Site Mutants of HIV-1 Protease Influence Resistance and Sensitisation towards Protease Inhibitors. Retrovirology, 13 (2020)
280.
Zeitschriftenartikel
36 (6), S. 1655 - 1662 (2020)
Improved Linking of Motifs to their TFs Using Domain Information. Bioinformatics