1508 search results - page 218 / 302 » A Combination Method for Generating Interpolants |
137
click to vote
EUROCRYPT
2001
Springer
15 years 9 months ago
2001
Springer
The use of elliptic curves in cryptography relies on the ability to count the number of points on a given curve. Before 1999, the SEA algorithm was the only efficient method known ...
133
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
141
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
127
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
115
click to vote
MLDM
1999
Springer
15 years 8 months ago
1999
Springer
Content-based image retrieval methods based on the Euclidean metric expect the feature space to be isotropic. They suer from unequal dierential relevance of features in comput...