Autor der Publikation

Towards PDE-based image compression

, , , , , und . Proceedings of International Workshop on Variational, Geometric, and Level Set Methods in Computer Vision (VLSM 2005). Lecture Notes in Computer Science, 3752, Springer, (2005)

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

Image compression with anisotropic diffusion, , , , , und . Journal of Mathematical Imaging and Vision, (2008)Software defect detection by combining bounded model checking and approximations of functions., , und . Automatic Control and Computer Sciences, 48 (7): 389-397 (2014)Capacitorless Model of a VO2 Oscillator., und . CoRR, (2019)Borealis Bounded Model Checker: The Coming of Age Story., , und . Present and Ulterior Software Engineering, Springer, (2017)Using a bounded model checker for test generation: How to kill two birds with one SMT solver., , , und . Automatic Control and Computer Sciences, 49 (7): 466-472 (2015)LLVM-based static analysis tool using type and effect systems., und . Automatic Control and Computer Sciences, 46 (7): 324-330 (2012)Universal software-hardware measurement complex for testing wide range of synchronous machines., , , und . EIT, Seite 252-257. IEEE, (2016)Clustering of elecric network for effective management of Smart grid., , , und . ISIE, Seite 1987-1990. IEEE, (2014)The investigation of properties of electron transport in AlGaN/GaN heterostructures., , , , , , , , und . Microelectronics Journal, 34 (5-8): 575-577 (2003)ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler., , und . CoRR, (2019)