Sciweavers

3827 search results - page 113 / 766
» The Epsilon Generation Language
Sort
View
148
Voted
TAL
2010
Springer
14 years 11 months ago
Transliteration as Alignment vs. Transliteration as Generation for Crosslingual Information Retrieval
Crosslingual Information Retrieval (CLIR) usually requires query translation and, due to named entities in the case of IR, query translation requires a good transliteration system ...
Anil Kumar Singh, Sethuramalingam Subramaniam, Tar...
CAISE
2005
Springer
15 years 10 months ago
A General Approach to the Generation of Conceptual Model Transformations
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
Nikolaos Rizopoulos, Peter McBrien
139
Voted
SEKE
2005
Springer
15 years 10 months ago
Generating Properties for Runtime Monitoring from Software Specification Patterns
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, O...
133
Voted
AINA
2004
IEEE
15 years 8 months ago
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
Davide Pozza, Riccardo Sisto, Luca Durante
121
Voted
COLING
2008
15 years 6 months ago
Automatic Generation of Parallel Treebanks
The need for syntactically annotated data for use in natural language processing has increased dramatically in recent years. This is true especially for parallel treebanks, of whi...
Ventsislav Zhechev, Andy Way