7988 search results - page 1344 / 1598 » A Useful Undecidable Theory |
163
Voted
STOC
2005
ACM
15 years 10 months ago
2005
ACM
A dynamic geometric data stream consists of a sequence of m insert/delete operations of points from the discrete space {1, . . . , ∆}d [26]. We develop streaming (1 + )-approxim...
170
Voted
STOC
2012
ACM
13 years 7 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
119
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...
144
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
134
click to vote
WPES
2003
ACM
15 years 10 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...