Sciweavers

6704 search results - page 27 / 1341
» Testing Scenario-Based Models
Sort
View
CIBCB
2006
IEEE
14 years 1 months ago
Visualization of Support Vector Machines with Unsupervised Learning
– The visualization of support vector machines in realistic settings is a difficult problem due to the high dimensionality of the typical datasets involved. However, such visuali...
Lutz Hamel
AIS
2004
Springer
13 years 11 months ago
Timed I/O Test Sequences for Discrete Event Model Verification
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
Ki Jung Hong, Tag Gon Kim
ACSD
2003
IEEE
102views Hardware» more  ACSD 2003»
13 years 11 months ago
Specification Coverage Aided Test Selection
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
Tuomo Pyhälä, Keijo Heljanko
SOCO
2009
Springer
14 years 2 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
FSS
2010
100views more  FSS 2010»
13 years 5 months ago
Linearity testing for fuzzy rule-based models
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...
José Luis Aznarte, Marcelo C. Medeiros, Jos...