3342 search results - page 301 / 669 » Automating Abstract Interpretation |
141
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
132
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
128
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...
144
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
129
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...