Autor der Publikation

The kernelHMM : Learning Kernel Combinations in Structured Output Domains.

, und . DAGM-Symposium, Volume 4713 von Lecture Notes in Computer Science, Seite 436-445. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , und . CoRR, (2018)Bildregistrierung zur Verbrennungsanalyse., , , und . Bildverarbeitung für die Medizin, Seite 159-163. Springer, (2011)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)Highly efficient image registration for embedded systems using a distributed multicore DSP architecture., , , , und . J. Real-Time Image Processing, 14 (2): 341-361 (2018)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 360-364. (2017)Weighted medical image registration with automatic mask generation., , und . Medical Imaging: Image Processing, Volume 6144 von SPIE Proceedings, Seite 61442B. SPIE, (2006)Image registration for CT and intra-operative ultrasound data of the liver., , , , und . Medical Imaging: Image-Guided Procedures, Volume 6918 von SPIE Proceedings, Seite 691808. SPIE, (2008)Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , und 2 andere Autor(en). Cell, 149 (6): 1393--1406 (2012)On Adaptive Weighted Polynomial Preconditioning for Hermitian Positive Definite Matrices., und . SIAM J. Sci. Comput., 15 (2): 408-426 (1994)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 290-294. Springer, (2002)