Лекция
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Обработка ошибок и исключения.
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Реконструкция по одному изображению
Точки схода, их оценка и использование для реконструкции. Интерактивные методы реконструкции по одному изображению....
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и...
Многовидовое стерео
Алгоритмы на основе раскраски вокселей. Объединение карт глубины с помощью Марковских случайных полей. Многовидовое стерео на основе...
Бинокулярное стерео
Постановка задачи. Ректификация изображений и триангуляция. Локальные методы стерео. Глобальные методы, задание энергии. Использование...
Геометрия камеры и структура из движения
Семантическая сегментация изображений и контекст
Понятие пространственной поддержки. Сегментация и распознавание. Понятие контекста. Использование контекста...
Цифровой фотомонтаж, часть 2. Сшивка изображений
Матирование границ. Пирамиды Лапласа для сшивки. Редактирование по Пуассону. Метод Drag, Drop Pasting. Основы...
Цифровой фотомонтаж, часть 1. Графические модели
Сегментация изображений
Сегментация и текстура, текстоны, Pb-детектор. Эмпирические методы сегментации. Методы сегментации на графах. Кластеризация для...
k-независимые хеш-функции, конструкции. Основная лемма о хешировании для попарно независимых хеш-функций. Лемма о хешировании для 2t-независимых хеш-функций....
Страница лекции на сайте Computer Science клуба
OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
Вероятностное пространство. Простейшие свойства вероятности. Вероятностный метод. Эффективная монотонная схема для функции голосования. Линейность...
Функции высшего порядка и замыкания
В лекции рассматривается на примерах идея абстрагирования вычислительных процессов с помощью функций высшего порядка и...
Генерация равномерного распределения на множестве подсказок с помощью k-независимых хеш-функций. Лемма Вэлианта-Вазирани.
Страница лекции на сайте Computer...
The talk presents recent results (from a paper at FOCS 2010) on "differential privacy" in a distributed setting: two parties holding sensitive data would like...
Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Страница лекции на сайте Computer Science клуба
Разрабатывая программы Java, Python, PHP и т.д., мы зачастую используем несколько языков одновременно: в нашем коде на языке общего назначения, например, Java...
Независимые события и случайные величины, неравенство Чебышева, закон больших чисел для попарно независимых случайных величин, закон больших чисел для t-...
Экстракторы
Использование сэмплера для понижения ошибки в вероятностных алгоритмах с экономией случайных битов. Усредняющие сэмплеры, "самый лучший" сэмплер...
Системы Фреге
Страница лекции на сайте Computer Science клуба
Конструкция k-независимого множества. Матричные конструкции 2-независимых множеств. Матрицы Теплица. Семейства попарно независимых хеш-функций.
Страница лекции...
Страница лекции на сайте Computer Science клуба
В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
Страница лекции на сайте Computer...
Страница лекции на сайте Computer Science клуба
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен...
Страница лекции на сайте Computer Science клуба
Понятие дескрипционной логиги. Дескрипционная логика EL.
Страница лекции на сайте Computer Science клуба
Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность
Страница лекции на сайте Computer...
Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL.
Страница лекции на сайте Computer Science клуба
Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
Страница лекции на сайте Computer...
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к...
Экспандеры и блуждания по ним
Комбинаторный и алгебраические экспандеры. Лемма о перемешивании. Блуждание по экспандеру, вероятность блуждания по множеству....
Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов.
Страница лекции на сайте Computer Science клуба
Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной...
Сэмплеры и хиттеры
Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, медиана из усреднений. Булев сэмплер из экспандера, сэмплер из булева сэмплера....