1301 search results - page 16 / 261 » Specifications via Realizability |
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
SPATIALCOGNITION
2004
Springer
14 years 25 days ago
2004
Springer
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...
AAAI
2006
13 years 9 months ago
2006
We define TTD-MDPs, a novel class of Markov decision processes where the traditional goal of an agent is changed from finding an optimal trajectory through a state space to realiz...
CIE
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...