1229 search results - page 19 / 246 » Associated type synonyms |
114
Voted
JCDL
2010
ACM
14 years 11 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...
192
click to vote
TPHOL
2009
IEEE
15 years 8 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...
87
Voted
TFS
2010
14 years 8 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...
120
click to vote
EWCBR
2008
Springer
15 years 3 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...
108
Voted
SIGSOFT
2004
ACM
15 years 7 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...