2062 search results - page 196 / 413 » Derivatives of Logical Formulas |
177
click to vote
ISMVL
2007
IEEE
16 years 25 days 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...
157
click to vote
ISCIS
2005
Springer
16 years 1 days 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...
189
click to vote
ISIPTA
2003
IEEE
15 years 11 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...
137
click to vote
ISCAS
2002
IEEE
15 years 11 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...
186
click to vote
ICCAD
1998
IEEE
15 years 10 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 ...