151 search results - page 3 / 31 » Optimal Acceptors and Optimal Proof Systems |
101
click to vote
CSR
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
STACS
1998
Springer
15 years 5 months ago
1998
Springer
STACS
2010
Springer
15 years 8 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
103
click to vote
PR
2007
15 years 22 days ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
109
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...