3082 search results - page 354 / 617 » Deviation Analysis: A New Use of Model Checking |
139
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Camera motion detection is essential for automated video analysis. We propose a new probabilistic model for detecting zoom-in/zoom-out operations. The model uses EM to estimate th...
158
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider representing a musical signal as a dynamic texture, a model for both the timbral and rhythmical qualities of sound. We apply the new representation to t...
151
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
190
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
142
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Several models of deterministic routing have been proposed for wormhole-routed mesh networks while there is only one model, to our best knowledge, proposed for fully adaptive worm...