Abstract—This paper proposes a new scheme based on information theoretical criteria to estimate the Channel-ImpulseResponse (CIR) length, whose accurate estimate represents one o...
Ali Aassie Ali, Van-Duc Nguyen, Kyandoghere Kyamak...
Abstract. As the disparity between processor and memory speed continues to widen, the exploitation of locality of reference in shared-memory multiprocessors becomes an increasingly...
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...