714 search results - page 39 / 143 » Verification and Compliance Testing |
IGPL
2006
15 years 20 days ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
105
Voted
TIP
2002
15 years 9 days ago
2002
In this paper, a generic approach to simultaneous tracking and verification in video data is presented. The approach is based on posterior density estimation using sequential Monte...
173
Voted
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
14 years 10 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
110
Voted
JDCTA
2010
14 years 7 months ago
2010
In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector ...