472 search results - page 8 / 95 » Limiting Negations in Formulas |
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— We study the problem of determining the minimum number of limited range wavelength converters needed to construct strictly, wide-sense, and rearrangeably nonblocking optical cr...
AAAI
1994
13 years 9 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The paper formulates and solves the problem of optimizing power flows in polyphase systems with significant source (line) impedance. We present two fundamental performance bo...
CPHYSICS
2010
13 years 8 months ago
2010
We propose a new method for the numerical evaluation of the spherical Bessel transform. A formula is derived for the transform by using an integral representation of the spherical...