2702 search results - page 349 / 541 » Practically Applicable Formal Methods |
123
click to vote
IPPS
2005
IEEE
15 years 8 months 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...
110
Voted
ISNN
2005
Springer
15 years 8 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...
126
click to vote
PKC
2005
Springer
15 years 8 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...
95
Voted
NPAR
2004
ACM
15 years 8 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...
118
click to vote
SAT
2004
Springer
15 years 7 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...