Sciweavers

4178 search results - page 269 / 836
» Similarity Patterns in Language
Sort
View
LREC
2010
151views Education» more  LREC 2010»
15 years 8 months ago
Training Parsers on Partial Trees: A Cross-language Comparison
We present a study that compares data-driven dependency parsers obtained by means of annotation projection between language pairs of varying structural similarity. We show how the...
Kathrin Spreyer, Lilja Øvrelid, Jonas Kuhn
ICCS
2010
Springer
15 years 5 months ago
Translations between RDF(S) and Conceptual Graphs
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
Jean-François Baget, Madalina Croitoru, Ala...
JAR
2010
108views more  JAR 2010»
15 years 5 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
ICFP
2005
ACM
16 years 6 months ago
PolyAML: a polymorphic aspect-oriented functional programming language
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
Daniel S. Dantas, David Walker, Geoffrey Washburn,...
ECOOPW
2008
Springer
15 years 8 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...