12438 search results - page 304 / 2488 » The Magic of a Number System |
202
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
190
Voted
CRYPTO
2005
Springer
16 years 1 months ago
2005
Springer
We describe two new public key broadcast encryption systems for stateless receivers. Both systems are fully secure against any number of colluders. In our first construction both...
197
click to vote
FCCM
2000
IEEE
15 years 12 months ago
2000
IEEE
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
186
Voted
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The DMT (discrete multitone modulation) technique has been widely applied to data transmission over fading channels of twisted pairs. It has been shown that the DMT system with id...
253
click to vote
AVBPA
2005
Springer
15 years 9 months ago
2005
Springer
Fusing the scores of several biometric systems is a very promising approach to improve the overall system’s accuracy. Despite many works in the literature, it is surprising that ...