2062 search results - page 167 / 413 » Derivatives of Logical Formulas |
119
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
100
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Fourier series expansion is used to explore the relationship between the coefficients of halfband lowpass and general bandpass FIR digital filters. This relationship is used to de...
123
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
111
click to vote
IJCAI
1997
15 years 5 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
116
click to vote
EJC
2010
15 years 4 months ago
2010
A classical result of Euler states that the tangent numbers are an alternating sum of Eulerian numbers. A dual result of Roselle states that the secant numbers can be obtained by a...