1421 search results - page 36 / 285 » Satisfying KBO Constraints |
AI
2010
Springer
13 years 8 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
ASIAN
1998
Springer
14 years 10 days ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
GMP
2010
IEEE
13 years 10 months ago
2010
IEEE
When interpolating a network of curves to create a C1 surface from spline patches, the network has to satisfy an algebraic condition, called the vertex enclosure constraint. We sho...
ACL
1990
13 years 9 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...