12257 search results - page 2379 / 2452 » Analysis of Algorithms |
101
click to vote
MLCW
2005
Springer
15 years 7 months ago
2005
Springer
This Chapter presents the PASCAL1 Evaluating Predictive Uncertainty Challenge, introduces the contributed Chapters by the participants who obtained outstanding results, and provide...
105
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
117
click to vote
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...
103
click to vote
DOCENG
2004
ACM
15 years 6 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...
136
click to vote
IUI
2004
ACM
15 years 6 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...