1699 search results - page 191 / 340 » On the Expressive Power of QLTL |
177
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to uncertain inputs, is used to re...
141
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
185
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
The recent evolution in mobile devices, combined with rapid advancements in identification techniques, has lead to new opportunities for mobile application developers: mobile appli...
160
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
172
click to vote
ICC
2008
IEEE
16 years 28 days ago
2008
IEEE
— Combined Peak-to-Average Power Ratio (PAPR) reduction and Phase Noise mitigation in multicarrier systems with multiple transmit and receive antennas is considered. One attracti...