8337 search results - page 275 / 1668 » Reasoning With Characteristic Models |
189
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
183
click to vote
ICCBR
2003
Springer
15 years 12 months ago
2003
Springer
Case-based reasoning is a flexible methodology to manage software development related tasks. However, when the reasoner’s task is prediction, there are a number of different CBR ...
190
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
179
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
150
click to vote
IMAGING
2004
15 years 8 months ago
2004
In this study, the problem of updating a printer characterization in response to systematic changes in print-device characteristics is addressed with two distinct approaches: the ...