16504 search results - page 158 / 3301 » New Problems, New Solutions |
179
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
183
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
234
click to vote
ESIAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—In all methods of image denoising, there is a problem always exists that is how to distinguish noise and edge. Now wavelet and contourlet are main tools in image denoising, but ...
163
click to vote
JCST
2008
15 years 6 months ago
2008
In a question answering (QA) system, the fundamental problem is how to measure the distance between a question and an answer, hence ranking different answers. We demonstrate that s...
160
click to vote
ECCC
2007
15 years 6 months ago
2007
We show how to construct a variety of “trapdoor” cryptographic tools assuming the worst-case hardness of standard lattice problems (such as approximating the length of the sho...