Вы здесь

Главная

коррекция

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

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases
A Scaleable, Automated Process for Year 2000 System Correction
Autor-X - A System for Secure Dissemination and Update of XML Documents
Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs
Detecting and Correcting Operation Errors of Distributed Systems
Drawing Updates From Derivations
Ein interaktives und syntaxorientiertes Eingabesystem fur algebraische Spezifikationen. Band I
Formulating Update Massages
Foundations of Canonical Update Support for Closed Database Views
Knowledge-Based Spelling Correction in Unix Command Names
Management of Extended Update Operations
Planning Complex Updates to Satisfy Constraint Rules Using a Constraint Logic Search Engine
Removing Redudancy and Updating Databases
Spelling Correction for an Intelligent Tutoring System
Techniques for Automatically Correcting Words in Text
Tests and Proofs: Proc./5th International Conference, TAP 2011, Zurich, Switzerland, June/July 2011
The Revised Gardenfors Postulates and Update Semantics
Updating Atomic Information in Labelled Database Systems
Автоматический синтез правил коррекции текстовых документов формата LATEX
Коды с коррекцией ошибок как средство криптоза иты
Коррекция исполняемых модулей
Матричная коррекция несобственных задач линейного программирования со специальной структурой
Об ий подход к решению задачи индуктивной коррекции состояния базы знаний по примерам
Теория кодирования как задача поиска глобального экстремума