1011 search results - page 33 / 203 » The three dimensions of proofs |
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
162
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
Monitoring global states of an application deployed over distributed nodes becomes prevalent in today's datacenters. State monitoring requires not only correct monitoring resu...
213
click to vote
TSMC
2010
15 years 26 days ago
2010
We study the problem of projecting high-dimensional tensor data on an unspecified Riemannian manifold onto some lower dimensional subspace1 without much distorting the pairwise geo...
195
click to vote
LISP
2008
15 years 6 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
186
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
We show that, in the ideal-cipher model, triple encryption (the cascade of three independently-keyed blockciphers) is more secure than single or double encryption, thereby resolvin...