71228 search results - page 66 / 14246 » Algorithms |
108
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
ARITH
1999
IEEE
15 years 5 months ago
1999
IEEE
A new IEEE compliant floating-point rounding algorithm for computing the rounded product from a carry-save representation of the product is presented. The new rounding algorithm i...
ANTS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We provide here a complete average
104
click to vote
ICWS
2007
IEEE
15 years 2 months ago
2007
IEEE
The ability to dynamically discover and invoke a Web Service is a critical aspect of Service Oriented Architectures. An important component of the discovery process is the matchma...
136
click to vote
IIS
2003
15 years 2 months ago
2003
Abstract. The problem of parallel and distributed function optimization with coevolutionary algorithms is considered. Two coevolutionary algorithms are used for this purpose and co...