4451 search results - page 347 / 891 » Continuous model synthesis |
126
click to vote
MONET
2006
15 years 6 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
160
click to vote
FTSIG
2007
15 years 6 months ago
2007
Hidden Markov Models (HMMs) provide a simple and effective framework for modelling time-varying spectral vector sequences. As a consequence, almost all present day large vocabula...
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
197
click to vote
TITS
2008
15 years 6 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
175
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...