10271 search results - page 1995 / 2055 » Computer Science |
103
Voted
BIRTHDAY
1991
Springer
15 years 5 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
122
click to vote
COMPGEOM
1987
ACM
15 years 5 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...
154
Voted
STOC
2010
ACM
15 years 5 months ago
2010
ACM
We study the problem of "privacy amplification": key agreement between two parties who both know a weak secret w, such as a password. (Such a setting is ubiquitous on th...
109
Voted
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
100
Voted
ACMACE
2008
ACM
15 years 4 months ago
2008
ACM
This work challenges the conventional art experience. It brings together the fields of art, science, and software integration. The goal was to create a new kind of painting based ...