13841 search results - page 129 / 2769 » Algorithms and Constraint Programming |
135
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
163
click to vote
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
188
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
148
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distribut...
151
click to vote
TIT
2011
15 years 1 months ago
2011
—The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distri...