2006 search results - page 101 / 402 » Heuristic Security-Testing Methods |
95
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
100
Voted
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...
110
Voted
IJCAI
2003
15 years 2 months ago
2003
Using an open-source, Java toolkit of name-matching methods, we experimentally compare string distance metrics on the task of matching entity names. We investigate a number of dif...
121
Voted
EUROCRYPT
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
83
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...