2702 search results - page 349 / 541 » Practically Applicable Formal Methods |
190
click to vote
IPPS
2005
IEEE
16 years 17 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...
181
Voted
ISNN
2005
Springer
16 years 14 days 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...
187
Voted
PKC
2005
Springer
16 years 14 days 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...
159
Voted
NPAR
2004
ACM
16 years 12 days 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...
177
Voted
SAT
2004
Springer
16 years 10 days 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...