2917 search results - page 34 / 584 » Satisfying Interaction Constraints |
CHI
2007
ACM
16 years 2 months ago
2007
ACM
110
click to vote
AI
2010
Springer
15 years 2 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...
121
click to vote
ASIAN
1998
Springer
15 years 6 months 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...
118
click to vote
GMP
2010
IEEE
15 years 3 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...
134
click to vote
ACL
1990
15 years 3 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...