2062 search results - page 196 / 413 » Derivatives of Logical Formulas |
147
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
122
click to vote
ISCIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
152
click to vote
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper the judgement consisting in choosing a function that is believed to dominate the true probability distribution of a continuous random variable is explored. This kind...
108
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
The problem of a useful electrical power quantification in environments with power quality problems is discussed. As it is difficult to correctly apply a Fourier-based approach, a...
156
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
We lay out a theoretical framework to evaluate watermarking techniques for intellectual property protection (IPP). Based on this framework, we analyze two watermarking techniques ...