Sciweavers

3224 search results - page 42 / 645
» Abstract Error Projection
Sort
View
94
Voted
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 6 months ago
Identification of clock synchronization errors: A behavioral approach
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...
Marek Przedwojski, Ivan Markovsky, Eric Rogers
EHCI
2001
15 years 3 months ago
Detecting Multiple Classes of User Errors
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
Paul Curzon, Ann Blandford
95
Voted
ADT
2010
15 years 20 days ago
Survey of NLOS identification and error mitigation problems in UWB-based positioning algorithms for dense environments
Abstract In this survey, the currently available ultrawideband-based non-line-of-sight (NLOS) identification and error mitigation methods are presented. They are classified into se...
Jasurbek Khodjaev, Yongwan Park, Aamir Saeed Malik
POPL
2005
ACM
16 years 2 months ago
Transition predicate abstraction and fair termination
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
Andreas Podelski, Andrey Rybalchenko
CORR
2007
Springer
108views Education» more  CORR 2007»
15 years 2 months ago
Error Probability Analysis of Peaky Signaling over Fading Channels
Abstract— In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels Two recently p...
Mustafa Cenk Gursoy