Вы здесь

Главная

автоматический

Связанные издания:

Автоматическое построение тестов для целей производственного контроля типовых элементов замены вычислительных комплексов
Автоматическое разрешение кореференции местоимений третьего лица русскоязычных текстов
Автоматическое распараллеливание рекуррентных циклов с проверкой устойчивости
Авто-распараллеливатель программ, реализованный на основе компонентной технологии построения оптимизирую их компиляторов
Активатор/S - современная система автоматической за иты программ
Анализ зависимостей: состояние проблемы
Быстрое автоматическое дифференцирование в задачах оптимального управления
Верификация функций безопасности протокола IPSEC V2
Вопросы организации программных библиотек в системах автоматического программирования
Детерминированное поддержание ограничений целостности
Задача автоматического построения тестов и статический анализ
Иерархический подход для автоматического разме ения ациклических графов
Интегрированные правила переписывания термов и их применение в автоматической верификации программ
Информационная система для поддержки процесса проведения исследований на основе литературных источников
Исследовательская система для анализа текстов на естественном языке
К вопросу об оценке оптимальной степени параллелизма
Контроль динамической семантики предикатной программы
Латентно-семантический анализ в задаче автоматического аннотирования
Лекции по автоматической обработке данных. Часть 1: Организация информационных массивов
ЛОГОС-СПРОС система быстрого прототипирования ЭС
Метод автоматизированного синтеза параллельных программ для вычислительных систем с MIMD архитектурой
Метод автоматической индексации документов по словарям тезауруса системы информационного поиска
Методы автоматического извлечения терминов из коллекции текстов предметной области
Методы автоматического построения и обога ения неформальных онтологий
Методы машинного обучения для задачи обнаружения и мониторинга экстремстской информации в сети интернет
Методы, модели, алгоритмы и экспериментальное программное обспечение автоматического выявления неявно выраженных заимствований в научно-технических текстах
М-исчисление - секвенциальный метод автоматического доказательства
Мы можем поговорить?
Некоторые оценки вероятностных характеристик процесса автоматической идентификации ошибок пользователя на основе эталонного словаря
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
Об автоматической верификации трансляторов
Об одном методе автоматического синтеза схем цифровых устройств по алгоритмам их функционирования
Об одном подходе к использованию SDL-92 и MSC для обратной инженерии
Об одном приложении вычислений с оракулом
Организация и использование баз знаний в системах автоматического синтеза программ
Пакет структурно-логического синтеза программ
Планирование схем решения динамических задач на основе декларативных средств организации знаний
Применение методов обнаружения и компенсации ошибок в целочисленном классе cBigNumber
Принципы планирования решения задач в системе автоматического синтеза программ
Программное обеспечение обучающих курсов, основанных на автоматической классификации ответов
Разработка и исследование алгоритмов автоматического распараллеливания циклов и блочного распараллеливания Фортран-программ
Разработка и исследование методов автоматической сборки программ для задач полунатурного моделирования
Разработка и реализация системы программирования с автоматическим синтезом программ
Разработка программной системы для генерации автоматных программ
Символьное выполнение программ и автоматическое построение тестов
Система автоматического распараллеливания ФОРТРАН-программ
Система автоматического тестирования
Система автоматической генерации тестов
Система автореферирования научно-технических текстов
Системы автоматического реферирования