6704 search results - page 307 / 1341 » Testing Scenario-Based Models |
184
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
179
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a principled and practical method for the computation of visual saliency of spatiotemporal events in full motion videos. Based on the assumption that uniquenes...
207
Voted
SIES
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
193
click to vote
ACIVS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this work, we present two active shape models for the segmentation of tubular objects. The first model is built using cylindrical parameterization and minimum descrip...
193
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...