935 search results - page 57 / 187 » A Framework for Obfuscated Interpretation |
150
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
148
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
154
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
177
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
146
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...