1581 search results - page 46 / 317 » Mechanizing Inductive Reasoning |
121
Voted
ICFP
2005
ACM
15 years 8 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
130
Voted
VL
1999
IEEE
15 years 6 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
97
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
107
click to vote
MLDM
2001
Springer
15 years 7 months ago
2001
Springer
Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications . . . . . . . . . . . . . . . . . 23 R. Schmidt and L. Gierl Are Case-Based Reasoning and...
118
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...