264 search results - page 24 / 53 » On the possibility of faster SAT algorithms |
96
Voted
ITNG
2007
IEEE
15 years 4 months ago
2007
IEEE
: There has been a lot of interest in recent years in the problems faced by cryptosystems due to side channel attacks. Algorithms for elliptic curve point scalar multiplication suc...
76
Voted
ARITH
1999
IEEE
15 years 2 months ago
1999
IEEE
In modern computers, the floating point unit is the part of the processor delivering the highest computing power and getting most attention from the design team. Performance of an...
81
Voted
ACL
2006
14 years 11 months ago
2006
This paper proposes an efficient method of sentence retrieval based on syntactic structure. Collins proposed Tree Kernel to calculate structural similarity. However, structual ret...
89
Voted
IANDC
2008
14 years 10 months ago
2008
We consider preemptive offline and online scheduling on identical machines and uniformly related machines in the hierarchical model, with the goal of minimizing the makespan. In t...
TCS
2008
14 years 10 months ago
2008
A suffix vector of a string is an index data structure equivalent to a suffix tree. It was first introduced by Monostori et al. in 2001 [9, 10, 11]. They proposed a linear constru...