971 search results - page 22 / 195 » Approximate Satisfiability and Equivalence |
CAGD
2007
13 years 9 months ago
2007
All normalized totally positive bases satisfy the progressive iterative approximation property. The normalized B-basis has optimal shape preserving properties and we prove that it...
ECCC
2006
13 years 10 months ago
2006
In this note we present an approximation algorithm for MAX 2SAT that given a (1 - ) satisfiable instance finds an assignment of variables satisfying a 1 - O( ) fraction of all co...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
RSFDGRC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a rough set approach to vague concept approximation within the adaptive learning framework. In particular, the role of extensions of approximation spaces in se...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...