Author of the publication

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

, , and . AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 216-230. Springer, (2012)

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

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging., , and . AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 216-230. Springer, (2012)A Certified Reduction Strategy for Homological Image Processing., , , and . ACM Trans. Comput. Log., 15 (3): 23:1-23:23 (2014)A certified reduction strategy for homological image processing., , , and . CoRR, (2013)A collaborative semantic framework based on activities for the development of applications in Smart Home living labs., , , , , and . Future Gener. Comput. Syst., (2023)The Unfolding Semantics of Functional Programs., and . CoRR, (2017)An Approach for Web Accreditation Services., , , and . SWWS, page 333-335. CSREA Press, (2008)Identity Authentication Services., , , and . Security and Management, page 655-659. CSREA Press, (2008)A Proposal for Disequality Constraints in Curry., , and . WFLP, volume 177 of Electronic Notes in Theoretical Computer Science, page 269-285. Elsevier, (2006)A Knowledge-Based Distributed Biometric Authentication Entity Mechanism., , , and . Security and Management, page 660-662. CSREA Press, (2008)A simple score normalisation technique for multimodal biometric authentication., , , and . Int. J. Biom., 1 (4): 374-392 (2009)