3009 search results - page 102 / 602 » The Expressive Rate of Constraints |
173
click to vote
CPAIOR
2007
Springer
16 years 15 days ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
150
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
161
click to vote
ACOM
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes the use of coherence constraints as a means to regulate agent interaction. Coherence constraints describe relationships between the content of utterances, and ...
165
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
184
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...