Lecture Notes in Computer Science
Journal Abbreviation: LECT NOTES ARTIF INT
ISSN: 0302-9743
Publisher: Springer Verlag
Publications (1055)
Joint Segmentation and Sub-pixel Localization in Structured Light Laryngoscopy (2023)
Henningson JO, Semmler M, Döllinger M, Stamminger M
Conference contribution
Reference Algorithms for the Mitosis Domain Generalization (MIDOG) 2022 Challenge (2023)
Ammeling J, Wilm F, Ganz J, Breininger K, Aubreville M
Conference contribution
Morphism Equality in Theory Graphs (2023)
Rabe F, Weber F
Conference contribution
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award) (2023)
Brandner J, Mayer F, Philippsen M
Conference contribution, Original article
Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023)
Schäfer JF, Kohlhase M
Conference contribution
Extracting Theory Graphs from Aldor Libraries (2023)
Rabe F, Watt SM
Conference contribution
On a Cornerstone of Bare-Simulation Distance/Divergence Optimization (2023)
Broniatowski M, Stummer W
Conference contribution
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023)
Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L
Conference contribution
Theorem Proving in Dependently-Typed Higher-Order Logic (2023)
Rothgang C, Rabe F, Benzmüller C
Conference contribution
Practical Schnorr Threshold Signatures Without the Algebraic Group Model (2023)
Chu TTH, Gerhart P, Ruffing T, Schröder D
Conference contribution