Sciweavers

4178 search results - page 590 / 836
» Similarity Patterns in Language
Sort
View
ESOP
2008
Springer
15 years 8 months ago
Typing Safe Deallocation
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
Gérard Boudol
LREC
2010
258views Education» more  LREC 2010»
15 years 8 months ago
PolNet - Polish WordNet: Data and Tools
This paper presents the PolNet-Polish WordNet project which aims at building a linguistically oriented ontology for Polish compatible with other WordNet projects such as Princeton...
Zygmunt Vetulani, Marek Kubis, Tomasz Obrêbs...
LREC
2010
213views Education» more  LREC 2010»
15 years 8 months ago
Active Learning and Crowd-Sourcing for Machine Translation
In recent years, corpus based approaches to machine translation have become predominant, with Statistical Machine Translation (SMT) being the most actively progressing area. Succe...
Vamshi Ambati, Stephan Vogel, Jaime G. Carbonell
LREC
2010
107views Education» more  LREC 2010»
15 years 8 months ago
Identifying Paraphrases between Technical and Lay Corpora
In previous work, we presented a preliminary study to identify paraphrases between technical and lay discourse types from medical corpora dedicated to the French language. In this...
Louise Deléger, Pierre Zweigenbaum
VAMOS
2010
Springer
15 years 8 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...