4117 search results - page 612 / 824 » On the Satisfiability of Complex Constraints |
141
click to vote
EVOW
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We demonstrate how a genetic algorithm solves the problem of minimizing the resources used for network coding, subject to a throughput constraint, in a multicast scenario...
162
click to vote
GSEM
2007
Springer
16 years 25 days ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
160
click to vote
ICA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper deals with the problem of estimating atrial activity during atrial fibrillation periods in the electrocardiogram (ECG). Since the signal of interest differs ...
180
click to vote
ISAAC
2007
Springer
16 years 24 days ago
2007
Springer
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
172
click to vote
MATES
2007
Springer
16 years 24 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...