1403 search results - page 40 / 281 » About Approximations of Exponentials |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
APAL
2005
14 years 11 months ago
2005
We introduce a generalization of Independence Friendly (IF) logic in which Eloise (the player) is restricted to a finite amount of information about Abelard's ('s) move...
PSIVT
2009
Springer
15 years 3 months ago
2009
Springer
This paper approximates ground truth for real-world stereo sequences and demonstrates its use for the performance analysis of a few selected stereo matching and optical flow techn...
JDA
2006
14 years 11 months ago
2006
We prove that the pathwidth of Halin graphs can be 3-approximated in linear time. Our approximation algorithms is based on a combinatorial result about respectful edge orderings o...
60
Voted
MOC
1998
14 years 10 months ago
1998
Abstract. A systematic development of higher order spectral analysis, introduced by Dellwo and Friedman, is undertaken in the framework of an appropriate product space. Accelerated...