677 search results - page 91 / 136 » Dependent Types from Counterexamples |
FOCI
2007
IEEE
15 years 4 months ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
In today’s fast paced world, it is necessary to process business documents expediently, accurately, and diligently. In other words, processing has to be fast, errors must be pre...
100
click to vote
CRYPTO
2007
Springer
15 years 4 months ago
2007
Springer
To date the NTRUEncrypt security parameters have been based on the existence of two types of attack: a meet-in-the-middle attack due to Odlyzko, and a conservative extrapolation of...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
A scalable video coder generates scalable compressed bitstream, which can provide different types of scalability depend on different requirements. This paper proposes a novel resy...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— This paper proposes a novel method of fusing models for classification of unbalanced data. The unbalanced data contains a majority of healthy (negative) instances, and a minor...