Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)
- 16:12, 28 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Понятие полноты моделей алгоритмов и семейств корректирующих операций.)
- 06:32, 28 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→ЕМ-алгоритм для задачи разделения гауссовской смеси.)
- 13:37, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Логистическая регрессия. Вероятностная постановка.)
- 11:21, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Разрешимость и регулярность задач распознавания. Регулярность по Ю.И. Журавлёву)
- 13:41, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Тесты, представительные наборы, проблемы перебора.)
- 12:48, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Функционалы качества. Сложность моделей алгоритмов и проблема переобучения.)
- 12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 12:14, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 11:18, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 11:07, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 11:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 10:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 13:32, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Язык Promela. Механизмы взаимодействия процессов в языке Promela. Глобальные переменные, каналы сообщений, явная синхронизация.)
- 13:09, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Язык Promela. Основные компоненты модели на языке Promela. Процессы, локальные и глобальные объекты данных, каналы сообщений.)
- 12:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Система Spin. Процесс моделирования и верификации при помощи системы Spin. Конечность моделей на Promela. Асинхронное выполнение моделей. Нед)
- 12:35, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация при помощи Spin. Принцип верификации нарушения свойств. Контрпримеры. Процесс верификации при помощи Spin. Использование LTL в S)
- 12:16, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
- 12:15, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
- 11:59, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Циклы бездействия. Ограничения справедливости.)
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)