Sciweavers

6704 search results - page 214 / 1341
» Testing Scenario-Based Models
Sort
View
ICIP
2004
IEEE
16 years 8 months ago
Stochastic modeling of volume images with a 3-d hidden markov model
Over the years, researchers in the image analysis community have successfully used various statistical modeling methods to segment, classify, and annotate digital images. In this ...
Jia Li, Dhiraj Joshi, James Ze Wang
ICASSP
2008
IEEE
16 years 1 months ago
Improving the modeling of the noise part in the harmonic plus noise model of speech
Harmonic + Noise model (HNM) is a hybrid model of speech with a harmonic component and a noise component. While harmonic part describes efficiently the periodicities in speech si...
Yannis Pantazis, Yannis Stylianou
FORTE
2008
15 years 8 months ago
Protocol Modeling with Model Program Composition
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
Margus Veanes, Wolfram Schulte
ENTCS
2006
97views more  ENTCS 2006»
15 years 6 months ago
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
Tayfun Elmas, Serdar Tasiran
CSDA
2008
121views more  CSDA 2008»
15 years 6 months ago
ANOVA extensions for mixed discrete and continuous data
This paper is concerned withANOVA-like tests in the context of mixed discrete and continuous data. The likelihood ratio approach is used to obtain a location test in the mixed dat...
A. R. de Leon, Y. Zhu