CV2015. Лекция 4. Классификация изображений и введение в машинное обучение.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
CV2015. Лекция 7. Поиск изображений по содержанию.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
CV2015. Лекция 5. Выделение объектов.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
CV2015. Лекция 6. Нейросетевые алгоритмы.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
CV2015. Лекция 2. Простые методы распознавания изображений.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон. Лекция 2. Простые методы распознавания изображений. Рассматриваются методы бинаризации изображений, основы математической морфологии, медианная фильтрация, выделение связанных компонент, метод последовательного сканирования, метод К-средних, оценка характеристик сегментов.
CV2015. Лекция 8. Распознавание лиц людей.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
Программирование как способ выражения мыслей. Levon AvakyanЯ расскажу на простейших примерах как функционирует современный компьютер, какие языки программирования бывают, для чего они используются, какие парадигмы лежат в их основе. По сути, язык программирования это инструмент, с помощью которого можно рассказать машине, чего же мы от неё хотим, тем самым воплотив свои мысли.
CV2015. Лекция 1. Понятия и история компьютерного зрения. Свет и цвет.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон. Лекция 1. Темы - понятие о компьютерном зрение, сложности, связь с искусственным интеллектом. История и достижения компьютерного зрения. Свет и цвет, модели цвета, цифровое изображение.
Лекция 7. Исключения и менеджеры контекста.Roman BrovkoИсключения, зачем они нужны и как их обрабатывать. Встроенные исключения и базовые классы BaseException и Exception. Операторы try...except..else..finally. Менеджеры контекста и модуль contextlib.
C#. От основ к эффективному кодуVasiliy DeynegaВводная лекция в язык C#, для тех кто знает программирование и в особенности C++. В статье будет уделено внимание наиболее важным отличиям языков, будут обсуждаться вопросы производительности и эффективного кода.
Другие интересные статьи по C# ищите тут: http://itw66.ru/blog/c_sharp/
Написание компактного и эффективного кода в C#: http://itw66.ru/blog/c_sharp/520.html
Nikolay Shilov. CSEDays 3LiloSEAThe document discusses combining branching time logic with logics of knowledge for reasoning about multi-agent systems. It proposes an update and abstraction algorithm for model checking Computational Tree Logic with Knowledge (Act-CTL-K) in perfect recall synchronous settings. The key points are:
1) The algorithm transforms Act-CTL-K formulas of bounded knowledge depth k into Act-CTL, using k-trees and knowledge update functions to represent the original environment.
2) A k-tree is a finite tree of height k that represents the knowledge of agents. Knowledge update functions are defined to transform k-trees after actions.
3) The resulting model checking algorithm solves Act-CTL on the transformed k-trees,
CV2015. Лекция 2. Простые методы распознавания изображений.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон. Лекция 2. Простые методы распознавания изображений. Рассматриваются методы бинаризации изображений, основы математической морфологии, медианная фильтрация, выделение связанных компонент, метод последовательного сканирования, метод К-средних, оценка характеристик сегментов.
CV2015. Лекция 8. Распознавание лиц людей.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон.
Программирование как способ выражения мыслей. Levon AvakyanЯ расскажу на простейших примерах как функционирует современный компьютер, какие языки программирования бывают, для чего они используются, какие парадигмы лежат в их основе. По сути, язык программирования это инструмент, с помощью которого можно рассказать машине, чего же мы от неё хотим, тем самым воплотив свои мысли.
CV2015. Лекция 1. Понятия и история компьютерного зрения. Свет и цвет.Anton KonushinКурс "Введение в компьютерное зрение", читаемый на
ВМК МГУ имени М.В. Ломоносова в весеннем семестре 2015 года. Лектор - Конушин Антон. Лекция 1. Темы - понятие о компьютерном зрение, сложности, связь с искусственным интеллектом. История и достижения компьютерного зрения. Свет и цвет, модели цвета, цифровое изображение.
Лекция 7. Исключения и менеджеры контекста.Roman BrovkoИсключения, зачем они нужны и как их обрабатывать. Встроенные исключения и базовые классы BaseException и Exception. Операторы try...except..else..finally. Менеджеры контекста и модуль contextlib.
C#. От основ к эффективному кодуVasiliy DeynegaВводная лекция в язык C#, для тех кто знает программирование и в особенности C++. В статье будет уделено внимание наиболее важным отличиям языков, будут обсуждаться вопросы производительности и эффективного кода.
Другие интересные статьи по C# ищите тут: http://itw66.ru/blog/c_sharp/
Написание компактного и эффективного кода в C#: http://itw66.ru/blog/c_sharp/520.html
Nikolay Shilov. CSEDays 3LiloSEAThe document discusses combining branching time logic with logics of knowledge for reasoning about multi-agent systems. It proposes an update and abstraction algorithm for model checking Computational Tree Logic with Knowledge (Act-CTL-K) in perfect recall synchronous settings. The key points are:
1) The algorithm transforms Act-CTL-K formulas of bounded knowledge depth k into Act-CTL, using k-trees and knowledge update functions to represent the original environment.
2) A k-tree is a finite tree of height k that represents the knowledge of agents. Knowledge update functions are defined to transform k-trees after actions.
3) The resulting model checking algorithm solves Act-CTL on the transformed k-trees,
Scala для всех (РИФ 2015)Арсений ЖижелевКраткое введение в Scala для разработчиков на других языках. Рассмотрены несколько простых программ, написанных с использованием красивых возможностей Scala.
TMPA-2013 Kompan and Bui: OOP Class DiagramsIosif ItkinTMPA-2013 Tools & Methods of Program Analysis
Bui, D., Kompan, S., Taras Shevchenko National University of Kyiv
OOP Class Diagrams: Formation and Analysis
5. Классификация текстов Представление документа без порядка : частоты слов из словаря («мешок слов») Salton & McGill (1983) US Presidential Speeches Tag Cloud http://chir.ag/phernalia/preztags/
6. Классификация текстов Представление документа без порядка : частоты слов из словаря («мешок слов») Salton & McGill (1983) US Presidential Speeches Tag Cloud http://chir.ag/phernalia/preztags/
7. Представление документа без порядка : частоты слов из словаря («мешок слов») Salton & McGill (1983) Классификация текстов US Presidential Speeches Tag Cloud http://chir.ag/phernalia/preztags/
8. Слова и словари Что такое «слово» в контексте изображений? Как составить «словарь» для коллекции изображений?
9. Моделирование текстур Текстура является повторением набора базовых элементов («текстонов») Для стохастических текстур важны сами текстоны, а не их пространственное расположение
11. «Визуальные слова» face, flowers, building «Визуальное слово» – часто повторяющийся фрагмент изображения В отличие от текстур – не в одном изображении, а в коллекции В изображении визуальное слово может встречаться только один раз!
12. «Визуальный словарь» Словарь – набор фрагментов, часто повторяющихся в коллекции изображений Как составить словарь? Составить большой список всех фрагментов по всей коллекции Разделить весь список на похожие группы Типичная задача «кластеризации» Будем считать все фрагменты в одной группе – «экземплярами» одного и того же слова
15. Регулярная сетка Vogel & Schiele, 2003 Fei-Fei & Perona, 2005 Характерные точки Csurka et al. 2004 Fei-Fei & Perona, 2005 Sivic et al. 2005 1. Сбор фрагментов
16. Характерная точка изображения - это точка с характерной (отличающейся) окрестностью Характерные точки Пример особой точки Пример точки, не являющейся особой Названия: Особенность ( feature) Характеристическая / интересная точка ( interest point)
17. Свойства характерных точек Локальность ( Locality ) Особенность занимаем маленькую область изображения, поэтому работа с ней нечувствительна к перекрытиям Повторяемость ( Repeatability ) Особенность ( feature) должна находится в том же месте не смотря на изменения точки обзора и освещения Значимость ( Saliency ) Каждая особенность должна иметь уникальное ( distinctive) описание Компактность и эффективность Особенностей гораздо меньше .чем пикселей в изображении
19. Как два небольших изображения! Те же метрики, что и при прямом сравнении изображений: SAD = Squared absolute difference SSD = Squared of square difference Cross-correlation Неустойчиво к изменениям! Освещения Малые сдвиги приводят к большим изменениям Как сравнивать фрагменты?
20. SIFT S cale- I nvariant F eature T ransform DoG или Harris-Laplacian Характерный размер области R Характерная ориентация Дескриптор на основе гистограммы направлений градиентов Один из самых эффективных дескрипторов David G. Lowe. "Distinctive image features from scale-invariant keypoints .” IJCV 60 (2), pp. 91-110, 2004.
21. Ориентация Пример: найти локальное направление градиента вокруг интересной точки Повернуть фрагмент(ы) так, чтобы средний градиент был направлен вверх 0 2
24. Гистограммы градиентов SIFT Вычисляем градиент в каждой точке Строим гистограммы по окрестностям Обычно – сетка 4 x4 , в каждой гистограмма с 8ю ячейками Стандартная длина вектора-дескриптора – 128 (4*4*8) Устойчив к изменениям освещенности и небольшим сдвигам
25. 1. Извлечение фрагментов Выбрали фрагменты Вычислили для каждого дескриптор Составили большой список всех дескрипторов …
27. 2. Обучение словаря Кластеризация ݺߣ credit: Josef Sivic …
28. 2. Обучение словаря Кластеризация ݺߣ credit: Josef Sivic Визуальный словарь …
29. Кластеризации Кластеризация является обычным методов обучения визуального словаря или «кодовой книги» ( codebook ) Обучение без учителя Центр каждого кластера становится кодовым вектором Словарь можно обучить на отдельной выборке Если обучающая выборка достаточно представительна, тогда словарь может стать «универсальным»
30. Кластеризация K-c редними Минимизируем сумму квадратов Евклидовых расстояний между точками x i и ближайшими центрами кластеров m k Алгоритм : Случайно инициализируем K центров кластеров Повторяем до сходимости : Назначаем каждую точку ближайшему центру Пересчитываем центр каждого кластера как среднее всх назначенных точек
41. Визуальные словари Как выбрать размер словаря ? Маленький : слова не могут описать все особенности Большой : переобучение Вычислительная сложность Деревья словарей (Nister & Stewenius, 2006) Approximate nearest-neighbour Хеширование
42. 3. От кластеризации к квантизации Квантуем особенности с помощью словаря Сопоставляем каждый дескриптор ближайшему слову из словаря Sivic et al. 2005 Примеры визуальных слова
43. 3. Описание изображения – «мешок слов» частоты слова … ..
44. 4. Классификация изображений Как мы будем различать изображение, если представление изображения в виде сумки слов уже получено?
45. Классификация Обучим решающее правило (классификатор), назначающий «мешкам» соответствующий класс Любое решающее правило делит пространство на решающие регионы разделенные решающими границами Decision
46. Классификатор – ближайший сосед Назначаем объекту метку ближайшего прецедента из обучающей выборки Диаграмма вороного для разбиения пространства признаков на 2 класса from Duda et al. Source: D. Lowe
47. Для каждой точки найти k ближайших точек из обучающей выборки Метки k точек голосуют за метку Работает неплохо при наличии большой обучающей выборки и хорошей функции близости К ближайших соседей k = 5 Source: D. Lowe
50. От дерева к лесу Yali Amit, Donald Geman: Shape quantization and recognition with randomized trees. Neural Computation, 1997 . Leo Breiman: Random forests. Machine Learning, 2001. ݺߣ by V.Lempitsky
51. Решающий лес - обучение function Node = Обучение_Вершины( {(x,y)}, Level) { if {y} одинаковые или Level == maxLevel return Создать_Лист(Распределение y); {tests} = Создать_ N _Случайных_Разбиений( {(x,y)} , N ) ; test = Выбрать_лучшее_разбиение _ из( {tests}); {(x0,y0)} = {(x,y) | test(x) = 0}; {(x1,y1)} = {(x,y) | test(x) = 1}; LeftChild = Обучение_Вершины( {(x0,y0)}, Level+1); RightChild = Обучение_Вершины( {(x1,y1)}, Level+1); return Создать_Вершину( test, LeftChild, RightChild); } // Обучение леса function main() { {X,Y} = Прочитать_Обучающие_Данные() ; for i = 1 to N {Xi,Yi} = Случайное_Подмнжество( {X,Y})); TreeRoot_i = Обучение_Вершины( {Xi,Yi}); end } ݺߣ by V.Lempitsky
53. Решающий лес – свойства Один из самых эффективных алгоритмов классификации Вероятностное распределение на выходе Применим для высоких размерностей пространства признаков Высокая скорость обучения и тестирования Относительная простота реализации Caruana, R., Niculescu-Mizil, A.: An empirical comparison of supervised learning algorithms , 2006 ݺߣ by V.Lempitsky
54. Случайные окна для классификации Raphaël Marée, Pierre Geurts, Justus H. Piater, Louis Wehenkel: Random Subwindows for Robust Image Classification. CVPR 2005 - случайные окна - нормализация Признаки – интенсивности пикселей (цвета)
55. Возможные тесты I(p) ≷ τ I(p) ≷ I(q) + τ p p q Σ p∊A I(p) ≷ τ A A B Σ p∊A I(p) ≷ Σ p∊B I(p) + τ Интегральные изображения для быстрого подсчета ݺߣ by V.Lempitsky
56. Устойчивость к повороту Случайным образом поворачиваем каждое окно перед нормализацией размера
57. Результат работы Размер выборки = 100.000 Глубина = максимум Количество тестов = 1 ( “extremely-randomized decision trees”) 10 деревьев в лесу всего 6 минут на обучение!!!! 100 окон (2000 тестов) на классификацию картинки – realtime Сравнимая с другими методами точность работы! ݺߣ by V.Lempitsky
60. The PASCAL Visual Object Classes Challenge (2005-2009) Основные конкурсы Классификация : Для каждого из 20 классов, определить присутствие/отсутствие объекта этого класса в изображении Поиск : Определить рамку и метку каждого объекта из 20 классов в изображении http://pascallin.ecs.soton.ac.uk/challenges/VOC/
61. PASCAL (2005-2009) Классы 2008 : Человек : человек Животные : птица, кошка, корова, собака, лошадь, оцва Транспорт : самолет, велосипед, лодка, автобус, машина, мотоцикл, поезд Помещения : бутылка, кресло, стол, растение в горшке, монитор, диван http://pascallin.ecs.soton.ac.uk/challenges/VOC/
62. The PASCAL Visual Object Classes Challenge (2005-2009) Новые конкурсы Семантическая сегментация : попиксельная аннотация области объектов и фона Человек : Пометить рамкой и меткой каждую часть тела (голову, руки, ступни)
63. Как реализовать? OpenCV 2.0 Работа с изображениями, классификаторы VLFeat Детекторы точек, дескрипторы, кластеризация http:// www.vlfeat.org / ColorDescriptor Ряд разнообразных дескрипторов точек http:// staff.science.uva.nl/~ksande/research/colordescriptors /
64. Резюме метода «мешок слов» Извлечение особенностей Обучить “ визуальный словарь ” Квантуем особенности по словарю Описываем картинку частотами «визуальных слов» Варианты: Поиск ближайшего Многоклассовая классификация