4235 search results - page 17 / 847 » Process Spaces |
NIPS
2003
15 years 1 months ago
2003
Approximate linear programming (ALP) has emerged recently as one of the most promising methods for solving complex factored MDPs with finite state spaces. In this work we show th...
236
click to vote
DGCI
2011
Springer
14 years 3 months ago
2011
Springer
In this work, we propose a framework that allows to build morphological operators for processing and filtering objects defined on t) simplicial complex spaces. We illustrate with...
127
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Tracking 3D people from monocular video is often poorly constrained. To mitigate this problem, prior knowledge should be exploited. In this paper, the Gaussian process spatio-temp...
APN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...