3255 search results - page 84 / 651 » Combination of Abstractions in the ASTR |
EPIA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
ERCIMDL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper proposes exploiting both explicit and mined metadata for enriching Web searching with exploration services. On-line results clustering is useful for providing ...
IFM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
RTA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— A cross-layer optimization combining retransmission diversity with multi-user diversity is investigated for wireless communications. To this end, a joint design of adap...