6800 search results - page 712 / 1360 » Testing with Functions as Specifications |
252
click to vote
WSC
2004
15 years 8 months ago
2004
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...
171
click to vote
WSC
2004
15 years 8 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...
217
click to vote
WSCG
2004
15 years 8 months ago
2004
In this paper we describe a new method for improving the representation of textures in blends of multiple images based on a Markov Random Field (MRF) algorithm. We show that direc...
146
click to vote
SCM
2003
15 years 8 months ago
2003
SCM products are large and monolithic, difficult to adapt and evolve, with high entry cost. This paper describes a new approach to SCM in which the system is built from, potentiall...
182
click to vote
ACL
1998
15 years 8 months ago
1998
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....