fse-dke-curriculum-2019-2020.pdf
(177.13 KB, PDF)
… of artificial intelligence that aims at developing computer systems that automatically improve their performance with experience. Machine learning algorithms are widely employed and are encountered daily. Examples are automatic recommendations when buying a product or voice recognition software that adapts to your voice. The course will present both the basic, and the state-of-the-art techniques of machine learning. The practical use of the presented techniques and the problems of developing real … Science & Knowledge Engineering Introduction to Image & Video Processing Full course description Image and video processing is everywhere around us, in smartphones, robotics, medicine, security systems, microscopy, remote sensing, video games, travel, shopping, environmental management and many other applications. Image and video processing is based on principles of signal processing, extended to multiple dimensions. In this class students will have a short introduction to basic 2D signals and … Teaching methods: Project-Centered Learning Data Science & Knowledge Engineering Software and Systems Verification Full course description Have you ever written a program with a bug in it? Then this course is for you! Software verification tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove …