315 search results - page 17 / 63 » Reasoning about Assignments in Recursive Data Structures |
150
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
147
click to vote
EWCBR
1994
Springer
15 years 10 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
181
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
209
click to vote
CKEC
1991
15 years 9 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
185
click to vote
FOSSACS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...