Sciweavers

8810 search results - page 1720 / 1762
» Open. Closed. Open
Sort
View
SCN
2010
Springer
144views Communications» more  SCN 2010»
15 years 4 months ago
Generic Constructions of Parallel Key-Insulated Encryption
Exposure of a secret key is a significant threat in practice. As a notion of security against key exposure, Dodis et al. advocated key-insulated security, and proposed concrete k...
Goichiro Hanaoka, Jian Weng
SIAMCOMP
2010
174views more  SIAMCOMP 2010»
15 years 4 months ago
On the Complexity of Nash Equilibria and Other Fixed Points
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...
Kousha Etessami, Mihalis Yannakakis
SODA
2010
ACM
185views Algorithms» more  SODA 2010»
15 years 4 months ago
Solving MAX-r-SAT Above a Tight Lower Bound
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Sze...
STVR
2010
99views more  STVR 2010»
15 years 4 months ago
Fault localization based on information flow coverage
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
Wes Masri
TCBB
2010
136views more  TCBB 2010»
15 years 4 months ago
Integrating Data Clustering and Visualization for the Analysis of 3D Gene Expression Data
— The recent development of methods for extracting precise measurements of spatial gene expression patterns from three-dimensional (3D) image data opens the way for new analyses ...
Oliver Rübel, Gunther H. Weber, Min-Yu Huang,...
« Prev « First page 1720 / 1762 Last » Next »