Skip to main content

7 Result(s)

within Vitaly Telerman Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Industrial Application of External Black-Box Functions in Constraint Programming Solver

    We examine the problem of interaction between the interval constraint programming solver and external computation algorithms that are considered by the solver as Black Boxes. Some techniques are used in order ...

    Vladimir Sidorov, Vitaly Telerman in Perspectives of System Informatics (2003)

  2. No Access

    Chapter and Conference Paper

    Using Constraint Solvers in CAD/CAM Systems

    We discuss different possibilities of using the Constraint Programming Solvers (CPS) in CAD/CAM systems. The NeMo+ CPS, based on the approach of Subdefinite Models (SD-Models), and some its specializations are co...

    Vitaly Telerman in Perspectives of System Informatics (2001)

  3. No Access

    Chapter and Conference Paper

    Constraint Programming Techniques for Solving Problems on Graphs

    In this paper we examine a technology for solving problems on graphs in the constraint programming framework called Subdefinite Models. We describe in brief the mechanism of constraint propagation underlying it. ...

    Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov in Perspectives of System Informatics (2000)

  4. No Access

    Chapter and Conference Paper

    NeMo+: Object-oriented constraint programming environment based on subdefinite models

    In this paper we examine a constraint programming environment NeMo+, which embraces a “C++ - based” technique. It includes a high-level object-oriented declarative language for specification of data types and con...

    Igor Shvetsov, Vitaly Telerman… in Principles and Practice of Constraint Prog… (1997)

  5. No Access

    Chapter and Conference Paper

    Problem solving in the object-oriented technological environment NeMo+

    We study the mechanism of subdefinite models and the object-oriented technological environment NeMo+ for constructing solvers based on subdefinite models. The paper presents the main features of NeMo+ and shows i...

    Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov in Perspectives of System Informatics (1996)

  6. No Access

    Chapter and Conference Paper

    Data types in subdefinite models

    We consider the mechanism of subdefinite models and the problem of representing data types in such models. A justification of the method of subdefinite models is given; various kinds of subdefinite extensions ...

    Vitaly Telerman, Dmitry Ushakov in Artificial Intelligence and Symbolic Mathe… (1996)

  7. No Access

    Chapter and Conference Paper

    Propagation of mathematical constraints in subdefinite models

    In the real world we almost always deal only with objects that possess such properties as incompleteness, imprecision, inconsistency, subdefinitess, etc. For this reason, the study of these properties and the ...

    … in Integrating Symbolic Mathematical Computation and Artificial Intelligence (1995)