305 search results - page 46 / 61 » A Connectionist Framework for Reasoning: Reasoning with Exam... |
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...
ADMI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
INFOCOM
2007
IEEE
14 years 1 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...
LICS
2007
IEEE
14 years 1 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...