450 search results - page 1 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
APAL
2004
13 years 5 months ago
2004
The classical Feferman
JCST
2010
13 years 2 days ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
ISCI
2010
13 years 3 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
LCC
1994
13 years 9 months ago
1994
We firstly survey several forms of Herbrand's theorem. What is commonly called "Herbrand's theorem" in many textbooks is actually a very simple form of Herbrand...
CIE
2010
Springer
13 years 10 months ago
2010
Springer
A useful theorem of Kuˇcera states that given a Martin-L¨of random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A...