4190 search results - page 246 / 838 » Type Class Directives |
116
click to vote
ENTER
2007
Springer
15 years 10 months ago
2007
Springer
The World Wide Web has become an important source of information for tourists planning their vacation. So, destination recommendation systems supporting users in their decision ma...
129
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Mobile TV services are now being offered in several countries, but for cost reasons, most of these services offer material directly recoded for mobile consumption (i.e. without ad...
140
Voted
ACL
2006
15 years 6 months ago
2006
Certain distinctions made in the lexicon of one language may be redundant when translating into another language. We quantify redundancy among source types by the similarity of th...
151
click to vote
IWMMDBMS
1998
15 years 5 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...
142
click to vote
LFP
1990
15 years 5 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...