3605 search results - page 56 / 721 » Associated types with class |
FLOPS
1999
Springer
13 years 12 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
JCDL
2010
ACM
13 years 5 months ago
2010
ACM
Personalization of information retrieval tailors search towards individual users to meet their particular information needs by taking into account information about users and thei...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
TFS
2010
13 years 2 months ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
EWCBR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...