866 search results - page 156 / 174 » A Formal Investigation of |
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...
101
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
The impact of interruptions on workflow and productivity has been extensively studied in the PC domain, but while fragmented user attention is recognized as an inherent aspect of ...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
CT Cellphones have the potential to improve education for the millions of underprivileged users in the developing world. However, mobile learning in developing countries remains un...
MSWIM
2009
ACM
15 years 6 months ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...