2490 search results - page 239 / 498 » Complexity of Contextual Reasoning |
186
click to vote
TIME
2009
IEEE
16 years 26 days ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
181
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
172
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
169
click to vote
CIVR
2009
Springer
16 years 21 days ago
2009
Springer
The GIST descriptor has recently received increasing attention in the context of scene recognition. In this paper we evaluate the search accuracy and complexity of the global GIST...
136
click to vote
CASES
2009
ACM
16 years 20 days ago
2009
ACM
Several multithreading techniques have been proposed to reduce resource underutilization in Very Long Instruction Word (VLIW) processors. Simultaneous MultiThreading (SMT) is a po...