1056 search results - page 135 / 212 » A Probabilistic Applied Pi-Calculus |
EUROGRAPHICS
2010
Eurographics
14 years 6 months ago
2010
Eurographics
Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully a...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Patent text is a rich source to discover technological progresses, useful to understand the trend and forecast upcoming advances. For the importance in mind, several researchers h...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
ARITH
2007
IEEE
14 years 3 months ago
2007
IEEE
The draft revision of the IEEE Standard for FloatingPoint Arithmetic (IEEE P754) includes a definition for decimal floating-point (FP) in addition to the widely used binary FP s...