189 search results - page 37 / 38 » Leakage-Resilient Zero Knowledge |
125
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
120
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Web-based surreptitious malware infections (i.e., drive-by downloads) have become the primary method used to deliver malicious software onto computers across the Internet. To addr...
128
Voted
JMLR
2006
15 years 29 days ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...
93
Voted
RC
1998
15 years 20 days ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
144
Voted
EVOW
2010
Springer
14 years 11 months ago
2010
Springer
Background: Identifying approximately repeated patterns, or motifs, in DNA sequences from a set of co-regulated genes is an important step towards deciphering the complex gene reg...