863 search results - page 64 / 173 » The Light Bulb Problem |
106
click to vote
IIE
2008
15 years 3 months ago
2008
In many occasions, the text describing an algorithmic task may entail a rather intuitive, operational solution scheme. Yet, such a scheme may not necessarily be efficient or correc...
AUTOMATICA
2002
15 years 3 months ago
2002
In this note, the problem of minimal-order stabilization in the case where the plant is minimum phase is studied. A low bound on the order of stabilizers is derived and a set of m...
114
click to vote
CI
1998
15 years 2 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
110
click to vote
APAL
1999
15 years 2 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
101
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
In light of the serious problems with both illiteracy and information access in the developing world, there is a widespread belief that speech technology can play a significant ro...