Лекция
Цифровой фотомонтаж, часть 2. Сшивка изображений
Матирование границ. Пирамиды Лапласа для сшивки. Редактирование по Пуассону. Метод Drag, Drop Pasting. Основы...
Цифровой фотомонтаж, часть 1. Графические модели
Сегментация изображений
Сегментация и текстура, текстоны, Pb-детектор. Эмпирические методы сегментации. Методы сегментации на графах. Кластеризация для...
Лекция посвящена рассмотрению примера уравнений Бете-анзаца для случая цепочки из двух узлов. Явно выписывается вид и действие операторов, составляющих матрицу...
Рассматриваем, какие требования на трансфер-матрицу и оператор Лакса накладывает sl(2)-инвариантность и требования коммутативности операторов Q. Оказывается,...
Теперь нам необходимо проверить коммутативность трансфер-матрицы. Сначала мы проверяем ее для случая двух узлов. В этом случае условие коммутативности легко...
Введение
Язык Scheme. Рекурсия и хвостовые вызовы
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Функции высшего порядка и замыкания
В лекции рассматривается на примерах идея абстрагирования вычислительных процессов с помощью функций высшего порядка и...
Системы Фреге
Страница лекции на сайте Computer Science клуба
Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
Страница лекции на сайте Computer...
Понятие дескрипционной логиги. Дескрипционная логика EL.
Страница лекции на сайте Computer Science клуба
Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL.
Страница лекции на сайте Computer Science клуба
Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов.
Страница лекции на сайте Computer Science клуба
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...
Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность
Страница лекции на сайте Computer...
Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
Страница лекции на сайте Computer...
Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Абстракция данных
Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Непересекающиеся NP-пары
Страница лекции на сайте Computer Science клуба
Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Страница лекции на сайте Computer Science клуба
Алгебраические и полуалгебраические системы доказательств
Страница лекции на сайте Computer Science клуба
Потоки Уитни в конечномерном евклидовом пространстве. Формы, потоки, нормальные потоки, спрямляемые потоки, плоские цепи. Массы потоков. Потоки со значениями в...
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 клуба
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к...
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной...
Леммы о контекстах. Типизируемость подтермов, нетипизируемые предтермы. Лемма подстановки. Теорема о редукции субъекта. Незамкнутость относительно экспансии....
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
Страница лекции на сайте Computer Science клуба
Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
Разрабатывая программы Java, Python, PHP и т.д., мы зачастую используем несколько языков одновременно: в нашем коде на языке общего назначения, например, Java...
В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен...
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...