860 search results - page 74 / 172 » A Process Algebra Based Verification of a Production System |
98
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
We demonstrate the production of spoken output with contextually appropriate intonation in the information-state based dialogue system GoDiS. We exploit the context representation...
130
click to vote
JUCS
2006
15 years 3 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
146
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
130
click to vote
MMS
2008
15 years 3 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
111
Voted
CCE
2005
15 years 3 months ago
2005
The analysis of historical process data of technological systems plays important role in process monitoring, modelling and control. Time-series segmentation algorithms are often u...