Вы здесь

Главная

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

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

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