Sciweavers

2001 search results - page 216 / 401
» An Update on Generalized Information Theory
Sort
View
CHI
2011
ACM
14 years 2 months ago
The impact of network structure on breaking ties in online social networks: unfollowing on twitter
We investigate the breaking of ties between individuals in the online social network of Twitter, a hugely popular social media service. Building on sociology concepts such as stre...
Funda Kivran-Swaine, Priya Govindan, Mor Naaman
POPL
2006
ACM
15 years 11 months ago
Decidability and proof systems for language-based noninterference relations
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
Mads Dam
POPL
2006
ACM
15 years 11 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands
PODS
2005
ACM
151views Database» more  PODS 2005»
15 years 10 months ago
Estimating arbitrary subset sums with few probes
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
Noga Alon, Nick G. Duffield, Carsten Lund, Mikkel ...
GEOS
2009
Springer
15 years 3 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler