12519 search results - page 2278 / 2504 » Approximation Problems Categories |
133
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
150
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
This study examines the usability challenges faced by new players of massively multiplayer online role-playing games (MMORPGs), one of the fastest-growing segments of the video ga...
242
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
274
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
236
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...