11066 search results - page 292 / 2214 » Linearity in Process Languages |
148
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
226
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
133
click to vote
ANLP
1994
15 years 6 months ago
1994
We report on the results of a series of experiments with a prototype text retrieval system which uses relatively advanced natural language processing techniques in order to enhanc...
119
Voted
ACTA
2010
15 years 5 months ago
2010
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...
135
click to vote
CISIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...