9067 search results - page 521 / 1814 » Adaptive Model Checking |
231
click to vote
WSC
1997
15 years 8 months ago
1997
In this paper we compare the average performance of Monte Carlo methods for global optimization with non-adaptive deterministic alternatives. We analyze the behavior of the algori...
245
click to vote
MVA
2002
15 years 6 months ago
2002
2 Background Model Background subtraction algorithm is susceptible to both global and local illumination changes such as shadows, sunlight and reflection. These changes sometimes c...
207
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently, Multiple Background Models (M-BMs) [1, 2] have been shown to be useful in speaker verification, where the M-BMs are formed based on different Vocal Tract Lengths (VTLs)...
186
click to vote
ICWE
2005
Springer
16 years 16 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
181
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...