9162 search results - page 382 / 1833 » System and User Data Complexity |
156
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
159
click to vote
GW
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...
133
click to vote
HCI
2007
15 years 6 months ago
2007
The increasing variety of user device technologies has raised the necessity for ubiquitous content provision, which is characterized by “intelligent” content delivery to end us...
113
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
Tagging systems allow users to interactively annotate a pool of shared resources using descriptive tags. As tagging systems are gaining in popularity, they become more susceptible...
196
click to vote
ICDE
2012
IEEE
13 years 7 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...