2162 search results - page 174 / 433 » Automated Reasoning on Feature Models |
151
click to vote
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
172
click to vote
CL
2000
Springer
15 years 4 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...
113
click to vote
CSL
2000
Springer
15 years 4 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...
120
click to vote
GIS
2000
ACM
15 years 4 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...
137
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...