| slovo | definícia |
constraint
(mass) | constraint
- obmedzenie |
constraint
(encz) | constraint,donucení n: Zdeněk Brož |
constraint
(encz) | constraint,nátlak n: Zdeněk Brož |
constraint
(encz) | constraint,omezení n: Zdeněk Brož |
constraint
(encz) | constraint,přinucení n: Zdeněk Brož |
constraint
(encz) | constraint,rozpaky Zdeněk Brož |
constraint
(encz) | constraint,sebeovládání parkmaj |
constraint
(encz) | constraint,stísněnost parkmaj |
constraint
(encz) | constraint,zdrženlivost n: Zdeněk Brož |
Constraint
(gcide) | Constraint \Con*straint"\, n. [OF. constrainte, F. constrainte.]
The act of constraining, or the state of being constrained;
that which compels to, or restrains from, action; compulsion;
restraint; necessity.
[1913 Webster]
Long imprisonment and hard constraint. --Spenser.
[1913 Webster]
Not by constraint, but by my choice, I came. --Dryden.
Syn: Compulsion; violence; necessity; urgency.
Usage: Constraint, Compulsion. Constraint implies strong
binding force; as, the constraint of necessity; the
constraint of fear. Compulsion implies the exertion of
some urgent impelling force; as, driven by compulsion.
The former prevents us from acting agreeably to our
wishes; the latter forces us to act contrary to our
will. Compulsion is always produced by some active
agent; a constraint may be laid upon us by the forms
of civil society, or by other outward circumstances.
--Crabb.
[1913 Webster] |
constraint
(wn) | constraint
n 1: the state of being physically constrained; "dogs should be
kept under restraint" [syn: constraint, restraint]
2: a device that retards something's motion; "the car did not
have proper restraints fitted" [syn: restraint,
constraint]
3: the act of constraining; the threat or use of force to
control the thoughts or behavior of others |
constraint
(foldoc) | constraint
A Boolean relation, often an
equality or ineqality relation, between the values of one or
more mathematical variables. E.g. x>3 is a constraint on x.
The process of constraint satisfaction attempts to assign values
to variables so that all constraints are true.
Usenet newsgroup: news:comp.constraints. {FAQ
(http://cs.unh.edu/ccc/archive/)}.
(2002-06-08)
|
CONSTRAINT
(bouvier) | CONSTRAINT. In the civil and Scottish law, by this term is understood what,
in the common law, is known by the name of duress.
2. It is a general rule, that when one is compelled into a contract,
there is no effectual consent, though, ostensibly, there is the form of it.
In such case the contract will be declared void.
3. The constraint requisite thus to annul a contract, must be a vis aut
me us qui cadet in constantem virum, such as would shake a man of firmness
and resolution. 3 Ersk. 1, Sec. 16; and 4, 1, Sec. 26; 1 Bell's Conn. B. 3,
part 1, o. 1, s. 1, art. 1, page 295.
|
| | podobné slovo | definícia |
unconstraint
(mass) | unconstraint
- bezohľadnosť, svojvoľnosť |
bankruptcy constraint
(encz) | bankruptcy constraint,omezení bankrotem [eko.] RNDr. Pavel Piskač |
budget constraint
(encz) | budget constraint,rozpočtové omezení Mgr. Dita Gálová |
constraints
(encz) | constraints,omezení n: pl. Zdeněk Brožconstraints,zábrany n: pl. Zdeněk Brož |
unconstraint
(encz) | unconstraint, n: |
Constraint
(gcide) | Constraint \Con*straint"\, n. [OF. constrainte, F. constrainte.]
The act of constraining, or the state of being constrained;
that which compels to, or restrains from, action; compulsion;
restraint; necessity.
[1913 Webster]
Long imprisonment and hard constraint. --Spenser.
[1913 Webster]
Not by constraint, but by my choice, I came. --Dryden.
Syn: Compulsion; violence; necessity; urgency.
Usage: Constraint, Compulsion. Constraint implies strong
binding force; as, the constraint of necessity; the
constraint of fear. Compulsion implies the exertion of
some urgent impelling force; as, driven by compulsion.
The former prevents us from acting agreeably to our
wishes; the latter forces us to act contrary to our
will. Compulsion is always produced by some active
agent; a constraint may be laid upon us by the forms
of civil society, or by other outward circumstances.
--Crabb.
[1913 Webster] |
Constraintive
(gcide) | Constraintive \Con*straint"ive\, a.
Constraining; compulsory. [R.] "Any constraintive vow." --R.
Carew.
[1913 Webster] |
Unconstraint
(gcide) | Unconstraint \Un`con*straint"\, n.
Freedom from constraint; ease. --Felton.
[1913 Webster] |
unconstraint
(wn) | unconstraint
n 1: the trait of lacking restraint or control; reckless freedom
from inhibition or worry; "she danced with abandon" [syn:
abandon, wantonness, unconstraint] |
concurrent constraint programming
(foldoc) | Concurrent Constraint Programming
(CCP) Not a language, but a general approach.
[Details?]
(2001-11-01)
|
constraint functional programming
(foldoc) | constraint functional programming
(CFP) functional programming plus constraints.
(2002-06-08)
|
constraint handling in prolog
(foldoc) | Constraint Handling In Prolog
(CHIP) A constraint logic programming language
developed by M. Dincbas at ECRC, Munich, Germany in 1985 which
includes Boolean unification and a symbolic simplex-like
algorithm. CHIP introduced the domain-variable model.
["The Constraint Logic Programming Language CHIP", M. Dincbas
et al, Proc 2nd Intl Conf on Fifth Generation Computer Sys,
Tokyo (Nov 1988), pp.249-264].
["Constraint Satisfaction in Logic Programming", Van
Hentenryck. Available from COSYTEC, 4 rue Jean Rostand,
F91893 Orsay, France].
(1994-11-15)
|
constraint logic programming
(foldoc) | Constraint Logic Programming
(CLP) A programming framework based (like Prolog)
on LUSH (or SLD) resolution, but in which unification has
been replaced by a constraint solver. A CLP interpreter
contains a Prolog-like inference engine and an {incremental
constraint solver}. The engine sends constraints to the solver
one at a time. If the new constraint is consistent with the
collected constraints it will be added to the set. If it is
inconsistent, it will cause the engine to backtrack.
CLP* is a variant.
["Constraint Logic Programming", J. Jaffar et al, 14th POPL,
ACM 1987].
(1994-11-01)
|
constraint satisfaction
(foldoc) | constraint satisfaction
The process of assigning values to variables while
meeting certain requirements or "constraints". For example, in
graph colouring, a node is a variable, the colour assigned to it
is its value and a link between two nodes represents the
constraint that those two nodes must not be assigned the same
colour. In scheduling, constraints apply to such variables as
the starting and ending times for tasks.
The Simplex method is one well known technique for solving
numerical constraints.
The search difficulty of constraint satisfaction problems can be
determined on average from knowledge of easily computed structural
properties of the problems. In fact, hard instances of
NP-complete problems are concentrated near an abrupt transition
between under- and over-constrained problems. This transition is
analogous to phase transitions in physical systems and offers a
way to estimate the likely difficulty of a constraint problem
before attempting to solve it with search.
{Phase transitions in search
(ftp://parcftp.xerox.com/pub/dynamics/constraints.html)} (Tad
Hogg, XEROX PARC).
(1995-02-15)
|
constraintlisp
(foldoc) | ConstraintLisp
An object-oriented constraint language based on
CSP. An extension of Common Lisp and CLOS.
["ConstraintLisp: An Object-Oriented Constraint Programming
Language", Bing Liu (ex bing@iti.gov.sg) et al, SIGPLAN
Notices 27(11):17-26, Nov 1992].
(2000-04-02)
|
constraints
(foldoc) | CONSTRAINTS
A programming language for solving constraints
using value inference.
["CONSTRAINTS: A Language for Expressing Almost-Hierarchical
Descriptions", G.J. Sussman et al, Artif Intell 14(1):1-39, Aug
1980].
(1994-11-01)
|
definitional constraint programming
(foldoc) | definitional constraint programming
DCP
(DCP) A declarative, programming paradigm which
integrates concurrent constraint programming, {constraint
logic programming} and functional programming. In this
setting a concurrent constraint language becomes a
coordination system that organises the concurrent interaction
of parallel functional computations. The language is also a
generalisation of parallel functional programming languages,
such as Id, where constraints and constraint abstractions
are reused to define new constraints, as the means of
programming logical variables for parallel coordination.
Goffin is a DCP language.
(1995-03-28)
|
incremental constraint solver
(foldoc) | incremental constraint solver
A system in which a constraint solver is given constraints
one at a time by an inference engine (as is found in
Prolog). The solver adds the new constraint to an initially
empty set of solved constraints. If the new constraint is
consistent with the solved constraints it will be added to the
set. If it was inconsistent, the inference engine
backtracks. This is the basis of {Constraint Logic
Programming}.
(1994-11-01)
|
integrity constraint
(foldoc) | integrity constraint
A constraint (rule) that must remain true for a
database to preserve data integrity. Integrity
constraints are specified at database creation time and
enforced by the database management system.
Examples from a genealogical database would be that every
individual must be their parent's child or that they can have
no more than two natural parents.
(1995-11-11)
|
object constraint language
(foldoc) | Object Constraint Language
(OCL) A formal specification language extension to
UML. The Object Constraint Language is a precise text
language that provides constraint and object query
expressions on an object-oriented model that cannot
otherwise be expressed by diagrammatic notation.
OCL supplements UML by providing expressions that have neither
the ambiguities of natural language nor the inherent
difficulty of using complex mathematics.
OCL is a descendent of Syntropy, a second-generation
object-oriented analysis and design method. The OCL 1.4
definition specified a constraint language. In OCL 2.0, the
definition has been extended to include general object query
language definitions.
OMG UML Home (http://uml.org/).
{Rational UML Resource Center
(http://rational.com/uml/index.jsp)}.
{OCL 2.0 Submission to UML
(http://omg.org/docs/ad/03-01-07.pdf)}.
(2003-11-15)
|
CONSTRAINT
(bouvier) | CONSTRAINT. In the civil and Scottish law, by this term is understood what,
in the common law, is known by the name of duress.
2. It is a general rule, that when one is compelled into a contract,
there is no effectual consent, though, ostensibly, there is the form of it.
In such case the contract will be declared void.
3. The constraint requisite thus to annul a contract, must be a vis aut
me us qui cadet in constantem virum, such as would shake a man of firmness
and resolution. 3 Ersk. 1, Sec. 16; and 4, 1, Sec. 26; 1 Bell's Conn. B. 3,
part 1, o. 1, s. 1, art. 1, page 295.
|
|