474 search results - page 83 / 95 » Assurance Based Development of Critical Systems |
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
SAC
2010
ACM
13 years 2 months ago
2010
ACM
Map labeling of point-feature is the problem of placing text labels to corresponding point features on a map in a way that minimizes overlaps while satisfying basic rules for the ...
ENVSOFT
2007
13 years 7 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
ECCV
2004
Springer
14 years 24 days ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...
SIAMSC
2008
13 years 7 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...