5084 search results - page 199 / 1017 » Proving Possibility Properties |
161
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
For a Markov Decision Process with finite state (size S) and action spaces (size A per state), we propose a new algorithm--Delayed Q-Learning. We prove it is PAC, achieving near o...
169
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
When sampling signals below the Nyquist rate, efficient and accurate reconstruction is nevertheless possible, whenever the sampling system is well behaved and the signal is well ...
184
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
143
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
178
click to vote
CATS
2008
15 years 7 months ago
2008
In this paper we consider a problem that occurs when drawing public transportation networks. Given an embedded graph G = (V, E) (e.g. the railroad network) and a set H of paths in...