102291 search results - page 20413 / 20459 » Computability in Computational Geometry |
PODS
2011
ACM
13 years 1 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
POPL
2011
ACM
13 years 1 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
PPL
2011
13 years 1 months ago
2011
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today ...
TMC
2011
13 years 5 months ago
2011
—Monitoring personal locations with a potentially untrusted server poses privacy threats to the monitored individuals. To this end, we propose a privacy-preserving location monit...
GIS
2006
ACM
13 years 11 months ago
2006
ACM
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desir...