12742 search results - page 121 / 2549 » On canonical number systems |
143
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
179
click to vote
CCA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the di�...
155
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The security of many recently proposed cryptosystems is based on the difficulty of solving large systems of quadratic multivariate polynomial equations. This problem is NP-hard ove...
178
click to vote
NAACL
2007
15 years 7 months ago
2007
In the framework of the Tc-Star project, we analyze and propose a combination of two Statistical Machine Translation systems: a phrase-based and an N-gram-based one. The exhaustiv...
160
click to vote
CC
2005
Springer
15 years 6 months ago
2005
Springer
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...