2920 search results - page 102 / 584 » Finite information logic |
103
click to vote
AUTOMATICA
2010
15 years 24 days 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...
141
Voted
NAACL
2010
14 years 10 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...
117
Voted
ATAL
2009
Springer
15 years 7 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...
118
Voted
IGPL
2011
14 years 7 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...
75
Voted
EATCS
2000
15 years 15 days 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...