880 search results - page 119 / 176 » Model checking erlang programs: the functional approach |
145
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
124
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
113
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
147
click to vote
APAL
2008
15 years 4 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
128
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...