Algorithms that exploit sort orders are widely used to implement joins, grouping, duplicate elimination and other set operations. Query optimizers traditionally deal with sort ord...
The selection of the appropriate colorspace for tracking applications has not been an issue previously considered in the literature. Many color representations have been suggested...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...
An algorithm for online distance computation based on images taken in a sewer by a robot-inspector is presented. Modern concrete sewers are made of standard cylindrical pipes sepa...
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...
In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits with an emphasis on po...