6897 search results - page 571 / 1380 » Parallelization of Modular Algorithms |
154
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
127
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We give bit-size estimates for the coefficients appearing in triangular sets describing positive-dimensional algebraic sets defined over Q. These estimates are worst case upper bo...
187
click to vote
AMC
2005
15 years 6 months ago
2005
Batch verification is a method to verify multiple signatures at once. There are two issues associated with batch verification. One is the security problem and the other is the com...
164
click to vote
MONET
1998
15 years 6 months ago
1998
MMWN is a modular system of link- and network-layer algorithms that enables a multihop mobile wireless network to support distributed, real-time multimedia applications. In this pa...
159
click to vote
PRL
1998
15 years 6 months ago
1998
A novel connectionist method is proposed to simultaneously use diverse features in an optimal way for pattern classification. Unlike methods of combining multiple classifiers, a m...