2253 search results - page 406 / 451 » The ComFoRT Reasoning Framework |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
ISVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...