4098 search results - page 2 / 820 » Sound mobility models |
ASE
2004
14 years 9 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
101
click to vote
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
AHSWN
2007
14 years 9 months ago
2007
— We show that simple radio propagation and node mobility models widely used in MANET evaluation are not robust in indoor environments. Robust simulation models let researchers e...
MMM
2005
Springer
15 years 3 months ago
2005
Springer
An overview of generative sound models is presented. We discuss the benefits they offer in a variety of media contexts including indexing and retrieval, compression, sonification,...
VTC
2010
IEEE
14 years 7 months ago
2010
IEEE
— This paper presents results of wide band channel measurements at 2.53 GHz for a representative urban macro cell environment in Ilmenau, Germany. The extensive channel sounding ...