1275 search results - page 172 / 255 » time 1998 |
KR
1998
Springer
14 years 1 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
MASCOTS
1998
13 years 10 months ago
1998
Self-managing systems able to dynamically re-configure with respect to time-varying workload mixes and changing system resource availability are of growing importance in heterogen...
TKDE
1998
13 years 8 months ago
1998
—We investigate the problem of retrieving similar shapes from a large database; in particular, we focus on medical tumor shapes (“Find tumors that are similar to a given patter...
CSMR
1998
IEEE
14 years 1 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
PEPM
1998
ACM
14 years 1 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...