1229 search results - page 19 / 246 » Associated type synonyms |
JCDL
2010
ACM
14 years 9 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...
162
click to vote
TPHOL
2009
IEEE
15 years 6 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
14 years 6 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
15 years 1 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...
SIGSOFT
2004
ACM
15 years 5 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...