1496 search results - page 200 / 300 » Introducing Speech and Language Processing |
129
click to vote
SCCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
116
click to vote
WIA
2007
Springer
15 years 10 months ago
2007
Springer
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 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...
121
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
113
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...