Filters
Show more
Show more
Show more
Show more
Show more
Show more
Show more
Show more
More filters
Results
Dynamic Global Constraints in Constraint Logic Programming
Dynamic Global Constraints in Constraint Logic Programming...
JC - Počítačový hardware a software
- 2001 •
- Vx
Rok uplatnění
Vx - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
Book Review: Constraint Processing, Handbook of Constraint Programming
Book Review: Constraint Processing, Handbook of Constraint Programming...
JC - Počítačový hardware a software
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Practical Constraints: A Tutorial on Modelling with Constraints.
A tutorial on modelling constraint satisfaction problems.
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
On the nonholonomic variational principle
A variational principle for the first order mechanical systems subjected to general nonholonomic constraints is presented, providing the (reduced) nonholonomic motion equations in a form of constraint Euler--Lagrange equations....
BA - Obecná matematika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Constraint Lepage one forms in higher order mechanics with nonholonomic constraints on the dynamical space
to nonholonomic constraints of an arbitrary order has been proposed in Ref. 1. In this paper we study the simplest case, when nonholonomic constraints are of order s ? 1, s proceeds. Analogously as in the case of first order co...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Locally consistent constraint satisfaction problems with binary constraints
We study locally consistent constraint satisfaction problems with binary constraints and show their close relationship to the notion of homomorphism tree duals....
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Partial differential equations with differential constraints
manifolds with n-dimensional bases is proposed. Constraints given as submanifolds of jet constraints are modelled as exterior differential systems defined on constraint differential constraints are considered. Dif...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Horizontal and contact forms on constraint manifolds
Differential forms on constraint submanifolds of jet bundles are investigated. The horizontalization and contactization operators are generalized, and canonical decomposition of forms, arising due to the existence of the constraint ...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
University Course Timetabling with Soft Constraints
An extension of constraint logic programming that allows for weighted partial satisfaction of soft constraints is described and applied to the development of an automated timetabling system for Purdue University. The soft constr...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Soft CLP(FD)
Over-constrained problems can be solved with the help of soft constraints. Weighted constraints are a typical representation of soft constraints used to minimize weights of unsatisfied constraints. A natural extens...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 6 332