2032 search results - page 9 / 407 » Encodings of the Sequence Constraint |
SCL
2008
14 years 11 months ago
2008
We introduce a new class of dynamic encoders for continuous-time nonlinear control systems which update their parameters only at discrete times. We prove that the information reco...
184
Voted
ICLP
2009
Springer
16 years 12 days ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
CPAIOR
2007
Springer
15 years 6 months 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...
IJON
2006
14 years 11 months ago
2006
72
Voted
TIT
2008
14 years 11 months ago
2008
Abstract-- We study coding schemes which encode unconstrained sequences into run-length-limited (d, k)-constrained sequences. We present a general framework for the construction of...