674 search results - page 94 / 135 » From Constructibility and Absoluteness to Computability and ... |
132
Voted
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
111
click to vote
GC
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a locality-based dissemination graph algorithm for scalable reliable broadcast. Our algorithm scales in terms of both network and memory usage. Processes only h...
114
click to vote
NSDI
2008
15 years 4 months ago
2008
As consumer electronic devices with embedded browsers become popular, financial institutions and online merchants set up websites to accommodate visitors using these devices. Thes...
108
click to vote
COLING
2010
14 years 9 months ago
2010
For sentiment analysis, lexicons play an important role in many related tasks. In this paper, aiming to build Chinese emotion lexicons for public use, we adopted a graph-based alg...
116
click to vote
FOCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriï...