6456 search results - page 271 / 1292 » Constraint Solving on Terms |
157
click to vote
JFP
2007
15 years 6 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
194
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
143
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
It has been shown that large gains in speech intelligibility can be obtained by using the binary mask approach which retains the time-frequency (T-F) units of the mixture signal t...
168
click to vote
JMLR
2010
15 years 1 months ago
2010
We study the problem of learning an optimal Bayesian network in a constrained search space; skeletons are compelled to be subgraphs of a given undirected graph called the super-st...
195
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...