CSL
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
CSL
2006
Springer
14 years 3 months ago
2006
Springer
FLOPS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
FLOPS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
FLOPS
2004
Springer
14 years 3 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
2004
Springer
14 years 3 months ago
2004
Springer
The concept of generalized cases has been proven useful when searching for configurable and flexible products, for instance, reusable components in the area of electronic design au...
EWCBR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. A CBR system needs a good case retention strategy to decide which cases to incorporate into the case base in order to maximize the performance of the system. In this work...
EWCBR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
EWCBR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Collaborative Web Search (CWS) proposes a case-based approach to personalizing search results for the needs of a community of like-minded searchers. The search activities...
DEON
2004
Springer
14 years 3 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...