784 search results - page 56 / 157 » An underlying model for defeat mechanisms |
173
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
107
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
There has been much research investigating team cognition, naturalistic decision making, and collaborative technology as it relates to real world, complex domains of practice. How...
112
click to vote
TARK
2007
Springer
15 years 4 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
ALDT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we explicitly model risk aversion in multiagent interactions. We propose an insurance mechanism that be can used by risk-averse agents to mitigate against r...
ICNSC
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...