10447 search results - page 1971 / 2090 » The Philosophy of Computer Science |
129
click to vote
BIRTHDAY
1991
Springer
15 years 8 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 ...
150
click to vote
COMPGEOM
1987
ACM
15 years 8 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...
185
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
181
click to vote
STOC
2010
ACM
15 years 8 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...
144
Voted
APGV
2010
ACM
15 years 8 months ago
2010
ACM
Spatial awareness is crucial for human performance efficiency of any task that entails perception of space. Memory of spaces is an imperfect reflection of the cognitive activity (...