798 search results - page 37 / 160 » Interval Methods: An Introduction |
FM
2003
Springer
14 years 4 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
JCT
2006
13 years 11 months ago
2006
We prove that the Kazhdan-Lusztig polynomials are combinatorial invariants for intervals up to length 8 in Coxeter groups of type A and up to length 6 in Coxeter groups of type B a...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
WINET
2002
13 years 10 months ago
2002
In this paper, the speed of Mobile Station (MS) is estimated based on the derivative and correlation properties of received wave envelope in additive noise and Rayleigh fading chan...
IJIPT
2008
13 years 11 months ago
2008
: We introduce an inline measurement method that can overcome difficulties in measurement task in high-speed network environment, such as short packet transmission intervals and In...