835 search results - page 147 / 167 » Characterizing rosy theories |
WOLLIC
2009
Springer
14 years 4 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
MOBICOM
2009
ACM
14 years 4 months ago
2009
ACM
In this paper we investigate the connectivity for large-scale clustered wireless sensor and ad hoc networks. We study the effect of mobility on the critical transmission range fo...
MOBICOM
2009
ACM
14 years 4 months ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...
WIKIS
2009
ACM
14 years 4 months ago
2009
ACM
Information Systems (IS) innovations are often characterized by buzzwords, reflecting organizing visions that structure and express the images and ideas formed by a wide community...