3342 search results - page 296 / 669 » Automating Abstract Interpretation |
134
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
124
click to vote
EWCBR
2004
Springer
15 years 7 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...
110
click to vote
EWCBR
2004
Springer
15 years 7 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...
123
click to vote
FLOPS
2004
Springer
15 years 7 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...
117
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a CBR approach to musical playlist recommendation. A good playlist is not merely a bunch of songs, but a selected collection of songs, arranged in a meaningful...