16 search results - page 4 / 4 » Formalizing a discrete model of the continuum in Coq from a ... |
AMIRE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...