6608 search results - page 1266 / 1322 » On the Completeness of Model Checking |
129
click to vote
PKC
2009
Springer
16 years 4 months ago
2009
Springer
We explore the security of blind signatures under aborts where the user or the signer may stop the interactive signature issue protocol prematurely. Several works on blind signatur...
154
Voted
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Order-preserving submatrixes (OPSMs) have been accepted as a biologically meaningful subspace cluster model, capturing the general tendency of gene expressions across a subset of ...
123
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Joint mining of multiple data sets can often discover interesting, novel, and reliable patterns which cannot be obtained solely from any single source. For example, in cross-marke...
125
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We present the first user study of out-of-turn interaction in menu-based, interactive voice-response systems. Out-ofturn interaction is a technique which empowers the user (unable...
234
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...