2702 search results - page 349 / 541 » Practically Applicable Formal Methods |
169
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
We live in an era of data explosion that necessitates the discovery of novel out-of-core techniques. The I/O bottleneck has to be dealt with in developing out-of-core methods. The...
162
click to vote
ISNN
2005
Springer
15 years 12 months ago
2005
Springer
It is important in bioinformatics research and applications to select or discover informative genes of a tumor from microarray data. However, most of the existing methods are based...
174
click to vote
PKC
2005
Springer
15 years 12 months ago
2005
Springer
We develop a method for generating shared, secret, safe primes applicable to use in threshold RSA signature schemes such as the one developed by Shoup. We would like a scheme usabl...
142
click to vote
NPAR
2004
ACM
15 years 12 months ago
2004
ACM
We present a class of image fusion techniques to automatically combine images of a scene captured under different illumination. Beyond providing digital tools for artists for crea...
167
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...