2944 search results - page 265 / 589 » On Well Quasi-orders on Languages |
137
click to vote
IPL
2008
15 years 6 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
168
Voted
JSW
2008
15 years 6 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
158
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
183
click to vote
JODS
2006
15 years 6 months ago
2006
Abstract. We study the exchange of information in collective information systems mediated by information agents, focusing specifically on the problem of semantic interoperability. ...