962 search results - page 69 / 193 » Input validation analysis and testing |
TIT
2010
13 years 4 months ago
2010
This work provides asymptotic properties of the autocorrelation functions of the wavelet packet coefficients of a fractional Brownian motion. It also discusses the convergence spe...
ISIM
2007
13 years 11 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract – The Cool Robot is a four-wheel-drive, solarpowered autonomous vehicle designed to support summertime science campaigns in Antarctica and Greenland. We deployed the rob...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
SPIRE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...