439 search results - page 57 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
FLOPS
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
EWCBR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...
CSL
2010
Springer
14 years 10 months ago
2010
Springer
In the present work we study the appropriateness of a number of linear and non-linear regression methods, employed on the task of speech segmentation, for combining multiple phone...
CSL
2006
Springer
14 years 9 months ago
2006
Springer
The use of quality information for multilevel speaker recognition systems is addressed in this contribution. From a definition of what constitutes a quality measure, two applicati...
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Case retrieval is an important problem in several commercially signi cant application areas, such as industrial con guration and manufacturing problems. In this paper we ...