2210 search results - page 126 / 442 » CLEF 2001 - Overview of Results |
216
click to vote
APLAS
2001
ACM
15 years 9 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
159
click to vote
APLAS
2001
ACM
15 years 9 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
130
click to vote
ARITH
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper presents an unified view of most previous table-lookup-and-addition methods: bipartite tables, SBTM, STAM and multipartite methods. This new definition allows a more ac...
188
click to vote
ARITH
2001
IEEE
15 years 9 months ago
2001
IEEE
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
190
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...