7326 search results - page 481 / 1466 » Methods for modalities 3 |
171
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
161
click to vote
HT
2005
ACM
16 years 13 days ago
2005
ACM
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
169
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
195
click to vote
MM
2004
ACM
16 years 9 days ago
2004
ACM
We address the problem of unsupervised image auto-annotation with probabilistic latent space models. Unlike most previous works, which build latent space representations assuming ...
179
click to vote
INFOCOM
2003
IEEE
16 years 4 days ago
2003
IEEE
— We propose a novel approach to reducing energy consumption in sensor networks using a distributed adaptive signal processing framework and efficient algorithm 1 . While the to...