3044 search results - page 75 / 609 » Linear logical approximations |
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
ESANN
2006
13 years 10 months ago
2006
Abstract. We present the OnlineDoubleMaxMinOver approach to obtain the Support Vectors in two class classification problems. With its linear time complexity and linear convergence ...
JCAM
2010
13 years 3 months ago
2010
Linear interpolatory subdivision schemes of Cr smoothness have
EUSFLAT
2009
2009
Continuity and Additivity of the Trapezoidal Approximation Preserving the Expected Interval Operator
13 years 6 months ago
Abstract-- The nearest trapezoidal fuzzy number to a fuzzy number, with respect to a well-known metric and preserving the expected interval, was determined in recent articles. In t...