This was the first lecture on constraint programming.
It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.
Это диалект языка Standard ML, дополненный ленивыми вычислениями, конкурентностью (многопоточностью и распределёнными вычислениями на основе вызова удалённых процедур) и программированием в ограничениях.
In the past, he was involved in the development of a tool for the Materials and Process Simulation Center (MSC) at Caltech, and different research projects using Constraint Programming.
В прошлом принимал участие в разработках для Центра моделирования материалов и процессов (MSC) в Калифорнийском технологическом институте, а также принимал участие в разработках различных исследовательских проектов с использованием Constraint Programming.
Object-Oriented Constraint Programming: Prospects, Problems, Applications.
Объектно-ориентированное программирование в ограничениях: перспективы, проблемы, приложения.
SCAN'2012 is preceded by the Constraint Programming and Decision Making Workshop CoProD'2012 on September 23, 2012.
Симпозиуму SCAN'2012 предшествует однодневное Совещание по методам распространения ограничений и теории принятия решений CoProD'2012, которое состоится 23 сентября 2012 года.
She has been president of the International Association for Constraint Programming (ACP) and of the International Joint Conference on Artificial Intelligence (IJCAI).
Возглавляла Международную ассоциацию программирования ограничениями (Association for Constraint Programming) и Международную объединенную конференцию по искусственному интеллекту (International Joint Conference on Artificial Intelligence).
Constraint programming - is a programming paradigm wherein relations between variables are stated in the form of constraints.
Some other methods and approaches include the degrees of freedom analysis, symbolic computations, rule-based computations, constraint programming and constraint propagation, and genetic algorithms.
Некоторые другие методы и подходы включают анализ степеней свободы, символьные вычисления, применение систем правил, программирование в ограничениях, и генетические алгоритмы.
Temporal concurrent constraint programming (TCC) and non-deterministic temporal concurrent constraint programming (MJV) are variants of constraint programming that can deal with time.
Constraint programming (Logical programming)
Choco is a Java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).
Choco представляет собой библиотеку языка Java для решения задач с ограничениями (CSP), программирования с ограничениями (CP) и решений с ограничениями и объяснениями (е-CP).
It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.
Это диалект языка Standard ML, дополненный ленивыми вычислениями, конкурентностью (многопоточностью и распределёнными вычислениями на основе вызова удалённых процедур) и программированием в ограничениях.
Constraint programming - is a programming paradigm wherein relations between variables are stated in the form of constraints.