230 search results - page 5 / 46 » Continuations and transducer composition |
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
DLT
2006
13 years 11 months ago
2006
We introduce -synchronous relations for a rational number . We show that if a rational relation is both - and -synchronous for two different numbers and , then it is recognizab...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In the Weighted Finite State Transducer (WFST) framework for speech recognition, we can reduce memory usage and increase flexibility by using on-the-fly composition which genera...
ICWS
2007
IEEE
13 years 11 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
XIMEP
2004
ACM
14 years 3 months ago
2004
ACM
Most current XQuery implementations require that all XML data reside in memory in one form or another before they start processing the data. This is unacceptable for large XML doc...