3082 search results - page 353 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
GFKL
2004
Springer
15 years 12 months ago
2004
Springer
A hierarchical extension of the finite mixture model is presented that can be used for the analysis of nested data structures. The model permits a simultaneous model-based cluster...
146
click to vote
ICIAR
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we report the results of a comparative study on skin-color models generally used for facial region location. These include two 2D Gaussian models developed in normal...
156
click to vote
FDL
2007
IEEE
16 years 27 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
168
click to vote
CAIP
2003
Springer
15 years 11 months ago
2003
Springer
We propose a new deformable shape model Active Shape Structural Model (ASSM) for recognition and reconstruction. The main features of ASSM are: (1) It describes variations of shape...
193
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...