5064 search results - page 877 / 1013 » Web Information Management System: Personalization and Gener... |
212
click to vote
TLDI
2005
ACM
16 years 15 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
170
Voted
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
It is envisaged that services and applications will migrate to a cloud-computing paradigm where thin-clients on userdevices access, over the network, applications hosted in data c...
208
click to vote
MLMI
2007
Springer
16 years 1 months ago
2007
Springer
The PASCAL Speech Separation Challenge (SSC) is based on a corpus of sentences from the Wall Street Journal task read by two speakers simultaneously and captured with two circular ...
186
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
Critiquing-based recommenders do not require users to state all of their preferences upfront or rate a set of previously experienced products. Compared to other types of recommend...
184
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...