Sciweavers

3229 search results - page 202 / 646
» Theories with the Independence Property
Sort
View
IJWBC
2007
137views more  IJWBC 2007»
15 years 6 months ago
Identifying communities in blogs: roles for social network analysis and survey instruments
: We examine the problem of identifying, measuring and evaluating communities in blogs. In our approach, we use sense of community (McMillan and Chavis, 1986) and centrality measur...
Alvin Chin, Mark H. Chignell
JLP
2007
86views more  JLP 2007»
15 years 6 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
WOTE
2010
15 years 4 months ago
Securing Optical-Scan Voting
Abstract. This paper presents a method for adding end-to-end verifiability to any optical-scan vote counting system. A serial number and set of letters, paired with every candidat...
Stefan Popoveniuc, Jeremy Clark, Richard Carback, ...
ICISS
2010
Springer
15 years 3 months ago
Unifying Facets of Information Integrity
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
CVPR
2012
IEEE
13 years 9 months ago
A closed-form solution to uncalibrated photometric stereo via diffuse maxima
In this paper we propose a novel solution to uncalibrated photometric stereo. Our approach is to eliminate the socalled generalized bas relief (GBR) ambiguity by exploiting points...
Paolo Favaro, Thoma Papadhimitri