6274 search results - page 639 / 1255 » Proofs, Programs, Processes |
175
click to vote
MOR
2008
15 years 7 months ago
2008
We consider the average cost problem for partially observable Markov decision processes (POMDP) with finite state, observation, and control spaces. We prove that there exists an -...
193
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
Following up on a recently renewed interest in computational methods for M/G/1-type processes, this paper considers an M/G/1-like system in which the service time distribution is ...
184
click to vote
SIAMSC
2008
15 years 7 months ago
2008
In infrared astronomy, an observed image from a chop and nod process can be considered as the result of passing the original image through a highpass filter. Here we propose a rest...
179
click to vote
CGF
2004
15 years 7 months ago
2004
We present Volume dots (Vots), a new primitive for volumetric data modelling, processing, and rendering. Vots are a point-based representation of volumetric data. An individual Vo...
181
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...