1083 search results - page 10 / 217 » The limits of localization using RSS |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
IJCSA
2007
13 years 8 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
The paper analyses the nature of limit cycles induced through the interaction of transformer tap changing and load dynamics. Linearization of a Poincar´e map is used to prove loc...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
HUC
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces an algorithm that estimates the speed of a mobile phone by matching time-series signal strength data to a known signal strength trace from the same road. Kno...