Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
This paper deals with state estimation problem for linear systems with state equality constraints. Using noisy measurements which are available from the observable system, we cons...
We show that the set of all ow- elds in a sequence of frames imaging a rigid scene resides in a lowdimensional linear subspace. Based on this observation, we develop a method for ...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set asso...