4276 search results - page 342 / 856 » Techniques for Empirical Validation |
170
click to vote
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...
158
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
185
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: We present a method for representing, communicating, and fusing distributed, noisy, and uncertain observations of an object by multiple robots. The approach relies on re-paramete...
203
click to vote
NAA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Monte Carlo (MC) methods have proved to be flexible, robust and very useful techniques in computational finance. Several studies have investigated ways to achieve greater...
181
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...