900 search results - page 40 / 180 » On the observational theory of the CPS-calculus |
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
NIPS
2008
13 years 11 months ago
2008
Psychophysical experiments show that humans are better at perceiving rotation and expansion than translation. These findings are inconsistent with standard models of motion integr...
CCS
1998
ACM
14 years 2 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
AUTOMATICA
2002
13 years 10 months ago
2002
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...