230 search results - page 7 / 46 » Continuations and transducer composition |
FOSSACS
2012
Springer
12 years 5 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
High-frequency ultrasound transducers are being widely used to generate high resolution, real time, cross-sectional images of the coronary arteries. In this paper, we present a ro...
BPM
2007
Springer
14 years 4 months ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
CLEIEJ
2006
13 years 9 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
EMNLP
2008
13 years 11 months ago
2008
To improve the Mandarin large vocabulary continuous speech recognition (LVCSR), a unified framework based approach is introduced to exploit multi-level linguistic knowledge. In th...