2001 search results - page 196 / 401 » An Update on Generalized Information Theory |
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
HRI
2009
ACM
15 years 5 months ago
2009
ACM
As robots become more pervasive, operators will develop richer relationships with them. In a 2 (robot form: humanoid vs. car) x 2 (assembler: self vs. other) between-participants ...
91
Voted
HRI
2009
ACM
15 years 5 months ago
2009
ACM
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
75
Voted
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...