Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 281 - 300 из 751.
Упорядочить по:
URL
|
дате изменения
281. Заседание научно-исследовательского семинара. 13 апреля 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 13 апреля 2005 г. Продолжение доклада 16 февраля : Логико-языковые средства управления автоматизированными бизнес-процессами . Докладчик: Шундеев Александр Сергеевич, лаборатория Автоматизации экспериментальных исследований, НИИ механики МГУ. ... Новый язык описания определений и реализациий процессов XPDIL, и специализированная система автоматизации бизнес-процессов, основанная на языке XPDIL. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0413.html -- 7.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
282. Заседание научно-исследовательского семинара. 27 апреля 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 27 апреля 2005 г. Доклад: Автоматизированная трансформация моделей и ее применение в технологии MDA . ... Предыдущее заседание | ... В докладе рассматривается разработанный автором язык трансформации моделей. Описание трансформации на этом языке задается декларативно, в виде совокупности правил, каждое из которых описывает преобразования определенного элемента или группы элементов модели. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0427.html -- 8.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
283. Заседание научно-исследовательского семинара. 1 июня 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 1 июня 2005 г. Доклад: Методы и модели, основанные на человеческом восприятии, в обработке аудио и цифровых изображений . ... Предыдущее заседание | ... Алгоритмы подавления стационарных шумов, методы спектрального вычитания и подавления вейвлет-коэффициентов, проблема выбора оптимальных базисов. Предлагаемая модель банков фильтров и ее применение в шумоподавлении для изображений и аудио; . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0601.html -- 7.4 Кб -- 11.02.2015
Похожие документы
Похожие документы
284. Заседание научно-исследовательского семинара. 15 июня 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 15 июня 2005 г. Доклад: Методы интерактивной визуализации и обработки трехмерных данных на основе изображений . ... Предыдущее заседание | 15.6.2005 | Следующее заседание . ... В работе рассматривается подход к проблеме визуализации трехмерных данных, основанный на представлении данных с помощью набора атрибутированных изображений. ... Обновлено: 4.10.2005 ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0615.html -- 8.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
285. Заседание научно-исследовательского семинара. 12 октября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 12 октября 2005 г. Доклад: Методы и средства анализа взаиморасположения объектов с использованием индуцированной виртуальной среды . ... Предыдущее заседание | 12.10.2005 | Следующее заседание . ... Созданы инструментальные программные средства для решения задач определения пространственного положения объектов и анализа взаиморасположения объектов. ... Обновлено: 18.10.2005 ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/1012.html -- 8.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
286. Заседание научно-исследовательского семинара. 26 октября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 26 октября 2005 г. Продолжение доклада: Методы и средства анализа взаиморасположения объектов с использованием индуцированной виртуальной среды . ... Предыдущее заседание | 26.10.2005 | Следующее заседание . ... Созданы инструментальные программные средства для решения задач определения пространственного положения объектов и анализа взаиморасположения объектов. ... Обновлено: 18.10.2005 ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/1026.html -- 8.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
287. Заседание научно-исследовательского семинара. 2 ноября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 2 ноября 2005 г. Доклад: Интерпретация строго типизированных функциональных программ . ... Для рассматриваемой модели функциональных программ установлены необходимые и достаточные условия строгой нормализуемости вычислений. Также установлены необходимые и достаточные условия полноты правил (стратегий) вычисления функциональных программ и выделены некоторые полные стратегии вычислений. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/1102.html -- 7.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
288. Заседание научно-исследовательского семинара. 30 ноября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 30 ноября 2005 г. Продолжение доклада: Интерпретация строго типизированных функциональных программ . Докладчик: Будагян Лусине Эдгаровна, стажер кафедры АСВК факультета ВМК МГУ. Предыдущее заседание | 30.11.2005 | Следующее заседание . ... Для рассматриваемой модели функциональных программ установлены необходимые и достаточные условия строгой нормализуемости вычислений. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/1130.html -- 7.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
289. Заседание научно-исследовательского семинара. 14 декабря 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 14 декабря 2005 г. Доклад: Обеспечение периодического тематического поиска . ... В докладе будут рассмотрены вопросы первичной фильтрации документов, предварительного анализа текста и определения релевантности документа интересам пользователя на основе алгоритмов классификации. ... Алгоритм на основе построения нескольких разделяющих гиперплоскостей для решения задачи бинарной классификации. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/1214.html -- 7.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
290. Научно-исследовательский семинар 2006 г.
... 2006 | ... Доклад Базанова Петра, аспиранта кафедры АСВК факультета ВМК: Метод повышения устойчивости и адаптивности обнаружения лиц на изображении сцены с учетом сложности сцены . ... Доклад Маракаевой Галины Тимировны, аспирантки кафедры СП факультета ВМК: Применение алгоритмов классификации в системах класса ЛИМС . ... Доклад Махнычева Владимира Сергеевича, аспиранта кафедры АСВК факультета ВМК: Распараллеливание переборных алгоритмов ветвей и границ в распределенных вычислительных системах . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/ -- 10.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
291. Заседание научно-исследовательского семинара. 15 февраля 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 15 февраля 2006 г. Доклад: Построение вычислительной модели объекта для распознавания сцен с использованием активного сенсора . ... Методология распознавания сцен на основе семейства активных вычислительных агентов, владеющих собственным сегментом изображения . Понятие активного сенсора как часть процесса распознавания, его функции. ... Обобщение модели для распознавания видеоизображений. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/0215.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
292. Заседание научно-исследовательского семинара. 15 марта 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 15 марта 2006 г. Доклад: Система написания параллельных программ ?Parus? ... Наиболее популярный способ написания параллельных программ ? ... К таким средствам можно отнести DVM, Cilk, PETSc, а также создаваемое автором в коллективе разработчиков инструментальное средство для написания программы как графа зависимости по данным ?Parus?. ... Граф затем преобразуется в программу на C++ с MPI-вызовами. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/0315.html -- 8.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
293. Заседание научно-исследовательского семинара. 29 марта 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 29 марта 2006 г. Продолжение доклада: Система написания параллельных программ ?Parus? ... Предыдущее заседание | 29.3.2006 | ... Наиболее популярный способ написания параллельных программ ? ... К таким средствам можно отнести DVM, Cilk, PETSc, а также создаваемое автором в коллективе разработчиков инструментальное средство для написания программы как графа зависимости по данным ?Parus?. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/0329.html -- 8.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
294. Заседание научно-исследовательского семинара. 12 апреля 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 12 апреля 2006 г. Доклад: Построение вычислительной модели объекта для распознавания сцен с использованием активного сенсора . ... Методология распознавания сцен на основе семейства активных вычислительных агентов, владеющих собственным сегментом изображения . Понятие активного сенсора как часть процесса распознавания, его функции. ... Обобщение модели для распознавания видеоизображений. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/0412.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
295. Заседание научно-исследовательского семинара. 17 мая 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 17 мая 2006 г. Доклад: Распознавание траекторий аномального поведения на временных рядах . ... Предыдущее заседание | 17.5.2006 | ... Рассматривается задача выделения и классификации траекторий аномального поведения на временных рядах, генерируемых некоторой динамической системой. ... Также, с помощью генетики были подобраны системы аксиом для задачи распознавания предсонного состояния человека. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/0517.html -- 8.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
296. Заседание научно-исследовательского семинара. 18 октября 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 18 октября 2006 г. Доклад: Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си . ... 18.10.2006 | ... Проведена апробация методики обнаружения уязвимостей на тестовом наборе широко известных пакетов свободно-распространяемого программного обеспечения в соответствии с общепринятыми подходами к тестированию инструментов анализа исходного кода. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/1018.html -- 8.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
297. Заседание научно-исследовательского семинара. 1 ноября 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 1 ноября 2006 г. Доклад: Обнаружение компьютерных атак на основе анализа поведения сетевых объектов . ... Предыдущее заседание | ... Доклад подготовлен по материалам диссертационной работы и посвящен исследованию и разработке метода обнаружения компьютерных атак на распределенные информационные системы. ... Для данной реализации получены экспериментальные показатели эффективности обнаружения атак. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/1101.html -- 8.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
298. Заседание научно-исследовательского семинара. 8 ноября 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 8 ноября 2006 г. Доклад: Распараллеливание переборных алгоритмов ветвей и границ в распределенных вычислительных системах . ... Предыдущее заседание | 08.11.2006 | Следующее заседание . Доклад подготовлен по материалам диссертационной работы и посвящен разработке метода решения переборных задач, решаемых методом ветвей и границ, в распределенных системах ЭВМ. ... Обновлено: 01.11.2006 ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/1108.html -- 8.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
299. Заседание научно-исследовательского семинара. 22 ноября 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 22 ноября 2006 г. Доклад: Применение алгоритмов классификации в системах класса ЛИМС . ... Предыдущее заседание | 22.11.2006 | ... Выбран метод разделяющей функции. ... Примененный в данной работе метод использует экспертные знания об объектах данных (обучающей выборке) для построения разделяющих функции, которые в дальнейшем используются для конструирования классификатора. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/1122.html -- 7.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
300. Заседание научно-исследовательского семинара. 13 декабря 2006 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 13 декабря 2006 г. Доклад: Метод повышения устойчивости и адаптивности обнаружения лиц на изображении сцены с учетом сложности сцены . ... Доклад подготовлен по материалам диссертационной работы и посвящен разработке модели обнаружения лица, адаптивной к сложности сцены, а также разработке метода повышения устойчивости отклика эффективности модели обнаружения лица на сценах различной сложности. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2006/1213.html -- 8.3 Кб -- 11.02.2015
Похожие документы
Похожие документы