1687 search results - page 207 / 338 » Light Functional Interpretation |
191
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
198
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
162
click to vote
COMPGEOM
2009
ACM
16 years 27 days ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
177
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We present new algorithms for inverse optimal control (or inverse reinforcement learning, IRL) within the framework of linearlysolvable MDPs (LMDPs). Unlike most prior IRL algorit...
164
click to vote
MOC
2002
15 years 6 months ago
2002
Dimensionally unbounded problems are frequently encountered in practice, such as in simulations of stochastic processes, in particle and light transport problems and in the problem...