2162 search results - page 26 / 433 » Automated Reasoning on Feature Models |
RR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
CSL
2007
Springer
14 years 11 months ago
2007
Springer
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
CAEPIA
2003
Springer
15 years 3 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
CSL
2007
Springer
14 years 11 months ago
2007
Springer
Determining the position of breaks in a sentence is a key task for a text-to-speech (TTS) system. We describe some methods for phrase break prediction in which the whole sentence ...
KR
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...