11168 search results - page 6 / 2234 » Abstract State Processes |
JACIII
2008
13 years 7 months ago
2008
images are observed with cameras and abstract features extracted using image processing. System output is the status of printing pressure, divided into excessive pressure (EP), goo...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...
AIPS
2003
13 years 9 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...