Displaying 273 resources
The Silent (R)evolution of SAT
The Propositional Satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness.
Set Theory
This lecture overviews Set Theory that has many applications in Probability/Statistics, Machine Learning and Computer Vision.
Digital Image Compression
This lecture overviews Digital Image Restoration that has many applications in scientific/medical imaging and in digital photography.
Camera Geometry
After a brief introduction to image acquisition and light reflection, the building blocks of modern cameras will be surveyed, along with geometric camera modelling.
Geometric data analysis based on manifold learning with applications for image understanding
The conference paper gives in the first section a brief and easy understandable introduction into the basics of Riemannian geometry.
Colour Theory
This lecture overviews Colour Theory that has many applications in digital image/video processing and analysis, multimedia sites and in digital TV.