Sciweavers

1259 search results - page 13 / 252
» In search of the memoryless property
Sort
View
JSAC
2008
124views more  JSAC 2008»
13 years 7 months ago
On the design of globally optimal communication strategies for real-time noisy communication systems with noisy feedback
Abstract--A real-time communication system with noisy feedback is considered. The system consists of a Markov source, forward and backward discrete memoryless channels, and a recei...
Aditya Mahajan, Demosthenis Teneketzis
PAMI
2007
118views more  PAMI 2007»
13 years 7 months ago
Learning to Transform Time Series with a Few Examples
We describe a semi-supervised regression algorithm that learns to transform one time series into another time series given examples of the transformation. This algorithm is applie...
Ali Rahimi, Ben Recht, Trevor Darrell
STOC
1996
ACM
118views Algorithms» more  STOC 1996»
13 years 12 months ago
Towards an Analysis of Local Optimization Algorithms
We introduce a variant of Aldous and Vazirani's \Go with the winners" algorithm that can be used for search graphs that are not trees. We analyze the algorithm in terms ...
Tassos Dimitriou, Russell Impagliazzo
DSN
2008
IEEE
14 years 2 months ago
A recurrence-relation-based reward model for performability evaluation of embedded systems
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
Ann T. Tai, Kam S. Tso, William H. Sanders
ATAL
2010
Springer
13 years 8 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga