2490 search results - page 228 / 498 » The Generalized Theory of Model Preference |
138
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
136
click to vote
LOCWEB
2009
ACM
16 years 1 months ago
2009
ACM
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
169
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
129
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
195
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...