461 search results - page 4 / 93 » Bounds for Validation |
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents a simple approach to assess performance that can be achieved by the MMSE turbo equalizer in ST-BICM systems over multipaths Rayleigh block fading channels w...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
3DPVT
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper addresses the problem of human gait recognition by applying model (in)validation techniques. The main idea is to associate to each class of gaits a nominal model and a ...
CSR
2010
Springer
14 years 2 months ago
2010
Springer
Let πw denote the failure function of the Knuth-Morris-Pratt algorithm for a word w. In this paper we study the following problem: given an integer array A [1 . . n], is there a w...
FUIN
2008
13 years 9 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...