315 search results - page 24 / 63 » A General Small Cancellation Theory |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
GROUP
2005
ACM
14 years 1 months ago
2005
ACM
The Community Bar is groupware supporting informal awareness and casual interaction for small social worlds: a group of people with a common purpose. Its conceptual design is prim...
SIGIR
2003
ACM
14 years 24 days ago
2003
ACM
We present SETS, an architecture for eļ¬cient search in peer-to-peer networks, building upon ideas drawn from machine learning and social network theory. The key idea is to arran...
SPAA
2010
ACM
14 years 11 days ago
2010
ACM
This paper presents the design and analysis of parallel approximation algorithms for facility-location problems, including NC and RNC algorithms for (metric) facility location, k-...
FOCS
2004
IEEE
13 years 11 months ago
2004
IEEE
Let p > 1 be any fixed real. We show that assuming NP RP, there is no polynomial time algorithm that approximates the Shortest Vector Problem (SVP) in p norm within a constant ...