Sciweavers

411 search results - page 55 / 83
» Evaluation and exploitation of knowledge robustness in knowl...
Sort
View
VTC
2006
IEEE
121views Communications» more  VTC 2006»
15 years 4 months ago
Estimation of the Channel-Impulse-Response Length for Adaptive OFDM Systems Based on Information Theoretic Criteria
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...
PARLE
1994
15 years 2 months ago
Using Reference Counters in Update-Based Coherent Memory
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...
Evangelos P. Markatos, Catherine E. Chronaki
DLOG
2006
14 years 11 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
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...
Yu Ding, Volker Haarslev
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
15 years 4 months ago
Model-Based Nonlinear Observers for Underwater Vehicle Navigation: Theory and Preliminary Experiments
— 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...
James C. Kinsey, Louis L. Whitcomb
AAAI
1993
14 years 11 months ago
On the Adequateness of the Connection Method
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...
Antje Beringer, Steffen Hölldobler