4698 search results - page 199 / 940 » Making Functionality More General |
176
click to vote
SIAMCOMP
2010
15 years 2 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...
108
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
113
Voted
ACTA
2004
15 years 3 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
144
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
130
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...