4276 search results - page 300 / 856 » Techniques for Empirical Validation |
147
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The design and the validation of an automatic plaque characterization technique based on Intravascular Ultrasound (IVUS) usually requires a data ground-truth. The histolo...
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
156
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
194
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
229
click to vote
MICCAI
2008
Springer
16 years 27 days ago
2008
Springer
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...