534 search results - page 57 / 107 » Model Uncertainty in Classical Conditioning |
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
APSEC
2000
IEEE
14 years 16 days ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
WSC
1997
13 years 9 months ago
1997
A classical problem of stochastic simulation is how to estimate the variance of the sample mean of dependent but stationary outputs. Many variance estimators, such as the batch me...
DAGM
2005
Springer
14 years 1 months ago
2005
Springer
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...