11397 search results - page 6 / 2280 » A Relational Abstraction for Functions |
CIE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modiļ¬ed realizability) corresponds to t...
JCP
2008
13 years 9 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
IWPC
2000
IEEE
14 years 2 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deļ...
VR
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haanā Michal Koutekā Frits H. Postā” Delft University of Technology, The Netherlands The development of domain-spe...
ICALP
2011
Springer
13 years 1 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...