5624 search results - page 430 / 1125 » On Conditional Covering Problem |
175
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
188
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
149
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
In this work, our primary focus is to determine the intersections that exist between the family of QL-implications and the families of (S, N)- and R-implications. Toward this end,...
181
click to vote
NIPS
2008
15 years 8 months ago
2008
This paper addresses the problem of sparsity pattern detection for unknown ksparse n-dimensional signals observed through m noisy, random linear measurements. Sparsity pattern rec...
165
click to vote
PTS
2008
15 years 8 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...