3779 search results - page 47 / 756 » Linear Consistency Testing |
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This work is focused on the design of a rotor speed regulator for small-scale helicopters. A nominal model identification for the main rotor is performed using a hybrid proced...
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we give a new algorithm to compute Liouvillian solutions of linear difference equations. Compared to the prior algorithm by Hendriks and Singer, our main contributi...
PR
2006
14 years 9 months ago
2006
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
CALCO
2007
Springer
15 years 1 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes an efficient test methodology to test switches in a Network-on-Chip (NoC) architecture. A switch in an NoC consists of a number of ports and a router. Using th...