1818 search results - page 156 / 364 » Granularity-Adaptive Proof Presentation |
111
click to vote
WSC
2004
15 years 4 months ago
2004
The stochastic root-finding problem (SRFP) is that of solving a system of q equations in q unknowns using only an oracle that provides estimates of the function values. This paper...
136
Voted
SODA
2003
ACM
15 years 4 months ago
2003
ACM
In this paper we present a simple deterministic algorithm for testing whether a multivariate polynomial f(x1, . . . , xn) is identically zero, in time polynomial in m, n, log(d + ...
149
Voted
IJCAI
1997
15 years 4 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
134
click to vote
DAGSTUHL
1996
15 years 4 months ago
1996
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
120
Voted
FORTE
1996
15 years 4 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...