Author of the publication

Towards resource-certified software: a formal cost model for time and its application to an image-processing example.

, , , , , and . SAC, page 1307-1314. ACM, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Active Segmentation and Adaptive Tracking Using Level Sets., and . BMVC, page 1-10. British Machine Vision Association, (2007)An improved sphere decoding scheme for MIMO systems using an adaptive statistical threshold., , and . EUSIPCO, page 2668-2672. IEEE, (2009)Parallel Markov Chain Monte Carlo computation for varying-dimension signal analysis., , and . EUSIPCO, page 2673-2677. IEEE, (2009)Full Waveform Analysis for Long-Range 3D Imaging Laser Radar., , , , , and . EURASIP J. Adv. Sig. Proc., (2010)Statistical T+2d Subband Modelling for Crowd Counting., and . ICASSP, page 1533-1537. IEEE, (2018)Creating Multi-layered 3D Images Using Reversible Jump MCMC Algorithms., , and . ISVC (2), volume 4292 of Lecture Notes in Computer Science, page 405-416. Springer, (2006)3-540-48628-3.RIPL: An Efficient Image Processing DSL for FPGAs., , , and . CoRR, (2015)Bayesian Analysis of Lidar Signals with Multiple Returns., , and . IEEE Trans. Pattern Anal. Mach. Intell., 29 (12): 2170-2180 (2007)Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing., , , , and . J. Imaging, 5 (1): 7 (2019)POL-LWIR Vehicle Detection: Convolutional Neural Networks Meet Polarised Infrared Sensors., , , , and . CVPR Workshops, page 1247-1253. IEEE Computer Society, (2018)