3914 search results - page 372 / 783 » Automating SLA modeling |
204
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
150
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
164
click to vote
GIS
2000
ACM
15 years 6 months ago
2000
ACM
The GIS literature abounds with strategies to guide the development of a corporate GIS as a single project but lacks discussion on the long term management of the GIS. This paper d...
150
click to vote
MT
1998
15 years 6 months ago
1998
We present a quantitative evaluation of one well-known word alignment algorithm, as well as an analysis of frequent errors in terms of this model's underlying assumptions. De...
184
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...