2214 search results - page 360 / 443 » Complexity of Reasoning |
128
click to vote
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
115
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
147
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
149
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
136
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...