2920 search results - page 102 / 584 » Finite information logic |
AUTOMATICA
2010
13 years 11 months ago
2010
This paper proposes a new second order sliding mode output feedback controller. This latter is developped in the case of finite sampling frequency and is using only output informa...
NAACL
2010
13 years 9 months ago
2010
We address the problem of formatting the output of an automatic speech recognition (ASR) system for readability, while preserving wordlevel timing information of the transcript. O...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
IGPL
2011
13 years 6 months ago
2011
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
EATCS
2000
13 years 11 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...