643 search results - page 36 / 129 » Parsing And Derivational Equivalence |
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
117
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
The Web of Linked Data is characterized by linking structured data from different sources using equivalence statements, such as owl:sameAs, as well as other types of linked propert...
131
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
145
click to vote
LREC
2008
2008
Building a Bilingual Representation of the Roget Thesaurus for French to English Machine Translation
15 years 2 months ago
This paper describes a solution to lexical transfer as a trade-off between a dictionary and an ontology. It shows its association to a translation tool based on morpho-syntactical...
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...