999 search results - page 96 / 200 » On the Decidability of Functional Uncertainty |
MIRRORBOT
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
ARITH
2003
IEEE
14 years 2 months ago
2003
IEEE
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
We analyze communication of uncertainty among individuals as a function of the parties’ preference for modes of communication. We assume that different individuals may prefer pr...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
The European call option prices have well-known formulae in the Cox-RossRubinstein model [2], depending on the volatility of the underlying asset. Nevertheless it is hard to give ...