2465 search results - page 62 / 493 » Automata on Linear Orderings |
ENTCS
2006
13 years 7 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Upcoming multi antenna systems such as 3GPPLTE employ code book based multi-mode precoding in order to adapt to a wide range of channel conditions. Link adaptation, which...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
FSMNLP
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Active language learning is an interesting task for which theoretical results are known and several applications exist. In order to better understand what the better stra...