7529 search results - page 211 / 1506 » The Modula-3 Type System |
181
click to vote
ENTCS
2011
15 years 1 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
242
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
The LMS plays a decisive role in most eLearning environments. Although they integrate many useful tools for managing eLearning activities, they must also be effectively integrated ...
229
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper proposes LARS, a location-aware recommender system that uses location-based ratings to produce recommendations. Traditional recommender systems do not conside...
205
click to vote
HPDC
2012
IEEE
13 years 9 months ago
2012
IEEE
Many storage systems are shared by multiple clients with different types of workloads and performance targets. To achieve performance targets without over-provisioning, a system ...
178
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...