314 search results - page 31 / 63 » Validating Specifications for Model-Based Testing |
PRICAI
2004
Springer
14 years 22 days ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
FLAIRS
2001
13 years 8 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
ACL
2010
13 years 5 months ago
2010
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...
TIFS
2008
13 years 7 months ago
2008
In this paper, we provide a unified framework for identifying the source digital camera from its images and for revealing digitally altered images using photo-response nonuniformit...