Вы здесь

Главная

интервальный

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

A Combination of Clausal and Non Clausal Temporal Logic Programs
Applied Parallel Computing: State of the Art in Scientific Computing: Revised Selected Papers/7th International Workshop, PARA 2004. Lyngby, Denmark, June 2004
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
Comparability Orders and Measurement
Comprehensive Redundant Load Elimination for the IA-64 Architecture
Constraint Deduction in an Interval-based Temporal Logic
Foundations of Fuzzy Logic and Soft Computing: Proc/12th International Fuzzy Systems Association World Congress, IFSA 2007. Cancun, Mexico, June 2007
GlobSol: History, Composition, and Advice on Use
Interval Constraints: Results and Perspectives
Management of interval probabilistic data
Modeling Decisions for Artificial Intelligence: Proc./6th International Conference, MDAI 2009, Awaji Island, Japan, November/December 2009
Numerical Software with result Verification: Proc./Intern. Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003
Numerical Validation in Current Hardware Architectures: Revised Papers/ International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2008
Optimal Interval Routing
Principles and Practice of Constraint Programming - CP 2006: Proc./12th Intl Conference, CP 2006. Nantes, France, September 2006
Recent Advances in Constraints: Revised Selected Papers/13th Annual ERCIM International Workshop, CSCLP 2008, Rome, Italy, June 2008
Representation of Interval Models and Interval Data in the Constraint Programming System
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
Scientific Computing, Computer Arithmetic, and Validated Numerics: Revised Selecte Papers/16th International Symposium, SCAN 2014, Wursburg, Germany, September 2014
Анализ и синтез стационарных и интервальных систем управления на основе зависимости расположения их полюсов и нулей от прямых показателей качества
Интервальная математическая модель комбинаторной задачи цветной упаковки прямоугольников
Интервальные методы распространения ограничений и их приложения
Интервальный подход к регуляризации неточно заданных систем линейных уравнений
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Корневой анализ и синтез систем с интервальными параметрами на основе вершинных характеристических полиномов
Препроцессор интервального анализа для алгоритмического языка Паскаль на IBM PC
Распространение интервальных ограничений с динамическим изменением типов данных
Семантический анализ интервальных конгруэнтностей