FMSD
2010
13 years 1 months ago
2010
aware counter abstraction G
AAAI
1994
13 years 5 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...