1992 search results - page 24 / 399 » Model Based Testing with Labelled Transition Systems |
GECCO
2010
Springer
14 years 6 days ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
NAACL
2003
13 years 8 months ago
2003
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...
CISST
2003
13 years 8 months ago
2003
In earlier work, we developed a fast method for 2-D shape retrieval based on point correspondences of silhouette contours. That method did not assume that the database shapes had ...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...