4810 search results - page 378 / 962 » Modeling Value Speculation |
189
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
154
click to vote
MOVEP
2000
15 years 10 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
193
click to vote
SGP
2004
15 years 9 months ago
2004
In this paper, we present the Symmetry Descriptors of a 3D model. This is a collection of spherical functions that describes the measure of a model's rotational and reflectiv...
128
click to vote
WSC
2008
15 years 9 months ago
2008
We propose a procedure for reporting a statistical point estimator and its precision for statistical experiments such as simulation experiments. Based on three criteria --loss of ...
152
click to vote
WSC
2007
15 years 9 months ago
2007
We provide asymptotic expressions for the expected value and variance of the replicated batch means variance estimator when the stochastic process being simulated has an additive ...