729 search results - page 32 / 146 » A Transitive Closure Based Algorithm for Test Generation |
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
VTS
1997
IEEE
13 years 12 months ago
1997
IEEE
Two fast algorithms for static test sequence compaction are proposed for sequential circuits. The algorithms are based on the observation that test sequences traverse through a sm...
PVLDB
2010
13 years 2 months ago
2010
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper describes a probabilistic framework for navigation using only appearance data. By learning a generative model of appearance, we can compute not only the similarity o...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— We seek to develop vision-based autonomy for small-scale aircraft known as Micro Air Vehicles (MAVs). Development of such autonomy presents signiÞcant challenges, in no small ...