2302 search results - page 44 / 461 » Testing as Abstraction |
170
click to vote
DAGM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this work, we propose a model-based approach for estimating the 3D position and orientation of a dummy's head for crash test video analysis. Instead of relying on...
128
click to vote
IPMI
2003
Springer
16 years 6 months ago
2003
Springer
Abstract. Estimating statistical significance of detected differences between two groups of medical scans is a challenging problem due to the high dimensionality of the data and th...
130
click to vote
ATS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract: As a result of variations in the fabrication process, different memory components are produced with different operational characteristics, a situation that complicates th...
129
Voted
PVM
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Amongst its many features, MPI-2 offers the first standard highperformance I/O interface. While this enables a parallel and I/O intensive code to run on multiple platform...
151
click to vote
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...