3342 search results - page 297 / 669 » Automating Abstract Interpretation |
121
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
131
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
141
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We show how case bases can be compiled into Decision Diagrams, which represent the cases with reduced redundancy. Numerous computations can be performed efficiently on th...
144
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
138
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...