14084 search results - page 220 / 2817 » A Theory for Game Theories |
143
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
183
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
171
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
118
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
143
click to vote
IAT
2005
IEEE
16 years 6 days ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...