11168 search results - page 201 / 2234 » Abstract State Processes |
168
click to vote
AAAI
2006
15 years 7 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
153
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—The capacity region of the finite-state multiple-access channel (FS-MAC) with feedback that may be an arbitrary timeinvariant function of the channel output samples is consider...
155
click to vote
MOR
2008
15 years 6 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 -...
184
click to vote
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
159
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...