971 search results - page 5 / 195 » Approximate Satisfiability and Equivalence |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Finding approximate Nash equilibria in n × n bimatrix games is currently one of the main open problems in algorithmic game theory. Motivated in part by the lack of progress on wo...
KDD
2004
ACM
14 years 10 months ago
2004
ACM
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Recently four non-iterative algorithms for simultaneous low rank approximations of matrices (SLRAM) have been presented by several researchers. In this paper, we show that those a...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
EVOW
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...